The bald eagle is big. The bald eagle is cold. The bald eagle is not kind. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cow. The bald eagle does not need the cow. The bald eagle sees the cow. The cow is not big. The cow is not cold. The cow is kind. The cow is red. The cow likes the bald eagle. The cow needs the bald eagle. The cow sees the bald eagle. If the cow is red and the cow sees the bald eagle then the cow likes the bald eagle. If something likes the cow then the cow needs the bald eagle. If something is big and it does not see the bald eagle then it does not like the cow.
The cow likes the cow.
@0: The bald eagle does not need the cow.[(triple7)] The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is not 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.[(triple8)] The cow is kind.[(triple11)] The cow is not big.[(triple9)] The cow is not cold.[(triple10)] The cow is red.[(triple12)] The cow likes the bald eagle.[(triple13 OR ((triple12 triple15) -> rule1))] The cow needs the bald eagle.[(triple14 OR ((triple6) -> rule2))] The cow sees the bald eagle.[(triple15)]