The dog chases the rabbit. The dog is blue. The dog likes the rabbit. The dog likes the squirrel. The dog needs the squirrel. The rabbit chases the squirrel. The rabbit is not rough. The rabbit is young. The rabbit likes the dog. The rabbit needs the squirrel. The squirrel is not young. The squirrel likes the dog. If someone needs the rabbit then they are cold. If someone is young then they need the rabbit.
The rabbit likes the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog likes the rabbit.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the squirrel.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit is not rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the dog.[(triple9)] The rabbit needs the squirrel.[(triple10)] The squirrel is not young.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The rabbit needs the rabbit.[(((triple8) -> rule2))] @2: The rabbit is cold.[(((((triple8) -> rule2)) -> rule1))]