Anne is smart. Gary is big. If something is smart and not nice then it is rough. If something is young then it is rough. If Gary is nice and Gary is young then Gary is cold. Big things are young. All rough things are smart. Red things are not smart. If something is nice and young then it is not red. If Anne is rough and Anne is not nice then Anne is cold.
Gary is not big.
@0: Anne is smart.[(triple1)] Gary is big.[(triple2)] @1: Gary is young.[(((triple2) -> rule4))] @2: Gary is rough.[(((((triple2) -> rule4)) -> rule2))] @3: Gary is smart.[(((((((triple2) -> rule4)) -> rule2)) -> rule5))]