The cow chases the dog. The cow is kind. The cow is red. The cow is round. 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 round. The dog likes the cow. The dog needs the cow. If someone likes the cow then they are round. If someone needs the dog then they chase the dog. If someone is red then they need the dog.
The dog is round.
@0: The cow chases the dog.[(triple1 OR ((triple6) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow likes the dog.[(triple5)] The cow needs the dog.[(triple6 OR ((triple3) -> rule3))] The dog chases the cow.[(triple7)] The dog is big.[(triple8)] The dog is cold.[(triple9)] The dog is round.[(triple10 OR ((triple11) -> rule1))] The dog likes the cow.[(triple11)] The dog needs the cow.[(triple12)]