The cow chases the dog. The cow chases the tiger. The cow is round. The cow sees the dog. The dog chases the cow. The dog is green. The dog needs the tiger. The dog sees the cow. The dog sees the tiger. The tiger chases the cow. The tiger chases the dog. The tiger is cold. The tiger is green. The tiger is rough. The tiger is round. The tiger needs the cow. If the cow is rough then the cow chases the tiger. If something needs the cow then it needs the tiger. If something needs the dog then it sees the dog. If the tiger chases the cow and the tiger chases the dog then the dog needs the cow. If something is round and cold then it needs the tiger. If something is green then it is young. If something is green then it chases the cow. If the tiger chases the cow then the cow sees the dog.
The cow does not chase the cow.
@0: The cow chases the dog.[(triple1)] The cow chases the tiger.[(triple2)] The cow is round.[(triple3)] The cow sees the dog.[(triple4 OR ((triple10) -> rule8) OR ((((triple13) -> rule7)) -> rule8))] The dog chases the cow.[(triple5 OR ((triple6) -> rule7))] The dog is green.[(triple6)] The dog needs the tiger.[(triple7 OR ((((triple10 triple11) -> rule4)) -> rule2) OR ((((((triple13) -> rule7) triple11) -> rule4)) -> rule2))] The dog sees the cow.[(triple8)] The dog sees the tiger.[(triple9)] The tiger chases the cow.[(triple10 OR ((triple13) -> rule7))] The tiger chases the dog.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger is round.[(triple15)] The tiger needs the cow.[(triple16)] @1: The dog is young.[(((triple6) -> rule6))] The dog needs the cow.[(((triple10 triple11) -> rule4) OR ((((triple13) -> rule7) triple11) -> rule4))] The tiger is young.[(((triple13) -> rule6))] The tiger needs the tiger.[(((triple16) -> rule2) OR ((triple15 triple12) -> rule5))]