The dog is red. The dog is rough. The dog is young. If the dog is red then the dog is rough. Big people are red. Red people are not big. If the dog is rough and the dog is not young then the dog is cold. If someone is rough and not big then they are cold. All young, rough people are cold.
The dog is not cold.
@0: The dog is red.[(triple1)] The dog is rough.[(triple2 OR ((triple1) -> rule1))] The dog is young.[(triple3)] @1: The dog is cold.[(((triple3 triple2) -> rule6) OR ((triple2 ((triple1) -> rule3)) -> rule5) OR ((triple3 ((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1) ((triple1) -> rule3)) -> rule5))] The dog is not big.[(((triple1) -> rule3))]