The bald eagle chases the cow. The bald eagle is not red. The bald eagle does not like the cow. The bald eagle sees the lion. The cat likes the cow. The cow likes the lion. The lion chases the cat. The lion is young. The lion likes the cat. The lion likes the cow. The lion sees the bald eagle. The lion sees the cow. If something chases the lion then the lion does not see the bald eagle. If something sees the bald eagle then the bald eagle is kind. If something sees the cow then it is green. If something is kind then it does not see the cat. If something sees the bald eagle and the bald eagle likes the cow then the bald eagle sees the cat. If the bald eagle is kind then the bald eagle is green. If something chases the bald eagle and it does not see the cat then the bald eagle is not cold. If something is cold and it does not chase the cow then the cow does not chase the cat.
The bald eagle is not kind.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not like the cow.[(triple3)] The bald eagle is not red.[(triple2)] The bald eagle sees the lion.[(triple4)] The cat likes the cow.[(triple5)] The cow likes the lion.[(triple6)] The lion chases the cat.[(triple7)] The lion is young.[(triple8)] The lion likes the cat.[(triple9)] The lion likes the cow.[(triple10)] The lion sees the bald eagle.[(triple11)] The lion sees the cow.[(triple12)] @1: The bald eagle is kind.[(((triple11) -> rule2))] The lion is green.[(((triple12) -> rule3))] @2: The bald eagle does not see the cat.[(((((triple11) -> rule2)) -> rule4))] The bald eagle is green.[(((((triple11) -> rule2)) -> rule6))]