The rabbit chases the tiger. The rabbit is nice. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is red. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is big. The tiger is blue. If something sees the squirrel then it chases the squirrel. If something is green then it sees the squirrel. If the tiger visits the rabbit and the rabbit chases the squirrel then the squirrel is blue. All red things are nice. If something chases the squirrel then it visits the rabbit. If something chases the squirrel and the squirrel visits the tiger then the tiger visits the squirrel. If the tiger is big and the tiger visits the squirrel then the tiger visits the rabbit. If something chases the tiger then it sees the tiger.
The squirrel does not visit the tiger.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is nice.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel is red.[(triple5)] The squirrel sees the rabbit.[(triple6)] The squirrel sees the tiger.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] @1: The rabbit chases the squirrel.[(((triple3) -> rule1))] The rabbit sees the tiger.[(((triple1) -> rule8))] The squirrel is nice.[(((triple5) -> rule4))] The tiger visits the rabbit.[(((triple8) -> rule5))] @2: The rabbit visits the rabbit.[(((((triple3) -> rule1)) -> rule5))] The squirrel is blue.[(((((triple8) -> rule5) ((triple3) -> rule1)) -> rule3))]