The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is not cold. The bald eagle likes the squirrel. The dog eats the bald eagle. The dog eats the squirrel. The dog is round. The dog is young. The dog needs the bald eagle. The dog needs the squirrel. The squirrel eats the dog. The squirrel is not cold. The squirrel is round. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone is round then they need the squirrel. If someone needs the bald eagle and the bald eagle needs the squirrel then the squirrel likes the dog. If someone eats the bald eagle then they like the dog. If someone needs the bald eagle then they are round. If someone eats the dog and the dog eats the bald eagle then the bald eagle is round. If someone is round and they do not eat the dog then they like the squirrel. If someone is cold and they eat the bald eagle then they are red. If the squirrel eats the bald eagle then the bald eagle does not like the squirrel.
The bald eagle is not cold.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is not cold.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is round.[(triple7 OR ((triple9) -> rule4))] The dog is young.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the squirrel.[(triple10 OR ((triple7) -> rule1) OR ((((triple9) -> rule4)) -> rule1))] The squirrel eats the dog.[(triple11)] The squirrel is not cold.[(triple12)] The squirrel is round.[(triple13 OR ((triple15) -> rule4))] The squirrel likes the bald eagle.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The bald eagle is round.[(((triple1 triple5) -> rule5) OR ((triple11 triple5) -> rule5))] The dog likes the dog.[(((triple5) -> rule3))] The squirrel needs the squirrel.[(((triple13) -> rule1) OR ((((triple15) -> rule4)) -> rule1))] @2: The bald eagle needs the squirrel.[(((((triple1 triple5) -> rule5)) -> rule1) OR ((((triple11 triple5) -> rule5)) -> rule1))] @3: The squirrel likes the dog.[(((triple15 ((((triple1 triple5) -> rule5)) -> rule1)) -> rule2) OR ((triple15 ((((triple11 triple5) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple1 triple5) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple11 triple5) -> rule5)) -> rule1)) -> rule2))]