The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle sees the dog. The bald eagle sees the squirrel. The cat is cold. The dog eats the bald eagle. The dog eats the squirrel. The dog is not big. The dog is rough. The dog is round. The dog likes the bald eagle. The dog sees the bald eagle. The squirrel is green. The squirrel sees the cat. The squirrel sees the dog. If the cat is round then the cat likes the dog. If someone likes the bald eagle and they do not see the bald eagle then they are cold. If someone likes the cat and they like the squirrel then they are green. If someone is big then they like the squirrel. If someone likes the bald eagle and the bald eagle sees the cat then the cat does not see the squirrel. If someone sees the bald eagle then the bald eagle likes the dog. Cold people are big. All green people are round.
The bald eagle does not like the dog.
@0: The bald eagle likes the cat.[(triple1)] The bald eagle sees the cat.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cat is cold.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is not big.[(triple8)] The dog is rough.[(triple9)] The dog is round.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog sees the bald eagle.[(triple12)] The squirrel is green.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The bald eagle likes the dog.[(((triple12) -> rule6))] The cat does not see the squirrel.[(((triple11 triple2) -> rule5))] The cat is big.[(((triple5) -> rule7))] The squirrel is round.[(((triple13) -> rule8))] @2: The cat likes the squirrel.[(((((triple5) -> rule7)) -> rule4))]