Anne is cold. Charlie is big. Gary is nice. Green people are furry. All furry people are green. If someone is cold and big then they are green. If Gary is nice and Gary is white then Gary is green. If someone is nice then they are white. If Gary is nice and Gary is not white then Gary is quiet.
Gary is not big.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Gary is nice.[(triple3)] @1: Gary is white.[(((triple3) -> rule5))] @2: Gary is green.[(((triple3 ((triple3) -> rule5)) -> rule4))] @3: Gary is furry.[(((((triple3 ((triple3) -> rule5)) -> rule4)) -> rule1))]