The cat is green. The cat is red. The cat visits the mouse. The cow is green. The cow likes the mouse. The cow needs the cat. The cow visits the cat. The cow visits the mouse. The mouse is blue. The mouse is green. The mouse likes the cat. The mouse likes the cow. The mouse needs the cat. The mouse needs the cow. The mouse visits the cow. If the cow needs the cat and the cow does not need the mouse then the cow is green. If someone needs the cow then the cow is not big. If someone needs the cat then they like the mouse.
The cat does not like the mouse.
@0: The cat is green.[(triple1)] The cat is red.[(triple2)] The cat visits the mouse.[(triple3)] The cow is green.[(triple4)] The cow likes the mouse.[(triple5 OR ((triple6) -> rule3))] The cow needs the cat.[(triple6)] The cow visits the cat.[(triple7)] The cow visits the mouse.[(triple8)] The mouse is blue.[(triple9)] The mouse is green.[(triple10)] The mouse likes the cat.[(triple11)] The mouse likes the cow.[(triple12)] The mouse needs the cat.[(triple13)] The mouse needs the cow.[(triple14)] The mouse visits the cow.[(triple15)] @1: The cow is not big.[(((triple14) -> rule2))] The mouse likes the mouse.[(((triple13) -> rule3))]