The bald eagle is big. The bald eagle is young. The bald eagle needs the mouse. The mouse is big. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse needs the tiger. The mouse sees the bald eagle. The mouse sees the tiger. The tiger is big. The tiger is not cold. The tiger is green. The tiger is round. The tiger does not like the bald eagle. The tiger needs the mouse. The tiger sees the mouse. If something is round then it needs the bald eagle. If something likes the tiger and it likes the mouse then it does not like the bald eagle. Young things are round. If something is round then it needs the tiger. If something sees the mouse and the mouse sees the tiger then it is young. If something needs the tiger then the tiger is young. If the bald eagle likes the mouse and the mouse sees the tiger then the mouse sees the bald eagle. If the tiger needs the bald eagle and the tiger does not see the bald eagle then the bald eagle sees the mouse.
The mouse does not need the tiger.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse likes the bald eagle.[(triple5)] The mouse needs the bald eagle.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse sees the tiger.[(triple9)] The tiger does not like the bald eagle.[(triple14)] The tiger is big.[(triple10)] The tiger is green.[(triple12)] The tiger is not cold.[(triple11)] The tiger is round.[(triple13 OR ((((triple7) -> rule6)) -> rule3) OR ((((triple16 triple9) -> rule5)) -> rule3) OR ((((((((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule3))] The tiger needs the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The bald eagle is round.[(((triple2) -> rule3))] The tiger is young.[(((triple7) -> rule6) OR ((triple16 triple9) -> rule5) OR ((((triple13) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))] The tiger needs the bald eagle.[(((triple13) -> rule1) OR ((((((triple7) -> rule6)) -> rule3)) -> rule1) OR ((((((triple16 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule3)) -> rule1))] The tiger needs the tiger.[(((triple13) -> rule4) OR ((((((triple7) -> rule6)) -> rule3)) -> rule4) OR ((((((triple16 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((((((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule3)) -> rule4))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule3)) -> rule1))] The bald eagle needs the tiger.[(((((triple2) -> rule3)) -> rule4))]