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