The cow sees the rabbit. The cow sees the squirrel. The rabbit chases the cow. The rabbit is red. The rabbit is round. The rabbit needs the squirrel. The squirrel is not big. If the rabbit is big then the rabbit sees the squirrel. If someone sees the rabbit then the rabbit does not need the cow. If someone sees the squirrel then they chase the cow. If someone needs the cow then they chase the cow. If the squirrel chases the rabbit and the rabbit is big then the rabbit needs the squirrel. If someone needs the squirrel and they see the squirrel then they are cold. If someone sees the rabbit and the rabbit does not chase the cow then the rabbit sees the cow. If the rabbit does not need the cow then the cow needs the squirrel.
The rabbit does not chase the rabbit.
@0: The cow sees the rabbit.[(triple1)] The cow sees the squirrel.[(triple2)] The rabbit chases the cow.[(triple3)] The rabbit is red.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel is not big.[(triple7)] @1: The cow chases the cow.[(((triple2) -> rule3))] The rabbit does not need the cow.[(((triple1) -> rule2))] @2: The cow needs the squirrel.[(((((triple1) -> rule2)) -> rule8))] @3: The cow is cold.[(((((((triple1) -> rule2)) -> rule8) triple2) -> rule6))]