The bald eagle is round. The bald eagle likes the mouse. The bald eagle likes the rabbit. The bald eagle needs the mouse. The bald eagle does not see the mouse. The mouse needs the bald eagle. The rabbit is blue. The rabbit is not green. The rabbit is red. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the mouse. The rabbit needs the bald eagle. The rabbit needs the mouse. The rabbit sees the bald eagle. The rabbit sees the mouse. If something sees the mouse then it needs the rabbit. If something likes the rabbit and it sees the bald eagle then the bald eagle needs the rabbit. If something needs the rabbit and it likes the bald eagle then the bald eagle is blue. If something is rough and it does not see the mouse then it does not need the bald eagle. If something is blue then it sees the rabbit. If something likes the mouse then it is round.
The mouse is not round.
@0: The bald eagle does not see the mouse.[(triple5)] The bald eagle is round.[(triple1 OR ((triple2) -> rule6))] The bald eagle likes the mouse.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the mouse.[(triple4)] The mouse needs the bald eagle.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is not green.[(triple8)] The rabbit is red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the mouse.[(triple12)] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the bald eagle.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The rabbit is round.[(((triple12) -> rule6))] The rabbit needs the rabbit.[(((triple16) -> rule1))] The rabbit sees the rabbit.[(((triple7) -> rule5))] @2: The bald eagle is blue.[(((((triple16) -> rule1) triple11) -> rule3))] @3: The bald eagle sees the rabbit.[(((((((triple16) -> rule1) triple11) -> rule3)) -> rule5))]