The bald eagle chases the squirrel. The bald eagle eats the dog. The bald eagle eats the lion. The bald eagle is blue. The bald eagle is round. The bald eagle needs the lion. The dog chases the bald eagle. The dog eats the bald eagle. The dog is big. The lion eats the bald eagle. The lion eats the squirrel. The squirrel chases the bald eagle. The squirrel is cold. The squirrel needs the dog. The squirrel needs the lion. If the bald eagle eats the lion then the bald eagle needs the squirrel. All blue things are rough. If something eats the lion and the lion is rough then it eats the dog. If something eats the dog then it is big. If something chases the squirrel then it is round. If something needs the squirrel and it is big then the squirrel eats the bald eagle. If something chases the bald eagle then it eats the dog. If something eats the lion and it needs the squirrel then the lion chases the bald eagle.
The squirrel does not eat the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is round.[(triple5 OR ((triple1) -> rule5))] The bald eagle needs the lion.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog is big.[(triple9 OR ((((triple7) -> rule7)) -> rule4))] The lion eats the bald eagle.[(triple10)] The lion eats the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel is cold.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel needs the lion.[(triple15)] @1: The bald eagle is big.[(((triple2) -> rule4))] The bald eagle is rough.[(((triple4) -> rule2))] The bald eagle needs the squirrel.[(((triple3) -> rule1))] The dog eats the dog.[(((triple7) -> rule7))] The squirrel eats the dog.[(((triple12) -> rule7))] @2: The lion chases the bald eagle.[(((triple3 ((triple3) -> rule1)) -> rule8))] The squirrel eats the bald eagle.[(((((triple3) -> rule1) ((triple2) -> rule4)) -> rule6))] The squirrel is big.[(((((triple12) -> rule7)) -> rule4))] @3: The lion eats the dog.[(((((triple3 ((triple3) -> rule1)) -> rule8)) -> rule7))] @4: The lion is big.[(((((((triple3 ((triple3) -> rule1)) -> rule8)) -> rule7)) -> rule4))]