The bald eagle is round. The bald eagle sees the rabbit. The bald eagle visits the cat. The cat is not green. The cat does not visit the mouse. The mouse is not green. The mouse sees the rabbit. The mouse does not visit the rabbit. The rabbit does not see the cat. The rabbit visits the cat. If something is red and it does not visit the bald eagle then the bald eagle is red. If something needs the bald eagle then the bald eagle needs the mouse. If the mouse sees the bald eagle then the bald eagle is round. If something sees the bald eagle then it is kind. If something visits the cat then the cat needs the rabbit. If the rabbit is kind then the rabbit needs the bald eagle. If something sees the mouse then the mouse is not big. If something needs the rabbit then the rabbit sees the bald eagle. If something needs the mouse then the mouse does not need the cat.
The mouse is kind.
@0: The bald eagle is round.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat does not visit the mouse.[(triple5)] The cat is not green.[(triple4)] The mouse does not visit the rabbit.[(triple8)] The mouse is not green.[(triple6)] The mouse sees the rabbit.[(triple7)] The rabbit does not see the cat.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The cat needs the rabbit.[(((triple10) -> rule5) OR ((triple3) -> rule5))] @2: The rabbit sees the bald eagle.[(((((triple10) -> rule5)) -> rule8) OR ((((triple3) -> rule5)) -> rule8))] @3: The rabbit is kind.[(((((((triple10) -> rule5)) -> rule8)) -> rule4) OR ((((((triple3) -> rule5)) -> rule8)) -> rule4))] @4: The rabbit needs the bald eagle.[(((((((((triple10) -> rule5)) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule8)) -> rule4)) -> rule6))] @5: The bald eagle needs the mouse.[(((((((((((triple10) -> rule5)) -> rule8)) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule5)) -> rule8)) -> rule4)) -> rule6)) -> rule2))] @6: The mouse does not need the cat.[(((((((((((((triple10) -> rule5)) -> rule8)) -> rule4)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((((triple3) -> rule5)) -> rule8)) -> rule4)) -> rule6)) -> rule2)) -> rule9))]