The dog is blue. The dog is cold. The dog is green. The dog is rough. The dog is round. All green things are rough. All cold things are rough. If something is cold and round then it is rough. Rough things are round. All cold things are round. All round things are green.
The dog chases the dog.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple5) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4)) -> rule6))] The dog is rough.[(triple4 OR ((triple2) -> rule2) OR ((triple3) -> rule1) OR ((triple2 triple5) -> rule3) OR ((((triple5) -> rule6)) -> rule1) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule1))] The dog is round.[(triple5 OR ((triple2) -> rule5) OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple3) -> rule1)) -> rule4))]