The rabbit is nice. The squirrel chases the rabbit. The squirrel sees the rabbit. If someone visits the rabbit then they are red. If someone sees the rabbit then the rabbit chases the squirrel. If someone is kind then they see the squirrel. If someone sees the rabbit and the rabbit sees the squirrel then the rabbit is nice. If someone chases the squirrel then the squirrel is red. All cold people are red. If someone chases the squirrel and the squirrel is red then they visit the squirrel. If someone visits the squirrel then the squirrel is nice.
The rabbit is not red.
@0: The rabbit is nice.[(triple1)] The squirrel chases the rabbit.[(triple2)] The squirrel sees the rabbit.[(triple3)] @1: The rabbit chases the squirrel.[(((triple3) -> rule2))] @2: The squirrel is red.[(((((triple3) -> rule2)) -> rule5))] @3: The rabbit visits the squirrel.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule7))] @4: The squirrel is nice.[(((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule7)) -> rule8))]