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