The bald eagle sees the rabbit. The cow visits the rabbit. The rabbit needs the bald eagle. The tiger is kind. If something is big then it needs the rabbit. If something is big and it visits the tiger then it needs the bald eagle. If something visits the rabbit and the rabbit is big then it needs the tiger. If the tiger is big and the tiger visits the bald eagle then the bald eagle sees the cow. If the rabbit sees the cow and the cow sees the rabbit then the cow is big. If something needs the bald eagle and it visits the tiger then it sees the bald eagle. If something needs the tiger then it is big. If something is kind then it needs the tiger.
The tiger does not need the rabbit.
@0: The bald eagle sees the rabbit.[(triple1)] The cow visits the rabbit.[(triple2)] The rabbit needs the bald eagle.[(triple3)] The tiger is kind.[(triple4)] @1: The tiger needs the tiger.[(((triple4) -> rule8))] @2: The tiger is big.[(((((triple4) -> rule8)) -> rule7))] @3: The tiger needs the rabbit.[(((((((triple4) -> rule8)) -> rule7)) -> rule1))]