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