The bald eagle is cold. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The mouse sees the rabbit. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the squirrel. The rabbit sees the mouse. The rabbit sees the squirrel. The rabbit visits the mouse. The squirrel is young. The squirrel sees the mouse. The squirrel visits the bald eagle. If someone visits the squirrel and the squirrel likes the bald eagle then the squirrel is round. All round people are cold. If someone likes the mouse then the mouse is round. If someone is young then they like the mouse. If someone visits the rabbit then they like the squirrel. All round people are young. All cold people are green. If someone likes the mouse then they like the squirrel. If someone sees the mouse and they visit the squirrel then the squirrel likes the rabbit.
The rabbit visits the mouse.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit is red.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8 OR ((triple7) -> rule6))] The rabbit likes the bald eagle.[(triple9)] The rabbit likes the squirrel.[(triple10 OR ((((triple8) -> rule4)) -> rule8) OR ((((((triple7) -> rule6)) -> rule4)) -> rule8))] The rabbit sees the mouse.[(triple11)] The rabbit sees the squirrel.[(triple12)] The rabbit visits the mouse.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the mouse.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle is green.[(((triple1) -> rule7))] The rabbit is cold.[(((triple7) -> rule2))] The rabbit likes the mouse.[(((triple8) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] The squirrel likes the mouse.[(((triple14) -> rule4))] @2: The mouse is round.[(((((triple14) -> rule4)) -> rule3) OR ((((triple8) -> rule4)) -> rule3) OR ((((((triple7) -> rule6)) -> rule4)) -> rule3))] The rabbit is green.[(((((triple7) -> rule2)) -> rule7))] The squirrel likes the squirrel.[(((((triple14) -> rule4)) -> rule8))] @3: The mouse is cold.[(((((((triple14) -> rule4)) -> rule3)) -> rule2) OR ((((((triple8) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7) -> rule6)) -> rule4)) -> rule3)) -> rule2))] The mouse is young.[(((((((triple14) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule6)) -> rule4)) -> rule3)) -> rule6))] @4: The mouse is green.[(((((((((triple14) -> rule4)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule3)) -> rule2)) -> rule7) OR ((((((((((triple7) -> rule6)) -> rule4)) -> rule3)) -> rule2)) -> rule7))] The mouse likes the mouse.[(((((((((triple14) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4))] @5: The mouse likes the squirrel.[(((((((((((triple14) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule8) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule8) OR ((((((((((((triple7) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule8))]