The cat is red. The cat is rough. The cow needs the cat. The lion eats the cow. The lion is blue. The lion needs the cow. The mouse is rough. If something likes the cow and it eats the cow then it eats the cat. If the cow is red then the cow is blue. If something needs the cow then it likes the cat. If something eats the lion then it likes the cat. If something needs the lion and the lion eats the mouse then it needs the cow. If something eats the lion and the lion likes the mouse then it is young. If something eats the cat and it likes the lion then the lion is young. If something likes the cat then it likes the cow.
The lion likes the cow.
@0: The cat is red.[(triple1)] The cat is rough.[(triple2)] The cow needs the cat.[(triple3)] The lion eats the cow.[(triple4)] The lion is blue.[(triple5)] The lion needs the cow.[(triple6)] The mouse is rough.[(triple7)] @1: The lion likes the cat.[(((triple6) -> rule3))] @2: The lion likes the cow.[(((((triple6) -> rule3)) -> rule8))] @3: The lion eats the cat.[(((((((triple6) -> rule3)) -> rule8) triple4) -> rule1))]