The cow chases the dog. The cow is big. The cow is cold. The cow is green. The cow is red. The cow likes the dog. The cow needs the dog. The dog chases the cow. The dog is big. The dog is cold. The dog is green. The dog is red. The dog is young. The dog likes the cow. The dog needs the cow. If the dog chases the cow then the cow likes the dog. If someone likes the dog and they like the cow then the cow is red. If someone chases the cow then the cow needs the dog. If someone likes the cow and they need the dog then they chase the dog. If someone likes the cow and the cow needs the dog then they like the dog. If someone likes the dog and the dog likes the cow then the cow likes the dog. If someone is green then they need the dog. If the cow is young then the cow needs the dog.
The cow does not chase the cow.
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is red.[(triple5 OR ((((triple14 triple7) -> rule5) triple14) -> rule2) OR ((((triple14 ((triple4) -> rule7)) -> rule5) triple14) -> rule2) OR ((((triple14 ((triple8) -> rule3)) -> rule5) triple14) -> rule2))] The cow likes the dog.[(triple6 OR ((triple8) -> rule1) OR ((((triple14 triple7) -> rule5) triple14) -> rule6) OR ((((triple14 ((triple4) -> rule7)) -> rule5) triple14) -> rule6) OR ((((triple14 ((triple8) -> rule3)) -> rule5) triple14) -> rule6))] The cow needs the dog.[(triple7 OR ((triple4) -> rule7) OR ((triple8) -> rule3))] The dog chases the cow.[(triple8)] The dog is big.[(triple9)] The dog is cold.[(triple10)] The dog is green.[(triple11)] The dog is red.[(triple12)] The dog is young.[(triple13)] The dog likes the cow.[(triple14)] The dog needs the cow.[(triple15)] @1: The dog likes the dog.[(((triple14 triple7) -> rule5) OR ((triple14 ((triple4) -> rule7)) -> rule5) OR ((triple14 ((triple8) -> rule3)) -> rule5))] The dog needs the dog.[(((triple11) -> rule7))] @2: The dog chases the dog.[(((triple14 ((triple11) -> rule7)) -> rule4))]