The mouse is cold. The mouse is green. The mouse is young. Green people are round. All green people are round. If the mouse is young and the mouse is round then the mouse is big. If someone is cold and not round then they are big. If someone is big and not round then they are cold. If someone is big and not green then they are cold.
The mouse is not green.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is round.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: The mouse is big.[(((triple3 ((triple2) -> rule1)) -> rule3) OR ((triple3 ((triple2) -> rule2)) -> rule3))]