The cat is red. The cat is young. The cat needs the cow. The cat needs the mouse. The cow chases the cat. The cow is blue. The cow is red. The mouse chases the cow. The mouse needs the cat. The mouse needs the cow. If something needs the mouse then the mouse needs the cow. If the cow is blue then the cow chases the mouse. If something needs the cow and it needs the mouse then the cow chases the cat. If something is round then it likes the cow. If something chases the mouse then it likes the cat. If something likes the cat and the cat is young then the cat chases the cow.
The cow does not like the cat.
@0: The cat is red.[(triple1)] The cat is young.[(triple2)] The cat needs the cow.[(triple3)] The cat needs the mouse.[(triple4)] The cow chases the cat.[(triple5 OR ((triple3 triple4) -> rule3))] The cow is blue.[(triple6)] The cow is red.[(triple7)] The mouse chases the cow.[(triple8)] The mouse needs the cat.[(triple9)] The mouse needs the cow.[(triple10 OR ((triple4) -> rule1))] @1: The cow chases the mouse.[(((triple6) -> rule2))] @2: The cow likes the cat.[(((((triple6) -> rule2)) -> rule5))] @3: The cat chases the cow.[(((((((triple6) -> rule2)) -> rule5) triple2) -> rule6))]