The rabbit chases the squirrel. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is nice. 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 green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel needs the rabbit. The squirrel visits the rabbit. If someone needs the rabbit and they visit the rabbit then they visit the squirrel. If someone chases the squirrel then the squirrel is red. If someone visits the rabbit and the rabbit is cold then the rabbit visits the squirrel. If someone is red and they need the rabbit then the rabbit chases the squirrel. If someone visits the squirrel then they need the squirrel. If the squirrel visits the rabbit and the squirrel is kind then the squirrel chases the rabbit.
The rabbit does not chase the rabbit.
@0: The rabbit chases the squirrel.[(triple1 OR ((triple14 triple15) -> rule4))] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the squirrel.[(triple7 OR ((triple8) -> rule5) OR ((((triple16 triple2) -> rule3)) -> rule5))] The rabbit visits the squirrel.[(triple8 OR ((triple16 triple2) -> rule3))] The squirrel chases the rabbit.[(triple9 OR ((triple16 triple12) -> rule6))] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14 OR ((triple1) -> rule2))] The squirrel needs the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel visits the squirrel.[(((triple15 triple16) -> rule1))] @2: The squirrel needs the squirrel.[(((((triple15 triple16) -> rule1)) -> rule5))]