The bald eagle is blue. The bald eagle is green. The bald eagle sees the rabbit. The rabbit eats the bald eagle. The rabbit is big. The rabbit is round. The tiger is round. If something eats the tiger and the tiger eats the rabbit then the rabbit needs the tiger. If something is round then it eats the rabbit. If something needs the bald eagle and the bald eagle is blue then it needs the tiger. If something eats the bald eagle then it eats the tiger. If something sees the bald eagle then it needs the rabbit. If something needs the tiger then it is blue.
The rabbit does not eat the rabbit.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The rabbit eats the bald eagle.[(triple4)] The rabbit is big.[(triple5)] The rabbit is round.[(triple6)] The tiger is round.[(triple7)] @1: The rabbit eats the rabbit.[(((triple6) -> rule2))] The rabbit eats the tiger.[(((triple4) -> rule4))] The tiger eats the rabbit.[(((triple7) -> rule2))] @2: The rabbit needs the tiger.[(((((triple4) -> rule4) ((triple7) -> rule2)) -> rule1))] @3: The rabbit is blue.[(((((((triple4) -> rule4) ((triple7) -> rule2)) -> rule1)) -> rule6))]