Anne is rough. Bob is round. Gary is cold. All nice people are round. All cold people are nice. If Gary is not nice then Gary is smart.
Anne is big.
@0: Anne is rough.[(triple1)] Bob is round.[(triple2)] Gary is cold.[(triple3)] @1: Gary is nice.[(((triple3) -> rule2))] @2: Gary is round.[(((((triple3) -> rule2)) -> rule1))]