The cat is red. The dog is red. The squirrel chases the tiger. The tiger chases the dog. The tiger chases the squirrel. The tiger is nice. The tiger is red. If something is red then it eats the squirrel. If the dog is nice and the dog chases the tiger then the tiger visits the cat. If something is rough then it eats the tiger. If something chases the squirrel and the squirrel is red then the squirrel eats the dog. If something chases the cat then the cat is big. If something eats the squirrel then the squirrel is red. If something eats the squirrel and the squirrel eats the dog then it visits the squirrel. If something visits the dog and it is rough then it eats the dog.
The dog does not chase the tiger.
@0: The cat is red.[(triple1)] The dog is red.[(triple2)] The squirrel chases the tiger.[(triple3)] The tiger chases the dog.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is nice.[(triple6)] The tiger is red.[(triple7)] @1: The cat eats the squirrel.[(((triple1) -> rule1))] The dog eats the squirrel.[(((triple2) -> rule1))] The tiger eats the squirrel.[(((triple7) -> rule1))] @2: The squirrel is red.[(((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] @3: The squirrel eats the dog.[(((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4))] The squirrel eats the squirrel.[(((((((triple1) -> rule1)) -> rule6)) -> rule1) OR ((((((triple2) -> rule1)) -> rule6)) -> rule1) OR ((((((triple7) -> rule1)) -> rule6)) -> rule1))] @4: The cat visits the squirrel.[(((((triple1) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple1) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple1) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))] The dog visits the squirrel.[(((((triple2) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple2) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple2) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))] The squirrel visits the squirrel.[(((((((((triple1) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))] The tiger visits the squirrel.[(((((triple7) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple7) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple7) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))]