The cow is not round. The cow likes the dog. The cow likes the mouse. The dog does not like the mouse. The dog needs the mouse. The mouse eats the cow. The mouse is not nice. The mouse likes the cow. The mouse needs the dog. The tiger is rough. The tiger likes the cow. The tiger does not like the dog. The tiger likes the mouse. The tiger needs the cow. The tiger needs the dog. The tiger needs the mouse. If something eats the dog then it is not green. If something eats the dog then it eats the cow. If the dog is blue then the dog is round. If something eats the dog then it eats the mouse. If something eats the cow and it needs the dog then the cow likes the dog. If something needs the tiger and the tiger is round then the tiger is not nice.
The cow needs the cow.
@0: The cow is not round.[(triple1)] The cow likes the dog.[(triple2 OR ((triple6 triple9) -> rule5))] The cow likes the mouse.[(triple3)] The dog does not like the mouse.[(triple4)] The dog needs the mouse.[(triple5)] The mouse eats the cow.[(triple6)] The mouse is not nice.[(triple7)] The mouse likes the cow.[(triple8)] The mouse needs the dog.[(triple9)] The tiger does not like the dog.[(triple12)] The tiger is rough.[(triple10)] The tiger likes the cow.[(triple11)] The tiger likes the mouse.[(triple13)] The tiger needs the cow.[(triple14)] The tiger needs the dog.[(triple15)] The tiger needs the mouse.[(triple16)]