The bald eagle is not cold. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cat. The bald eagle sees the cow. The cat eats the cow. The cat is not kind. The cat needs the bald eagle. The cat needs the cow. The cat sees the bald eagle. The cow is kind. The cow is not young. The cow needs the bald eagle. The cow needs the cat. If something sees the cat and the cat sees the bald eagle then the cat needs the bald eagle. If something is green and it eats the cow then the cow eats the cat. If something sees the cat and the cat does not see the bald eagle then it needs the cat. If something needs the cat and it needs the cow then the cat is not cold. If something needs the cow and it is round then the cow needs the cat. If something is round and it does not need the cow then the cow is kind. If the bald eagle needs the cow and the bald eagle is young then the cow is round. If something needs the bald eagle and the bald eagle eats the cow then it eats the cat.
The cow is kind.
@0: The bald eagle is kind.[(triple2)] The bald eagle is not cold.[(triple1)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle sees the cat.[(triple6)] The bald eagle sees the cow.[(triple7)] The cat eats the cow.[(triple8)] The cat is not kind.[(triple9)] The cat needs the bald eagle.[(triple10 OR ((triple6 triple12) -> rule1))] The cat needs the cow.[(triple11)] The cat sees the bald eagle.[(triple12)] The cow is kind.[(triple13)] The cow is not young.[(triple14)] The cow needs the bald eagle.[(triple15)] The cow needs the cat.[(triple16 OR ((triple5 triple3) -> rule5))] @1: The cow is round.[(((triple5 triple4) -> rule7))]