The bald eagle chases the bear. The bald eagle eats the cat. The bald eagle is cold. The bear chases the cat. The cat chases the bald eagle. The cat chases the bear. The cat eats the bear. The cat is nice. The cat is round. The cat sees the bald eagle. If something is round then it is nice. If something chases the bear then it is not green. If something sees the bald eagle and the bald eagle sees the bear then the bear chases the bald eagle. If something eats the bald eagle and it sees the bald eagle then it does not chase the cat. If something is green and it chases the bear then the bear eats the cat. If something eats the bald eagle then it is not round. If something is nice and it chases the cat then the cat sees the bear. If something eats the bear then the bear is round.
The cat sees the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is cold.[(triple3)] The bear chases the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7)] The cat is nice.[(triple8 OR ((triple9) -> rule1))] The cat is round.[(triple9)] The cat sees the bald eagle.[(triple10)] @1: The bald eagle is not green.[(((triple1) -> rule2))] The bear is round.[(((triple7) -> rule8))] The cat is not green.[(((triple6) -> rule2))] @2: The bear is nice.[(((((triple7) -> rule8)) -> rule1))] @3: The cat sees the bear.[(((((((triple7) -> rule8)) -> rule1) triple4) -> rule7))]