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