The dog is big. The dog is cold. The dog is red. The dog is not round. The dog is young. If someone is young then they are big. If someone is cold and not round then they are young. If the dog is not red then the dog is not cold.
The dog chases the dog.
@0: The dog is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple2 triple4) -> rule2)) -> rule1))] The dog is cold.[(triple2)] The dog is not round.[(triple4)] The dog is red.[(triple3)] The dog is young.[(triple5 OR ((triple2 triple4) -> rule2))]