Anne is nice. Anne is red. Gary is red. If Gary is cold and Gary is nice then Gary is rough. All furry things are big. If something is big then it is rough. Quiet, cold things are rough. All big, rough things are cold. If something is rough then it is nice. All nice things are big. All big things are furry.
Gary is quiet.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Gary is red.[(triple3)] @1: Anne is big.[(((triple1) -> rule7))] @2: Anne is furry.[(((((triple1) -> rule7)) -> rule8))] Anne is rough.[(((((triple1) -> rule7)) -> rule3))] @3: Anne is cold.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule5))]