The dog chases the mouse. The dog sees the mouse. The lion is red. The mouse is blue. The mouse is red. The mouse is young. The squirrel eats the lion. If something is red then it sees the dog. If something sees the dog then it eats the squirrel. If something eats the squirrel then the squirrel is blue.
The mouse sees the dog.
@0: The dog chases the mouse.[(triple1)] The dog sees the mouse.[(triple2)] The lion is red.[(triple3)] The mouse is blue.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The squirrel eats the lion.[(triple7)] @1: The lion sees the dog.[(((triple3) -> rule1))] The mouse sees the dog.[(((triple5) -> rule1))] @2: The lion eats the squirrel.[(((((triple3) -> rule1)) -> rule2))] The mouse eats the squirrel.[(((((triple5) -> rule1)) -> rule2))] @3: The squirrel is blue.[(((((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))]