The bald eagle visits the bear. The bald eagle visits the rabbit. The bear chases the bald eagle. The bear eats the bald eagle. The bear eats the rabbit. The bear is green. The bear is rough. The bear visits the bald eagle. The bear visits the rabbit. The rabbit chases the bear. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit is green. The rabbit is kind. The rabbit visits the bald eagle. If something eats the bald eagle and it chases the bear then the bald eagle eats the bear. If something chases the rabbit then it eats the bear. If something chases the rabbit and it visits the rabbit then the rabbit is kind. If something eats the bear then it is big. If something chases the bald eagle then the bald eagle is green. If something chases the bear then the bear visits the bald eagle. If something chases the bald eagle and the bald eagle eats the bear then the bear eats the bald eagle. If something eats the bald eagle then it visits the rabbit.
The bear is not big.
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear eats the bald eagle.[(triple4 OR ((triple3 ((triple11 triple10) -> rule1)) -> rule7))] The bear eats the rabbit.[(triple5)] The bear is green.[(triple6)] The bear is rough.[(triple7)] The bear visits the bald eagle.[(triple8 OR ((triple10) -> rule6))] The bear visits the rabbit.[(triple9 OR ((triple4) -> rule8) OR ((((triple3 ((triple11 triple10) -> rule1)) -> rule7)) -> rule8))] The rabbit chases the bear.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit eats the bear.[(triple12)] The rabbit is green.[(triple13)] The rabbit is kind.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The bald eagle eats the bear.[(((triple11 triple10) -> rule1))] The bald eagle is green.[(((triple3) -> rule5))] The rabbit is big.[(((triple12) -> rule4))] The rabbit visits the rabbit.[(((triple11) -> rule8))] @2: The bald eagle is big.[(((((triple11 triple10) -> rule1)) -> rule4))]