The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle likes the rabbit. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the bald eagle. The rabbit needs the bald eagle. The rabbit visits the bald eagle. If someone is blue then they like the bald eagle. If someone is red and they visit the rabbit then the rabbit is big. If the bald eagle visits the rabbit then the bald eagle likes the rabbit. If someone is nice and big then they like the rabbit. If someone likes the rabbit then the rabbit is red. If someone likes the rabbit and they are nice then they visit the rabbit. If someone visits the bald eagle and the bald eagle is green then the bald eagle is nice. If someone likes the bald eagle then the bald eagle is big.
The bald eagle does not need the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple13) -> rule8) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple9) -> rule1)) -> rule8))] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4 OR ((triple15 triple3) -> rule7))] The bald eagle is red.[(triple5)] The bald eagle likes the rabbit.[(triple6 OR ((triple8) -> rule3) OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple13) -> rule8)) -> rule4) OR ((((triple15 triple3) -> rule7) triple1) -> rule4) OR ((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) OR ((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) OR ((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4))] The bald eagle needs the rabbit.[(triple7)] The bald eagle visits the rabbit.[(triple8 OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 triple1) -> rule4) triple4) -> rule6) OR ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6) OR ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6))] The rabbit is blue.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12 OR ((triple6) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule4)) -> rule5) OR ((((triple11 ((triple5 triple8) -> rule2)) -> rule4)) -> rule5) OR ((((triple4 ((triple13) -> rule8)) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) triple1) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5))] The rabbit likes the bald eagle.[(triple13 OR ((triple9) -> rule1))] The rabbit needs the bald eagle.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule1))] The rabbit is big.[(((triple5 triple8) -> rule2) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule2) OR ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2))] @2: The rabbit likes the rabbit.[(((triple11 ((triple5 triple8) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4))] @3: The rabbit visits the rabbit.[(((((triple11 ((triple5 triple8) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6))]