The rabbit does not chase the squirrel. The rabbit is not kind. The rabbit is red. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel is kind. The squirrel needs the rabbit. The squirrel does not visit the rabbit. If the rabbit does not visit the squirrel then the squirrel does not need the rabbit. If something visits the squirrel then it is red. If something needs the squirrel and it needs the rabbit then it visits the rabbit. If something visits the rabbit and it is kind then the rabbit chases the squirrel. If something is red then it needs the rabbit. If something needs the rabbit then the rabbit is cold. If the squirrel visits the rabbit and the rabbit chases the squirrel then the rabbit is kind. If something visits the squirrel and it does not need the rabbit then it chases the rabbit.
The squirrel does not chase the squirrel.
@0: The rabbit does not chase the squirrel.[(triple1)] The rabbit is not kind.[(triple2)] The rabbit is red.[(triple3 OR ((triple5) -> rule2))] The rabbit needs the squirrel.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel does not visit the rabbit.[(triple10)] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel needs the rabbit.[(triple9)] @1: The rabbit is cold.[(((triple9) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((((triple5) -> rule2)) -> rule5)) -> rule6))] The rabbit needs the rabbit.[(((triple3) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] @2: The rabbit visits the rabbit.[(((triple4 ((triple3) -> rule5)) -> rule3) OR ((triple4 ((((triple5) -> rule2)) -> rule5)) -> rule3))]