The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle needs the mouse. The bald eagle sees the mouse. The bald eagle visits the mouse. The mouse is cold. The mouse is green. The mouse is kind. The mouse is red. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone is round then they see the bald eagle. If someone visits the bald eagle then the bald eagle sees the mouse. If someone needs the bald eagle then the bald eagle sees the mouse. If someone is cold then they see the mouse. If someone visits the mouse and they need the bald eagle then they are kind. If someone needs the mouse then they are round. If someone needs the bald eagle and they see the mouse then they need the mouse. If someone visits the mouse and they see the bald eagle then the mouse needs the bald eagle.
The bald eagle is cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3 OR ((triple4) -> rule6))] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the mouse.[(triple5 OR ((triple1) -> rule4) OR ((triple11) -> rule3) OR ((triple12) -> rule2) OR ((((triple6 ((triple3) -> rule1)) -> rule8)) -> rule3) OR ((((triple6 ((((triple4) -> rule6)) -> rule1)) -> rule8)) -> rule3))] The bald eagle visits the mouse.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse is red.[(triple10)] The mouse needs the bald eagle.[(triple11 OR ((triple6 ((triple3) -> rule1)) -> rule8) OR ((triple6 ((((triple4) -> rule6)) -> rule1)) -> rule8))] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] The mouse sees the mouse.[(((triple7) -> rule4))] @2: The mouse needs the mouse.[(((triple11 ((triple7) -> rule4)) -> rule7) OR ((((triple6 ((triple3) -> rule1)) -> rule8) ((triple7) -> rule4)) -> rule7) OR ((((triple6 ((((triple4) -> rule6)) -> rule1)) -> rule8) ((triple7) -> rule4)) -> rule7))] @3: The mouse is round.[(((((triple11 ((triple7) -> rule4)) -> rule7)) -> rule6) OR ((((((triple6 ((triple3) -> rule1)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule6) OR ((((((triple6 ((((triple4) -> rule6)) -> rule1)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule6))] @4: The mouse sees the bald eagle.[(((((((triple11 ((triple7) -> rule4)) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple6 ((triple3) -> rule1)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple6 ((((triple4) -> rule6)) -> rule1)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule6)) -> rule1))]