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