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