The bald eagle eats the mouse. The bald eagle is blue. The lion is red. The lion needs the bald eagle. The lion needs the rabbit. The mouse eats the lion. The mouse visits the lion. The mouse visits the rabbit. The rabbit eats the bald eagle. The rabbit is red. The rabbit is round. The rabbit needs the bald eagle. If something is round and it needs the rabbit then the rabbit is big. If something is big then it needs the rabbit. If something visits the lion then the lion is green. If something is green then it is round. If something needs the bald eagle and the bald eagle needs the lion then it needs the lion. If something needs the mouse and the mouse needs the rabbit then the rabbit is blue. If something visits the bald eagle then it needs the lion. If something needs the rabbit then it visits the bald eagle.
The lion is round.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The lion is red.[(triple3)] The lion needs the bald eagle.[(triple4)] The lion needs the rabbit.[(triple5)] The mouse eats the lion.[(triple6)] The mouse visits the lion.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit is red.[(triple10)] The rabbit is round.[(triple11)] The rabbit needs the bald eagle.[(triple12)] @1: The lion is green.[(((triple7) -> rule3))] The lion visits the bald eagle.[(((triple5) -> rule8))] @2: The lion is round.[(((((triple7) -> rule3)) -> rule4))] The lion needs the lion.[(((((triple5) -> rule8)) -> rule7))] @3: The rabbit is big.[(((((((triple7) -> rule3)) -> rule4) triple5) -> rule1))] @4: The rabbit needs the rabbit.[(((((((((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule2))] @5: The rabbit visits the bald eagle.[(((((((((((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule2)) -> rule8))] @6: The rabbit needs the lion.[(((((((((((((triple7) -> rule3)) -> rule4) triple5) -> rule1)) -> rule2)) -> rule8)) -> rule7))]