The cat eats the squirrel. The cat is blue. The cat is nice. The cat is red. The cat is rough. The cat needs the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel needs the cat. The squirrel visits the cat. If the cat eats the squirrel and the squirrel needs the cat then the squirrel is red. If something is blue and it visits the squirrel then it is round. If something visits the squirrel and it eats the squirrel then it is red. If something is nice and round then it eats the cat. If something needs the cat then it is round. If something is red and it eats the cat then it visits the cat. If something visits the cat then it eats the squirrel. If something is blue and it eats the cat then it is nice.
The cat does not visit the cat.
@0: The cat eats the squirrel.[(triple1 OR ((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7))] The cat is blue.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple7 triple1) -> rule3))] The cat is rough.[(triple5)] The cat needs the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel eats the cat.[(triple8 OR ((triple10 triple13) -> rule4) OR ((triple10 ((triple14) -> rule5)) -> rule4))] The squirrel is blue.[(triple9)] The squirrel is nice.[(triple10 OR ((triple9 triple8) -> rule8))] The squirrel is red.[(triple11 OR ((triple1 triple14) -> rule1) OR ((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1))] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13 OR ((triple14) -> rule5))] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15 OR ((triple11 triple8) -> rule6) OR ((triple11 ((triple10 triple13) -> rule4)) -> rule6) OR ((((triple1 triple14) -> rule1) triple8) -> rule6) OR ((((triple1 triple14) -> rule1) ((triple10 triple13) -> rule4)) -> rule6) OR ((triple11 ((triple10 ((triple14) -> rule5)) -> rule4)) -> rule6) OR ((((triple1 triple14) -> rule1) ((triple10 ((triple14) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1) triple8) -> rule6) OR ((((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1) ((triple10 triple13) -> rule4)) -> rule6) OR ((((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1) ((triple10 ((triple14) -> rule5)) -> rule4)) -> rule6))] @1: The cat is round.[(((triple2 triple7) -> rule2))] The squirrel eats the squirrel.[(((triple15) -> rule7) OR ((((triple11 triple8) -> rule6)) -> rule7) OR ((((triple11 ((triple10 triple13) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1 triple14) -> rule1) triple8) -> rule6)) -> rule7) OR ((((((triple1 triple14) -> rule1) ((triple10 triple13) -> rule4)) -> rule6)) -> rule7) OR ((((triple11 ((triple10 ((triple14) -> rule5)) -> rule4)) -> rule6)) -> rule7) OR ((((((triple1 triple14) -> rule1) ((triple10 ((triple14) -> rule5)) -> rule4)) -> rule6)) -> rule7) OR ((((((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1) triple8) -> rule6)) -> rule7) OR ((((((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1) ((triple10 triple13) -> rule4)) -> rule6)) -> rule7) OR ((((((((((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6)) -> rule7) triple14) -> rule1) ((triple10 ((triple14) -> rule5)) -> rule4)) -> rule6)) -> rule7))] @2: The cat eats the cat.[(((triple3 ((triple2 triple7) -> rule2)) -> rule4))] @3: The cat visits the cat.[(((triple4 ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple1) -> rule3) ((triple3 ((triple2 triple7) -> rule2)) -> rule4)) -> rule6))]