The bald eagle chases the tiger. The bald eagle is green. The bear chases the rabbit. The bear is green. The bear needs the rabbit. The bear visits the bald eagle. The bear visits the tiger. The rabbit chases the tiger. The rabbit needs the tiger. The rabbit visits the bear. The tiger chases the bear. The tiger visits the bald eagle. If something is green and it visits the bear then it chases the bald eagle. If something visits the bear then the bear is round. If something is round then it chases the bear. If something needs the rabbit and it chases the bear then the bear is kind. If something chases the bear and the bear needs the rabbit then it chases the bald eagle. If something visits the bear and the bear visits the tiger then the bear needs the rabbit. If something chases the bear then the bear chases the tiger. If something is kind and round then it visits the rabbit.
The rabbit does not chase the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bear chases the rabbit.[(triple3)] The bear is green.[(triple4)] The bear needs the rabbit.[(triple5 OR ((triple10 triple7) -> rule6))] The bear visits the bald eagle.[(triple6)] The bear visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the bear.[(triple10)] The tiger chases the bear.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bear chases the tiger.[(((triple11) -> rule7) OR ((((((triple10) -> rule2)) -> rule3)) -> rule7))] The bear is round.[(((triple10) -> rule2))] The tiger chases the bald eagle.[(((triple11 triple5) -> rule5) OR ((triple11 ((triple10 triple7) -> rule6)) -> rule5))] @2: The bear chases the bear.[(((((triple10) -> rule2)) -> rule3))] @3: The bear chases the bald eagle.[(((((((triple10) -> rule2)) -> rule3) triple5) -> rule5) OR ((((((triple10) -> rule2)) -> rule3) ((triple10 triple7) -> rule6)) -> rule5))] The bear is kind.[(((triple5 ((((triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple10 triple7) -> rule6) ((((triple10) -> rule2)) -> rule3)) -> rule4))] @4: The bear visits the rabbit.[(((((triple5 ((((triple10) -> rule2)) -> rule3)) -> rule4) ((triple10) -> rule2)) -> rule8) OR ((((((triple10 triple7) -> rule6) ((((triple10) -> rule2)) -> rule3)) -> rule4) ((triple10) -> rule2)) -> rule8))]