The cow chases the dog. The cow is nice. The cow is rough. The cow likes the tiger. The cow needs the tiger. The dog chases the tiger. The dog needs the tiger. The tiger chases the cow. The tiger chases the dog. The tiger is big. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the dog. The tiger needs the cow. The tiger needs the dog. If something chases the cow and it needs the tiger then the cow is big. If something chases the cow and the cow needs the tiger then the cow is rough. If something chases the dog then the dog is red. If the dog chases the cow and the dog chases the tiger then the tiger is rough. Nice things are rough. If the dog needs the tiger and the dog is young then the tiger needs the dog. If something chases the tiger and it is rough then the tiger needs the dog. If something chases the dog and it likes the cow then it chases the tiger.
The cow likes the tiger.
@0: The cow chases the dog.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3 OR ((triple2) -> rule5) OR ((triple8 triple5) -> rule2))] The cow likes the tiger.[(triple4)] The cow needs the tiger.[(triple5)] The dog chases the tiger.[(triple6)] The dog needs the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger chases the dog.[(triple9)] The tiger is big.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13 OR ((triple11) -> rule5))] The tiger likes the dog.[(triple14)] The tiger needs the cow.[(triple15)] The tiger needs the dog.[(triple16)] @1: The dog is red.[(((triple1) -> rule3) OR ((triple9) -> rule3))]