The mouse is blue. The rabbit is green. The squirrel likes the rabbit. The tiger chases the mouse. If the rabbit is red and the rabbit likes the squirrel then the squirrel chases the tiger. If the rabbit is red then the rabbit is round. If something chases the tiger and the tiger is big then it is green. If the rabbit likes the mouse then the mouse is round. If something visits the squirrel and it chases the tiger then the squirrel chases the tiger. If something is big then it likes the mouse. If something likes the rabbit then the rabbit visits the tiger. If something visits the tiger then it is red.
The rabbit is red.
@0: The mouse is blue.[(triple1)] The rabbit is green.[(triple2)] The squirrel likes the rabbit.[(triple3)] The tiger chases the mouse.[(triple4)] @1: The rabbit visits the tiger.[(((triple3) -> rule7))] @2: The rabbit is red.[(((((triple3) -> rule7)) -> rule8))] @3: The rabbit is round.[(((((((triple3) -> rule7)) -> rule8)) -> rule2))]