The cow eats the dog. The cow is red. The cow is rough. The cow sees the lion. The dog eats the cow. The dog eats the lion. The dog is blue. The dog is rough. The dog is round. The dog is young. The dog sees the cow. The lion eats the cow. The lion is rough. The lion is young. The lion needs the dog. If the dog is young and the dog eats the lion then the lion needs the dog.
The dog is not round.
@0: The cow eats the dog.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow sees the lion.[(triple4)] The dog eats the cow.[(triple5)] The dog eats the lion.[(triple6)] The dog is blue.[(triple7)] The dog is rough.[(triple8)] The dog is round.[(triple9)] The dog is young.[(triple10)] The dog sees the cow.[(triple11)] The lion eats the cow.[(triple12)] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion needs the dog.[(triple15 OR ((triple10 triple6) -> rule1))]