The bald eagle is cold. The bald eagle likes the cat. The bald eagle sees the bear. The bald eagle sees the cat. The bear eats the bald eagle. The bear is big. The bear is green. The bear is red. The bear is round. The bear likes the bald eagle. The bear likes the cat. The bear sees the bald eagle. The bear sees the cat. The cat eats the bald eagle. The cat eats the bear. The cat likes the bald eagle. If someone likes the bald eagle then they see the bald eagle. If someone eats the bald eagle and they are red then the bald eagle is big. If someone likes the bald eagle and the bald eagle eats the cat then the cat sees the bear. If someone eats the cat then the cat is cold. If the bald eagle sees the cat then the cat eats the bear. If someone is red then they see the cat. If the bear sees the cat then the bear sees the bald eagle. If someone is big then they eat the cat.
The bald eagle sees the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle sees the cat.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is green.[(triple7)] The bear is red.[(triple8)] The bear is round.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear likes the cat.[(triple11)] The bear sees the bald eagle.[(triple12 OR ((triple10) -> rule1) OR ((triple13) -> rule7) OR ((((triple8) -> rule6)) -> rule7))] The bear sees the cat.[(triple13 OR ((triple8) -> rule6))] The cat eats the bald eagle.[(triple14)] The cat eats the bear.[(triple15 OR ((triple4) -> rule5))] The cat likes the bald eagle.[(triple16)] @1: The bald eagle is big.[(((triple5 triple8) -> rule2))] The bear eats the cat.[(((triple6) -> rule8))] The cat sees the bald eagle.[(((triple16) -> rule1))] @2: The bald eagle eats the cat.[(((((triple5 triple8) -> rule2)) -> rule8))] The cat is cold.[(((((triple6) -> rule8)) -> rule4) OR ((((((triple5 triple8) -> rule2)) -> rule8)) -> rule4))] @3: The cat sees the bear.[(((triple10 ((((triple5 triple8) -> rule2)) -> rule8)) -> rule3) OR ((triple16 ((((triple5 triple8) -> rule2)) -> rule8)) -> rule3))]