The bald eagle is cold. The bald eagle is green. The bald eagle is not nice. The bald eagle is round. The bald eagle is young. The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle visits the cow. The cow is cold. The cow is green. The cow is nice. The cow is round. The cow is young. The cow likes the bald eagle. The cow sees the bald eagle. The cow does not visit the bald eagle. If something likes the cow and the cow visits the bald eagle then it is cold. If something is nice and it likes the cow then the cow is round. If the bald eagle visits the cow then the cow sees the bald eagle. If something sees the cow then the cow likes the bald eagle. If something likes the cow and it does not visit the cow then the cow is nice. If the cow visits the bald eagle and the cow does not see the bald eagle then the cow is not cold. If something visits the cow and it does not like the bald eagle then the cow is not young. If something is cold and it visits the cow then it is round.
The cow is not nice.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle is round.[(triple4 OR ((triple1 triple8) -> rule8))] The bald eagle is young.[(triple5)] The bald eagle likes the cow.[(triple6)] The bald eagle sees the cow.[(triple7)] The bald eagle visits the cow.[(triple8)] The cow does not visit the bald eagle.[(triple16)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow is nice.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow likes the bald eagle.[(triple14 OR ((triple7) -> rule4))] The cow sees the bald eagle.[(triple15 OR ((triple8) -> rule3))]