The cat is blue. The cat is young. The cat visits the mouse. The cat visits the rabbit. The cat visits the squirrel. The mouse chases the cat. The mouse is red. The mouse is young. The mouse visits the cat. The mouse visits the squirrel. The rabbit chases the mouse. The rabbit is blue. The rabbit needs the cat. The rabbit needs the squirrel. The squirrel needs the cat. If someone is cold then they need the rabbit. If the cat is young then the cat chases the rabbit. If someone chases the rabbit then they are cold. If someone visits the rabbit and the rabbit is red then they need the cat. If someone chases the squirrel and the squirrel is blue then the squirrel visits the rabbit. If the rabbit needs the cat then the cat needs the squirrel.
The rabbit chases the mouse.
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat visits the mouse.[(triple3)] The cat visits the rabbit.[(triple4)] The cat visits the squirrel.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is red.[(triple7)] The mouse is young.[(triple8)] The mouse visits the cat.[(triple9)] The mouse visits the squirrel.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is blue.[(triple12)] The rabbit needs the cat.[(triple13)] The rabbit needs the squirrel.[(triple14)] The squirrel needs the cat.[(triple15)] @1: The cat chases the rabbit.[(((triple2) -> rule2))] The cat needs the squirrel.[(((triple13) -> rule6))] @2: The cat is cold.[(((((triple2) -> rule2)) -> rule3))] @3: The cat needs the rabbit.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]