The cow is cold. The cow is round. The cow likes the dog. The dog eats the cow. The dog is cold. The dog is young. The dog does not like the cow. If something eats the dog and it is round then it sees the dog. If something likes the cow and the cow is cold then it is big. If something sees the cow then it is big. If the dog is big then the dog sees the cow. If something likes the dog and it is young then the dog does not see the cow. If something sees the dog then the dog is not round. If something likes the dog and the dog is young then it eats the dog. If something likes the dog and it is not young then it sees the cow.
The cow does not eat the dog.
@0: The cow is cold.[(triple1)] The cow is round.[(triple2)] The cow likes the dog.[(triple3)] The dog does not like the cow.[(triple7)] The dog eats the cow.[(triple4)] The dog is cold.[(triple5)] The dog is young.[(triple6)] @1: The cow eats the dog.[(((triple3 triple6) -> rule7))] @2: The cow sees the dog.[(((((triple3 triple6) -> rule7) triple2) -> rule1))] @3: The dog is not round.[(((((((triple3 triple6) -> rule7) triple2) -> rule1)) -> rule6))]