The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is cold. The bald eagle is not round. The bald eagle is young. The bald eagle does not see the cat. The cat is rough. If the cat sees the bald eagle then the bald eagle does not see the cat. If something sees the bald eagle then the bald eagle sees the cat. All cold things are young. If something sees the bald eagle then the bald eagle is cold. If something sees the bald eagle and it is not cold then it eats the bald eagle. If something chases the cat and the cat is young then the cat does not chase the bald eagle. If the cat eats the bald eagle then the cat chases the bald eagle. If something eats the cat and the cat does not eat the bald eagle then the bald eagle chases the cat.
The bald eagle is not cold.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not see the cat.[(triple6)] The bald eagle eats the cat.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not round.[(triple4)] The bald eagle is young.[(triple5 OR ((triple3) -> rule3))] The cat is rough.[(triple7)]