The mouse is big. The mouse is kind. The mouse is nice. All young, big things are cold. If something is big and nice then it is kind. All kind things are cold. If the mouse is kind and the mouse is cold then the mouse is young. If the mouse is young then the mouse is nice. If the mouse is big then the mouse is nice. If the mouse is young and the mouse is kind then the mouse is big. If something is kind then it is cold.
The mouse is not nice.
@0: The mouse is big.[(triple1 OR ((((triple2 ((triple2) -> rule3)) -> rule4) triple2) -> rule7) OR ((((triple2 ((triple2) -> rule8)) -> rule4) triple2) -> rule7))] The mouse is kind.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule2))] The mouse is nice.[(triple3 OR ((triple1) -> rule6) OR ((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((triple2 ((triple2) -> rule3)) -> rule4) triple2) -> rule7)) -> rule6) OR ((((((triple2 ((triple2) -> rule8)) -> rule4) triple2) -> rule7)) -> rule6))] @1: The mouse is cold.[(((triple2) -> rule3) OR ((triple2) -> rule8) OR ((((triple1 triple3) -> rule2)) -> rule3) OR ((((triple1 triple3) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))] @2: The mouse is young.[(((triple2 ((triple2) -> rule3)) -> rule4) OR ((triple2 ((triple2) -> rule8)) -> rule4) OR ((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule4) OR ((((triple1 triple3) -> rule2) ((triple2) -> rule8)) -> rule4) OR ((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule4) OR ((triple2 ((((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule2) ((triple2) -> rule3)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule2) ((triple2) -> rule8)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule8)) -> rule4) OR ((triple2 ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((triple2 ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule4) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule2) ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule2) ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule4))]