The dog is big. The dog is blue. The dog is cold. The dog is rough. The dog is not round. Rough things are blue. Blue things are big. If the dog is blue then the dog is cold.
The dog does not see the dog.
@0: The dog is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The dog is blue.[(triple2 OR ((triple4) -> rule1))] The dog is cold.[(triple3 OR ((triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] The dog is not round.[(triple5)] The dog is rough.[(triple4)]