The cow chases the dog. The cow chases the tiger. The cow eats the dog. The cow is big. The cow is red. The dog chases the cow. The dog eats the cow. The dog is cold. The dog needs the cow. The tiger is round. If someone is red then they chase the tiger. If someone eats the dog then they are cold. If someone chases the dog and they are red then the dog eats the tiger. If someone eats the tiger then they are round. Round people are big. If the dog eats the cow and the dog needs the tiger then the cow eats the dog.
The cow is red.
@0: The cow chases the dog.[(triple1)] The cow chases the tiger.[(triple2 OR ((triple5) -> rule1))] The cow eats the dog.[(triple3)] The cow is big.[(triple4)] The cow is red.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cow.[(triple7)] The dog is cold.[(triple8)] The dog needs the cow.[(triple9)] The tiger is round.[(triple10)] @1: The cow is cold.[(((triple3) -> rule2))] The dog eats the tiger.[(((triple1 triple5) -> rule3))] The tiger is big.[(((triple10) -> rule5))] @2: The dog is round.[(((((triple1 triple5) -> rule3)) -> rule4))] @3: The dog is big.[(((((((triple1 triple5) -> rule3)) -> rule4)) -> rule5))]