The cat is green. The lion sees the squirrel. The mouse likes the cat. The squirrel is young. If something sees the cat then the cat does not visit the lion. If something likes the cat then it visits the lion. If something likes the cat then the cat likes the squirrel. If something visits the lion and the lion sees the squirrel then the lion sees the cat. If something visits the mouse and the mouse likes the cat then the cat sees the mouse. If something is blue and it sees the squirrel then the squirrel visits the cat. If something sees the squirrel and the squirrel visits the lion then the squirrel is not cold. If something sees the squirrel then the squirrel sees the mouse.
The lion sees the squirrel.
@0: The cat is green.[(triple1)] The lion sees the squirrel.[(triple2)] The mouse likes the cat.[(triple3)] The squirrel is young.[(triple4)] @1: The cat likes the squirrel.[(((triple3) -> rule3))] The mouse visits the lion.[(((triple3) -> rule2))] The squirrel sees the mouse.[(((triple2) -> rule8))] @2: The lion sees the cat.[(((((triple3) -> rule2) triple2) -> rule4))] @3: The cat does not visit the lion.[(((((((triple3) -> rule2) triple2) -> rule4)) -> rule1))]