The cat is cold. The cat is green. The cat sees the squirrel. The cat visits the rabbit. The cat visits the squirrel. The rabbit chases the squirrel. The rabbit is cold. The rabbit sees the cat. The squirrel chases the cat. The squirrel chases the rabbit. The squirrel is green. The squirrel visits the rabbit. If the rabbit chases the cat and the rabbit chases the squirrel then the squirrel visits the rabbit. If someone sees the cat and they chase the cat then the cat is blue. If someone sees the squirrel then they see the rabbit. If someone is young and blue then they see the squirrel. If someone visits the squirrel and they chase the squirrel then the squirrel visits the rabbit. If someone sees the squirrel then the squirrel sees the cat.
The rabbit does not see the squirrel.
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat sees the squirrel.[(triple3)] The cat visits the rabbit.[(triple4)] The cat visits the squirrel.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit is cold.[(triple7)] The rabbit sees the cat.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel is green.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The cat sees the rabbit.[(((triple3) -> rule3))] The squirrel sees the cat.[(((triple3) -> rule6))] @2: The cat is blue.[(((((triple3) -> rule6) triple9) -> rule2))]