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