The cat eats the mouse. The cat is red. The cat is rough. The cat likes the cow. The cat likes the mouse. The cat needs the cow. The cat needs the mouse. The cow is blue. The cow likes the mouse. The cow needs the cat. The mouse eats the cow. The mouse is green. If the mouse likes the cat and the cat is green then the cat is rough. If the cat needs the cow then the cat is blue. If the cat likes the mouse and the mouse likes the cat then the cat eats the mouse. If someone eats the cow then they eat the mouse. If someone likes the cat and they are young then the cat is rough. If the cat eats the mouse then the mouse likes the cat. If someone likes the mouse then they like the cow. All green people are red.
The cow does not need the cat.
@0: The cat eats the mouse.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat likes the cow.[(triple4 OR ((triple5) -> rule7))] The cat likes the mouse.[(triple5)] The cat needs the cow.[(triple6)] The cat needs the mouse.[(triple7)] The cow is blue.[(triple8)] The cow likes the mouse.[(triple9)] The cow needs the cat.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is green.[(triple12)] @1: The cat is blue.[(((triple6) -> rule2))] The cow likes the cow.[(((triple9) -> rule7))] The mouse eats the mouse.[(((triple11) -> rule4))] The mouse is red.[(((triple12) -> rule8))] The mouse likes the cat.[(((triple1) -> rule6))]