The bald eagle likes the dog. The bald eagle needs the lion. The bald eagle visits the dog. The bald eagle visits the lion. The dog is cold. The dog is not nice. The dog does not like the lion. The dog visits the lion. The dog visits the mouse. The lion likes the bald eagle. The lion visits the bald eagle. The lion visits the dog. The mouse likes the lion. The mouse does not visit the lion. If something is round then it visits the mouse. If something visits the mouse then it is cold. If something visits the dog and the dog needs the lion then the lion is round. If something is cold then it needs the lion. If the mouse does not visit the dog then the dog is green.
The lion is round.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle visits the dog.[(triple3)] The bald eagle visits the lion.[(triple4)] The dog does not like the lion.[(triple7)] The dog is cold.[(triple5 OR ((triple9) -> rule2))] The dog is not nice.[(triple6)] The dog visits the lion.[(triple8)] The dog visits the mouse.[(triple9)] The lion likes the bald eagle.[(triple10)] The lion visits the bald eagle.[(triple11)] The lion visits the dog.[(triple12)] The mouse does not visit the lion.[(triple14)] The mouse likes the lion.[(triple13)] @1: The dog needs the lion.[(((triple5) -> rule4) OR ((((triple9) -> rule2)) -> rule4))] @2: The lion is round.[(((triple12 ((triple5) -> rule4)) -> rule3) OR ((triple3 ((triple5) -> rule4)) -> rule3) OR ((triple12 ((((triple9) -> rule2)) -> rule4)) -> rule3) OR ((triple3 ((((triple9) -> rule2)) -> rule4)) -> rule3))] @3: The lion visits the mouse.[(((((triple12 ((triple5) -> rule4)) -> rule3)) -> rule1) OR ((((triple3 ((triple5) -> rule4)) -> rule3)) -> rule1) OR ((((triple12 ((((triple9) -> rule2)) -> rule4)) -> rule3)) -> rule1) OR ((((triple3 ((((triple9) -> rule2)) -> rule4)) -> rule3)) -> rule1))] @4: The lion is cold.[(((((((triple12 ((triple5) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((((triple3 ((triple5) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((((triple12 ((((triple9) -> rule2)) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((((triple3 ((((triple9) -> rule2)) -> rule4)) -> rule3)) -> rule1)) -> rule2))] @5: The lion needs the lion.[(((((((((triple12 ((triple5) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple3 ((triple5) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple3 ((((triple9) -> rule2)) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4))]