The rabbit is big. The squirrel visits the rabbit. If the squirrel sees the rabbit and the squirrel eats the rabbit then the squirrel is green. If the rabbit visits the squirrel then the squirrel is green. If the rabbit is big then the rabbit visits the squirrel. If something visits the rabbit then it does not visit the squirrel. If the squirrel is big then the squirrel visits the rabbit. If something visits the rabbit and the rabbit visits the squirrel then the squirrel is big. If the rabbit visits the squirrel then the rabbit is blue. All blue things are green.
The rabbit is nice.
@0: The rabbit is big.[(triple1)] The squirrel visits the rabbit.[(triple2)] @1: The rabbit visits the squirrel.[(((triple1) -> rule3))] The squirrel does not visit the squirrel.[(((triple2) -> rule4))] @2: The rabbit is blue.[(((((triple1) -> rule3)) -> rule7))] The squirrel is big.[(((triple2 ((triple1) -> rule3)) -> rule6))] The squirrel is green.[(((((triple1) -> rule3)) -> rule2))] @3: The rabbit is green.[(((((((triple1) -> rule3)) -> rule7)) -> rule8))]