The dog chases the rabbit. The dog is big. The dog is cold. The dog is nice. The dog is young. The dog needs the mouse. The dog needs the rabbit. The dog needs the squirrel. The mouse chases the squirrel. The mouse is cold. The mouse needs the dog. The rabbit sees the mouse. The squirrel chases the rabbit. The squirrel is big. The squirrel needs the dog. If something sees the rabbit then the rabbit chases the dog. If something needs the squirrel then it sees the rabbit. If something chases the dog then the dog sees the squirrel.
The rabbit does not chase the dog.
@0: The dog chases the rabbit.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is nice.[(triple4)] The dog is young.[(triple5)] The dog needs the mouse.[(triple6)] The dog needs the rabbit.[(triple7)] The dog needs the squirrel.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse is cold.[(triple10)] The mouse needs the dog.[(triple11)] The rabbit sees the mouse.[(triple12)] The squirrel chases the rabbit.[(triple13)] The squirrel is big.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The dog sees the rabbit.[(((triple8) -> rule2))] @2: The rabbit chases the dog.[(((((triple8) -> rule2)) -> rule1))] @3: The dog sees the squirrel.[(((((((triple8) -> rule2)) -> rule1)) -> rule3))]