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