The bald eagle is blue. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle visits the mouse. The mouse is red. The mouse likes the bald eagle. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit is blue. The rabbit is red. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the mouse. The rabbit visits the bald eagle. The rabbit visits the mouse. If something eats the rabbit then it is nice. If something likes the bald eagle and the bald eagle eats the mouse then the mouse eats the rabbit. If something eats the rabbit then the rabbit visits the bald eagle. If something is nice and red then it eats the mouse. If the mouse is round and the mouse visits the bald eagle then the mouse visits the rabbit. If something likes the bald eagle then the bald eagle eats the mouse.
The mouse is round.
@0: The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle visits the mouse.[(triple4)] The mouse is red.[(triple5)] The mouse likes the bald eagle.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is red.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the bald eagle.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit visits the bald eagle.[(triple14 OR ((((triple12 ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((((triple12 ((triple6) -> rule6)) -> rule2)) -> rule3) OR ((((triple6 ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((((triple6 ((triple6) -> rule6)) -> rule2)) -> rule3))] The rabbit visits the mouse.[(triple15)] @1: The bald eagle eats the mouse.[(((triple12) -> rule6) OR ((triple6) -> rule6))] @2: The mouse eats the rabbit.[(((triple12 ((triple12) -> rule6)) -> rule2) OR ((triple12 ((triple6) -> rule6)) -> rule2) OR ((triple6 ((triple12) -> rule6)) -> rule2) OR ((triple6 ((triple6) -> rule6)) -> rule2))] @3: The mouse is nice.[(((((triple12 ((triple12) -> rule6)) -> rule2)) -> rule1) OR ((((triple12 ((triple6) -> rule6)) -> rule2)) -> rule1) OR ((((triple6 ((triple12) -> rule6)) -> rule2)) -> rule1) OR ((((triple6 ((triple6) -> rule6)) -> rule2)) -> rule1))] @4: The mouse eats the mouse.[(((((((triple12 ((triple12) -> rule6)) -> rule2)) -> rule1) triple5) -> rule4) OR ((((((triple12 ((triple6) -> rule6)) -> rule2)) -> rule1) triple5) -> rule4) OR ((((((triple6 ((triple12) -> rule6)) -> rule2)) -> rule1) triple5) -> rule4) OR ((((((triple6 ((triple6) -> rule6)) -> rule2)) -> rule1) triple5) -> rule4))]