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