The mouse is big. The mouse is nice. The mouse is round. If someone is cold and round then they are nice. If the mouse is kind and the mouse is big then the mouse is cold. If someone is kind and cold then they are round. If the mouse is nice then the mouse is big. Kind, big people are cold. If the mouse is round then the mouse is kind. Kind people are nice. All big, kind people are nice.
The mouse does not eat the mouse.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule4) OR ((((((triple3) -> rule6)) -> rule7)) -> rule4))] The mouse is nice.[(triple2 OR ((((triple3) -> rule6)) -> rule7) OR ((triple1 ((triple3) -> rule6)) -> rule8) OR ((((((triple3) -> rule6) triple1) -> rule2) triple3) -> rule1) OR ((((((triple3) -> rule6) triple1) -> rule5) triple3) -> rule1))] The mouse is round.[(triple3)] @1: The mouse is kind.[(((triple3) -> rule6))] @2: The mouse is cold.[(((((triple3) -> rule6) triple1) -> rule2) OR ((((triple3) -> rule6) triple1) -> rule5) OR ((((triple3) -> rule6) ((triple2) -> rule4)) -> rule2) OR ((((triple3) -> rule6) ((triple2) -> rule4)) -> rule5) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule2) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule5))]