The dog chases the mouse. The dog chases the squirrel. The dog is cold. The dog needs the rabbit. The dog sees the squirrel. The mouse chases the rabbit. The mouse is cold. The mouse is kind. The mouse needs the rabbit. The mouse sees the squirrel. The rabbit chases the dog. The rabbit chases the mouse. The rabbit is cold. The squirrel chases the dog. The squirrel needs the rabbit. The squirrel sees the rabbit. If something chases the rabbit and it needs the squirrel then it needs the rabbit. If something needs the squirrel then the squirrel chases the rabbit. If something is kind and it needs the mouse then it is big. If something sees the mouse and the mouse needs the squirrel then it is cold. If something needs the rabbit then it needs the dog. If something is kind then it needs the squirrel.
The squirrel is round.
@0: The dog chases the mouse.[(triple1)] The dog chases the squirrel.[(triple2)] The dog is cold.[(triple3)] The dog needs the rabbit.[(triple4)] The dog sees the squirrel.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse is cold.[(triple7)] The mouse is kind.[(triple8)] The mouse needs the rabbit.[(triple9 OR ((triple6 ((triple8) -> rule6)) -> rule1))] The mouse sees the squirrel.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit is cold.[(triple13)] The squirrel chases the dog.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The dog needs the dog.[(((triple4) -> rule5))] The mouse needs the dog.[(((triple9) -> rule5) OR ((((triple6 ((triple8) -> rule6)) -> rule1)) -> rule5))] The mouse needs the squirrel.[(((triple8) -> rule6))] The squirrel needs the dog.[(((triple15) -> rule5))] @2: The squirrel chases the rabbit.[(((((triple8) -> rule6)) -> rule2))]