The cat eats the squirrel. The cat is green. The cat sees the squirrel. The cat visits the rabbit. The cat visits the squirrel. The rabbit is green. The rabbit is round. The rabbit sees the cat. The rabbit visits the cat. The squirrel is round. If something visits the rabbit then the rabbit eats the cat. If the rabbit visits the cat and the cat visits the rabbit then the cat eats the rabbit. If something eats the squirrel then it visits the squirrel. If something is round then it eats the rabbit. If something is nice then it sees the rabbit. If something eats the cat then it eats the squirrel.
The rabbit does not visit the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat is green.[(triple2)] The cat sees the squirrel.[(triple3)] The cat visits the rabbit.[(triple4)] The cat visits the squirrel.[(triple5 OR ((triple1) -> rule3))] The rabbit is green.[(triple6)] The rabbit is round.[(triple7)] The rabbit sees the cat.[(triple8)] The rabbit visits the cat.[(triple9)] The squirrel is round.[(triple10)] @1: The cat eats the rabbit.[(((triple9 triple4) -> rule2))] The rabbit eats the cat.[(((triple4) -> rule1))] The rabbit eats the rabbit.[(((triple7) -> rule4))] The squirrel eats the rabbit.[(((triple10) -> rule4))] @2: The rabbit eats the squirrel.[(((((triple4) -> rule1)) -> rule6))] @3: The rabbit visits the squirrel.[(((((((triple4) -> rule1)) -> rule6)) -> rule3))]