Anne is smart. Charlie is big. Gary is big. If something is smart then it is furry. If something is cold and not smart then it is not rough. If something is big and furry then it is quiet. If something is cold and rough then it is white. Furry things are white. If something is rough then it is white.
Anne is not rough.
@0: Anne is smart.[(triple1)] Charlie is big.[(triple2)] Gary is big.[(triple3)] @1: Anne is furry.[(((triple1) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule5))]