The bear eats the dog. The bear eats the rabbit. The dog is cold. The dog is young. The dog needs the rabbit. The dog needs the squirrel. The dog visits the bear. The dog visits the rabbit. The dog visits the squirrel. The rabbit eats the bear. The squirrel eats the bear. The squirrel eats the rabbit. The squirrel is cold. The squirrel is green. The squirrel needs the rabbit. If someone is green then they need the dog. If someone needs the dog then they need the squirrel.
The squirrel needs the dog.
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The dog is cold.[(triple3)] The dog is young.[(triple4)] The dog needs the rabbit.[(triple5)] The dog needs the squirrel.[(triple6)] The dog visits the bear.[(triple7)] The dog visits the rabbit.[(triple8)] The dog visits the squirrel.[(triple9)] The rabbit eats the bear.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The squirrel needs the dog.[(((triple14) -> rule1))] @2: The squirrel needs the squirrel.[(((((triple14) -> rule1)) -> rule2))]