The bald eagle is cold. The bald eagle is not kind. The bald eagle is rough. The bald eagle does not see the cow. The bald eagle visits the bear. The bear does not chase the bald eagle. The bear chases the cow. The bear is cold. The bear is kind. The bear is rough. The bear is not round. The cow chases the bear. The cow is cold. The cow is kind. The cow is rough. The cow does not see the bald eagle. If something visits the bald eagle then the bald eagle is red. If the cow chases the bald eagle and the bald eagle does not chase the cow then the cow is kind. If something sees the cow and it is rough then the cow is red. All kind things are red. If something visits the bald eagle and it chases the cow then the cow chases the bear. If something is rough and it sees the bear then the bear sees the bald eagle. If something is rough and it chases the bear then it sees the bear. If something sees the bald eagle then the bald eagle chases the bear.
The bald eagle chases the bear.
@0: The bald eagle does not see the cow.[(triple4)] The bald eagle is cold.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple5)] The bear chases the cow.[(triple7)] The bear does not chase the bald eagle.[(triple6)] The bear is cold.[(triple8)] The bear is kind.[(triple9)] The bear is not round.[(triple11)] The bear is rough.[(triple10)] The cow chases the bear.[(triple12)] The cow does not see the bald eagle.[(triple16)] The cow is cold.[(triple13)] The cow is kind.[(triple14)] The cow is rough.[(triple15)] @1: The bear is red.[(((triple9) -> rule4))] The cow is red.[(((triple14) -> rule4))] The cow sees the bear.[(((triple15 triple12) -> rule7))] @2: The bear sees the bald eagle.[(((triple15 ((triple15 triple12) -> rule7)) -> rule6))] @3: The bald eagle chases the bear.[(((((triple15 ((triple15 triple12) -> rule7)) -> rule6)) -> rule8))] @4: The bald eagle sees the bear.[(((triple3 ((((triple15 ((triple15 triple12) -> rule7)) -> rule6)) -> rule8)) -> rule7))]