The bald eagle is big. The bald eagle is red. The bald eagle is round. The bald eagle visits the cat. The cat visits the bald eagle. The cow visits the bald eagle. The squirrel is big. The squirrel is red. The squirrel is round. The squirrel likes the bald eagle. The squirrel needs the cat. The squirrel visits the bald eagle. If the bald eagle likes the squirrel and the bald eagle visits the cow then the bald eagle is big. If something is big and young then it likes the bald eagle. If something likes the bald eagle then the bald eagle needs the squirrel. If the cat visits the bald eagle then the bald eagle likes the cat. If the squirrel needs the bald eagle and the squirrel needs the cat then the squirrel visits the cow. If something visits the cat then the cat is red.
The squirrel does not need the cat.
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat visits the bald eagle.[(triple5)] The cow visits the bald eagle.[(triple6)] The squirrel is big.[(triple7)] The squirrel is red.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The bald eagle likes the cat.[(((triple5) -> rule4))] The bald eagle needs the squirrel.[(((triple10) -> rule3))] The cat is red.[(((triple4) -> rule6))]