Dave is rough. Gary is cold. Harry is young. If Gary is young and Gary is not green then Gary is quiet. Rough, big people are cold. Round, green people are cold. If Dave is rough then Dave is round. Green people are rough. If someone is green and big then they are quiet. Cold people are big. If Harry is young and Harry is not rough then Harry is quiet.
Dave is not rough.
@0: Dave is rough.[(triple1)] Gary is cold.[(triple2)] Harry is young.[(triple3)] @1: Dave is round.[(((triple1) -> rule4))] Gary is big.[(((triple2) -> rule7))]