Inference Web Browser -- ND and elimination (Declarative Rule)

Name: ND and elimination
Description in English: If we know that both A and B are true we can conclude that A is true.
Rule Specification: '(and ' p q ')' |- p;; (Sent p q)
Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
Example in English: If we know that the car is blue and it has two doors then we know that the car is blue.