The dog likes the squirrel. The mouse likes the dog. The squirrel is red. The tiger is kind. If someone is red then they like the mouse. If someone likes the dog then they are red. If someone likes the squirrel then they eat the squirrel. If someone is kind and they eat the squirrel then they see the mouse. If someone eats the mouse then the mouse is cold. If someone is blue then they like the tiger.
The squirrel does not like the mouse.
@0: The dog likes the squirrel.[(triple1)] The mouse likes the dog.[(triple2)] The squirrel is red.[(triple3)] The tiger is kind.[(triple4)] @1: The dog eats the squirrel.[(((triple1) -> rule3))] The mouse is red.[(((triple2) -> rule2))] The squirrel likes the mouse.[(((triple3) -> rule1))] @2: The mouse likes the mouse.[(((((triple2) -> rule2)) -> rule1))]