The bald eagle visits the mouse. The bear is round. The bear visits the bald eagle. The bear visits the rabbit. The mouse likes the bear. The mouse does not need the rabbit. The rabbit visits the bald eagle. If someone likes the rabbit then the rabbit visits the mouse. If someone needs the rabbit and the rabbit is red then the rabbit is young. If someone is young then they visit the bald eagle. If someone is nice then they are kind. If someone visits the rabbit then they are nice. If someone likes the bear then they are not nice. If someone likes the rabbit and they need the rabbit then they are young. If someone visits the bald eagle then they visit the rabbit.
The mouse does not visit the rabbit.
@0: The bald eagle visits the mouse.[(triple1)] The bear is round.[(triple2)] The bear visits the bald eagle.[(triple3)] The bear visits the rabbit.[(triple4 OR ((triple3) -> rule8))] The mouse does not need the rabbit.[(triple6)] The mouse likes the bear.[(triple5)] The rabbit visits the bald eagle.[(triple7)] @1: The bear is nice.[(((triple4) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] The mouse is not nice.[(((triple5) -> rule6))] The rabbit visits the rabbit.[(((triple7) -> rule8))] @2: The bear is kind.[(((((triple4) -> rule5)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5)) -> rule4))] The rabbit is nice.[(((((triple7) -> rule8)) -> rule5))] @3: The rabbit is kind.[(((((((triple7) -> rule8)) -> rule5)) -> rule4))]