The rabbit likes the tiger. The squirrel is red. The tiger eats the rabbit. If something is blue then it likes the tiger. If something eats the rabbit then it visits the tiger. If something likes the tiger then it likes the rabbit. If something visits the tiger and it eats the rabbit then it likes the rabbit. If something is round and it eats the rabbit then it visits the squirrel. If something eats the rabbit and the rabbit likes the tiger then it likes the rabbit. If something is cold and it eats the tiger then it visits the tiger. If something is red then it is blue.
The squirrel visits the tiger.
@0: The rabbit likes the tiger.[(triple1)] The squirrel is red.[(triple2)] The tiger eats the rabbit.[(triple3)] @1: The rabbit likes the rabbit.[(((triple1) -> rule3))] The squirrel is blue.[(((triple2) -> rule8))] The tiger likes the rabbit.[(((triple3 triple1) -> rule6) OR ((((triple3) -> rule2) triple3) -> rule4))] The tiger visits the tiger.[(((triple3) -> rule2))] @2: The squirrel likes the tiger.[(((((triple2) -> rule8)) -> rule1))] @3: The squirrel likes the rabbit.[(((((((triple2) -> rule8)) -> rule1)) -> rule3))]