The cat likes the lion. The lion likes the mouse. The mouse is rough. If the lion sees the cat then the lion is rough. If something needs the cat and it likes the cat then it is red. If something is round then it sees the cat. If something likes the mouse then it sees the cat. If something is rough then it sees the lion. If something sees the cat and it is young then the cat is rough.
The mouse is red.
@0: The cat likes the lion.[(triple1)] The lion likes the mouse.[(triple2)] The mouse is rough.[(triple3)] @1: The lion sees the cat.[(((triple2) -> rule4))] The mouse sees the lion.[(((triple3) -> rule5))] @2: The lion is rough.[(((((triple2) -> rule4)) -> rule1))] @3: The lion sees the lion.[(((((((triple2) -> rule4)) -> rule1)) -> rule5))]