Dave is not rough. Gary is young. Cold people are round. If someone is young then they are cold. Cold people are young. If Gary is not kind then Gary is young. If Gary is cold and Gary is round then Gary is not rough. If Gary is not young then Gary is not round.
Dave is big.
@0: Dave is not rough.[(triple1)] Gary is young.[(triple2)] @1: Gary is cold.[(((triple2) -> rule2))] @2: Gary is round.[(((((triple2) -> rule2)) -> rule1))] @3: Gary is not rough.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule5))]