The cat likes the squirrel. The lion visits the cat. The mouse is blue. The squirrel is blue. If someone visits the cat and the cat eats the mouse then the mouse visits the squirrel. If the mouse is blue then the mouse eats the lion. If someone likes the mouse and the mouse is kind then the mouse is cold. If the lion is blue then the lion likes the mouse. If someone visits the lion and the lion eats the squirrel then they like the mouse. If someone is green and they visit the squirrel then they like the squirrel.
The lion is green.
@0: The cat likes the squirrel.[(triple1)] The lion visits the cat.[(triple2)] The mouse is blue.[(triple3)] The squirrel is blue.[(triple4)] @1: The mouse eats the lion.[(((triple3) -> rule2))]