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