The bald eagle eats the cat. The bald eagle eats the lion. The bald eagle likes the bear. The bald eagle sees the bear. The bear is cold. The bear is not kind. The bear is round. The bear likes the cat. The cat eats the bear. The cat eats the lion. The cat is cold. The cat is red. The cat likes the bear. The cat sees the bald eagle. The lion eats the bear. The lion is blue. If something eats the lion and it is not kind then the lion is not blue. If something is cold then it likes the bear. If something likes the lion then it is round. If something eats the bear and it sees the bald eagle then it likes the lion. If something sees the cat then the cat does not eat the lion. If something likes the bear and it is round then it likes the bald eagle. If something is cold and it does not like the bear then the bear is red. If something eats the bear and it is not blue then it eats the cat.
The cat does not like the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear is cold.[(triple5)] The bear is not kind.[(triple6)] The bear is round.[(triple7)] The bear likes the cat.[(triple8)] The cat eats the bear.[(triple9)] The cat eats the lion.[(triple10)] The cat is cold.[(triple11)] The cat is red.[(triple12)] The cat likes the bear.[(triple13 OR ((triple11) -> rule2))] The cat sees the bald eagle.[(triple14)] The lion eats the bear.[(triple15)] The lion is blue.[(triple16)] @1: The bear likes the bear.[(((triple5) -> rule2))] The cat likes the lion.[(((triple9 triple14) -> rule4))] @2: The bear likes the bald eagle.[(((((triple5) -> rule2) triple7) -> rule6))] The cat is round.[(((((triple9 triple14) -> rule4)) -> rule3))] @3: The cat likes the bald eagle.[(((triple13 ((((triple9 triple14) -> rule4)) -> rule3)) -> rule6) OR ((((triple11) -> rule2) ((((triple9 triple14) -> rule4)) -> rule3)) -> rule6))]