The cat chases the squirrel. The cat eats the squirrel. The cat is blue. The cat is kind. The cat is red. The cat needs the squirrel. The squirrel chases the cat. The squirrel is blue. The squirrel is red. The squirrel needs the cat. If something is blue then it chases the squirrel. If the cat chases the squirrel then the squirrel chases the cat. If the cat is kind and the cat is green then the cat needs the squirrel. If something eats the cat and the cat needs the squirrel then the cat chases the squirrel. If something chases the cat then it eats the cat. If something needs the squirrel and the squirrel chases the cat then the cat chases the squirrel. If the cat needs the squirrel and the squirrel is blue then the squirrel eats the cat. If something is red and it chases the squirrel then it is kind.
The squirrel is not kind.
@0: The cat chases the squirrel.[(triple1 OR ((triple3) -> rule1) OR ((triple6 triple7) -> rule6) OR ((((triple7) -> rule5) triple6) -> rule4) OR ((((triple6 triple8) -> rule7) triple6) -> rule4))] The cat eats the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat is kind.[(triple4 OR ((triple5 triple1) -> rule8) OR ((triple5 ((triple3) -> rule1)) -> rule8) OR ((triple5 ((triple6 triple7) -> rule6)) -> rule8) OR ((triple5 ((((triple7) -> rule5) triple6) -> rule4)) -> rule8) OR ((triple5 ((((triple6 triple8) -> rule7) triple6) -> rule4)) -> rule8))] The cat is red.[(triple5)] The cat needs the squirrel.[(triple6)] The squirrel chases the cat.[(triple7 OR ((triple1) -> rule2) OR ((((triple3) -> rule1)) -> rule2) OR ((((((triple6 triple8) -> rule7) triple6) -> rule4)) -> rule2))] The squirrel is blue.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the cat.[(triple10)] @1: The squirrel chases the squirrel.[(((triple8) -> rule1))] The squirrel eats the cat.[(((triple7) -> rule5) OR ((triple6 triple8) -> rule7) OR ((((triple1) -> rule2)) -> rule5) OR ((((((triple3) -> rule1)) -> rule2)) -> rule5))] @2: The squirrel is kind.[(((triple9 ((triple8) -> rule1)) -> rule8))]