The cat chases the squirrel. The dog chases the squirrel. The squirrel eats the cat. The tiger eats the squirrel. If something is green and it chases the tiger then the tiger chases the squirrel. If something eats the squirrel then it is green. If something likes the cat then it eats the squirrel. If something eats the squirrel then the squirrel chases the tiger. If something chases the squirrel then the squirrel chases the cat. If something chases the cat then it likes the cat.
The dog is green.
@0: The cat chases the squirrel.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel eats the cat.[(triple3)] The tiger eats the squirrel.[(triple4)] @1: The squirrel chases the cat.[(((triple1) -> rule5) OR ((triple2) -> rule5))] The squirrel chases the tiger.[(((triple4) -> rule4) OR ((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule4))] The tiger is green.[(((triple4) -> rule2))] @2: The squirrel likes the cat.[(((((triple1) -> rule5)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] @3: The squirrel eats the squirrel.[(((((((triple1) -> rule5)) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3))] @4: The squirrel is green.[(((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2))] @5: The tiger chases the squirrel.[(((((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1))]