The bald eagle is young. The bald eagle does not need the mouse. The bald eagle does not need the tiger. The bald eagle sees the dog. The bald eagle sees the mouse. The dog needs the bald eagle. The mouse is big. The tiger is cold. The tiger needs the mouse. The tiger sees the dog. The tiger visits the bald eagle. If something is kind then it sees the bald eagle. If something visits the bald eagle then the bald eagle is young. If something sees the dog then the dog is kind. If something sees the bald eagle and it is young then it is not cold. If something visits the tiger then the tiger is rough. If something is big then it is kind. If something is big and it sees the bald eagle then the bald eagle is big. If something needs the bald eagle and it needs the dog then it sees the tiger. If something visits the dog and it is not kind then the dog does not see the tiger.
The bald eagle does not see the tiger.
@0: The bald eagle does not need the mouse.[(triple2)] The bald eagle does not need the tiger.[(triple3)] The bald eagle is young.[(triple1 OR ((triple11) -> rule2))] The bald eagle sees the dog.[(triple4)] The bald eagle sees the mouse.[(triple5)] The dog needs the bald eagle.[(triple6)] The mouse is big.[(triple7)] The tiger is cold.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the dog.[(triple10)] The tiger visits the bald eagle.[(triple11)] @1: The dog is kind.[(((triple10) -> rule3) OR ((triple4) -> rule3))] The mouse is kind.[(((triple7) -> rule6))] @2: The dog sees the bald eagle.[(((((triple10) -> rule3)) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] The mouse sees the bald eagle.[(((((triple7) -> rule6)) -> rule1))] @3: The bald eagle is big.[(((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule7))] @4: The bald eagle is kind.[(((((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule7)) -> rule6))] @5: The bald eagle sees the bald eagle.[(((((((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule7)) -> rule6)) -> rule1))] @6: The bald eagle is not cold.[(((((((((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule7)) -> rule6)) -> rule1) triple1) -> rule4) OR ((((((((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule7)) -> rule6)) -> rule1) ((triple11) -> rule2)) -> rule4))]