The bald eagle chases the cat. The bald eagle is cold. The bald eagle is kind. The bald eagle is round. The bald eagle likes the bear. The bald eagle likes the cat. The bear is not kind. The bear likes the cow. The cat likes the bald eagle. The cat sees the bald eagle. The cat sees the bear. The cow is green. The cow is not rough. The cow does not see the bald eagle. The cow does not see the cat. Rough things are green. If something likes the bald eagle and it sees the cow then the bald eagle does not chase the bear. If the cat sees the bald eagle then the cat chases the bear. If the bear is rough then the bear sees the cow. If the cow sees the cat and the cat is kind then the cow likes the bald eagle. If the cat is green then the cat likes the bear. If something chases the bear and it is not green then it likes the cow. If something likes the cow then the cow does not chase the bald eagle.
The bald eagle chases the bear.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle likes the cat.[(triple6)] The bear is not kind.[(triple7)] The bear likes the cow.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the bear.[(triple11)] The cow does not see the bald eagle.[(triple14)] The cow does not see the cat.[(triple15)] The cow is green.[(triple12)] The cow is not rough.[(triple13)] @1: The cat chases the bear.[(((triple10) -> rule3))] The cow does not chase the bald eagle.[(((triple8) -> rule8))]