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