The bald eagle chases the squirrel. The bald eagle is kind. The bald eagle is red. The bald eagle sees the rabbit. The bald eagle sees the tiger. The rabbit chases the bald eagle. The rabbit visits the squirrel. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel sees the bald eagle. The squirrel sees the rabbit. The squirrel visits the rabbit. The tiger sees the squirrel. The tiger visits the rabbit. The tiger visits the squirrel. If someone sees the rabbit then the rabbit sees the tiger. If someone visits the tiger and the tiger visits the rabbit then the tiger is kind. If someone chases the bald eagle then they chase the squirrel. If someone is kind then they chase the bald eagle. If someone is green and they visit the rabbit then the rabbit chases the tiger. If someone chases the squirrel then they see the tiger. If someone chases the bald eagle and they are green then they see the tiger. If someone is kind then they visit the tiger.
The tiger visits the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1 OR ((((triple2) -> rule4)) -> rule3))] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bald eagle sees the tiger.[(triple5 OR ((triple1) -> rule6) OR ((((((triple2) -> rule4)) -> rule3)) -> rule6))] The rabbit chases the bald eagle.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is green.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the rabbit.[(triple12)] The squirrel visits the rabbit.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the rabbit.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule4))] The bald eagle visits the tiger.[(((triple2) -> rule8))] The rabbit chases the squirrel.[(((triple6) -> rule3))] The rabbit chases the tiger.[(((triple8 triple13) -> rule5))] The rabbit sees the tiger.[(((triple12) -> rule1) OR ((triple4) -> rule1) OR ((((triple6) -> rule3)) -> rule6))] The squirrel chases the bald eagle.[(((triple9) -> rule4))] The squirrel visits the tiger.[(((triple9) -> rule8))] @2: The squirrel chases the squirrel.[(((((triple9) -> rule4)) -> rule3))] The squirrel sees the tiger.[(((((triple9) -> rule4) triple8) -> rule7) OR ((((((triple9) -> rule4)) -> rule3)) -> rule6))] The tiger is kind.[(((((triple2) -> rule8) triple15) -> rule2) OR ((((triple9) -> rule8) triple15) -> rule2))] @3: The tiger chases the bald eagle.[(((((((triple2) -> rule8) triple15) -> rule2)) -> rule4) OR ((((((triple9) -> rule8) triple15) -> rule2)) -> rule4))] The tiger visits the tiger.[(((((((triple2) -> rule8) triple15) -> rule2)) -> rule8) OR ((((((triple9) -> rule8) triple15) -> rule2)) -> rule8))] @4: The tiger chases the squirrel.[(((((((((triple2) -> rule8) triple15) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple9) -> rule8) triple15) -> rule2)) -> rule4)) -> rule3))] @5: The tiger sees the tiger.[(((((((((((triple2) -> rule8) triple15) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((((((triple9) -> rule8) triple15) -> rule2)) -> rule4)) -> rule3)) -> rule6))]