The bald eagle eats the squirrel. The bear eats the dog. The bear is not red. The dog is big. The dog is nice. The squirrel is rough. The squirrel likes the bald eagle. The squirrel likes the bear. The squirrel likes the dog. The squirrel visits the dog. If someone is young and they like the dog then they visit the bald eagle. If the squirrel eats the bald eagle then the squirrel is young. If someone is rough and they eat the bald eagle then the bald eagle does not visit the squirrel. If someone is nice then they eat the squirrel. If someone visits the dog then they eat the bald eagle. If the dog does not eat the squirrel then the dog likes the bear.
The bald eagle visits the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bear eats the dog.[(triple2)] The bear is not red.[(triple3)] The dog is big.[(triple4)] The dog is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the bald eagle.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog eats the squirrel.[(((triple5) -> rule4))] The squirrel eats the bald eagle.[(((triple10) -> rule5))] @2: The bald eagle does not visit the squirrel.[(((triple6 ((triple10) -> rule5)) -> rule3))] The squirrel is young.[(((((triple10) -> rule5)) -> rule2))] @3: The squirrel visits the bald eagle.[(((((((triple10) -> rule5)) -> rule2) triple9) -> rule1))]