The bald eagle is green. The bald eagle visits the rabbit. The rabbit is round. The rabbit likes the bald eagle. The rabbit does not like the squirrel. The rabbit does not need the bald eagle. The squirrel is round. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel visits the rabbit. The tiger is round. The tiger needs the bald eagle. If something likes the rabbit and it is round then it needs the bald eagle. If something likes the rabbit and it needs the bald eagle then it visits the tiger. If something visits the bald eagle and the bald eagle is green then the bald eagle needs the squirrel. If something visits the bald eagle then the bald eagle likes the rabbit. If the bald eagle likes the tiger then the bald eagle is rough. If something is rough and it needs the rabbit then it does not like the rabbit. If something visits the rabbit then the rabbit visits the bald eagle. If something needs the squirrel then it is round. If the bald eagle is not kind and the bald eagle does not like the rabbit then the bald eagle visits the squirrel.
The rabbit does not visit the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The rabbit does not like the squirrel.[(triple5)] The rabbit does not need the bald eagle.[(triple6)] The rabbit is round.[(triple3)] The rabbit likes the bald eagle.[(triple4)] The squirrel is round.[(triple7)] The squirrel needs the rabbit.[(triple8)] The squirrel needs the tiger.[(triple9)] The squirrel visits the rabbit.[(triple10)] The tiger is round.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The rabbit visits the bald eagle.[(((triple10) -> rule7) OR ((triple2) -> rule7))] @2: The bald eagle likes the rabbit.[(((((triple10) -> rule7)) -> rule4) OR ((((triple2) -> rule7)) -> rule4))] The bald eagle needs the squirrel.[(((((triple10) -> rule7) triple1) -> rule3) OR ((((triple2) -> rule7) triple1) -> rule3))] @3: The bald eagle is round.[(((((((triple10) -> rule7) triple1) -> rule3)) -> rule8) OR ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8))] @4: The bald eagle needs the bald eagle.[(((((((triple10) -> rule7)) -> rule4) ((((((triple10) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple10) -> rule7)) -> rule4) ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple10) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1))] @5: The bald eagle visits the tiger.[(((((((triple10) -> rule7)) -> rule4) ((((((triple10) -> rule7)) -> rule4) ((((((triple10) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple10) -> rule7)) -> rule4) ((((((triple10) -> rule7)) -> rule4) ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple10) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((((((triple10) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple10) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple10) -> rule7)) -> rule4) ((((((triple10) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple10) -> rule7)) -> rule4) ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((((((triple10) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7) triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2))]