Anne is quiet. Anne is rough. Dave is big. Young, quiet people are rough. All rough people are young. Rough, cold people are kind. All kind, quiet people are big. All cold, kind people are young. If Dave is big then Dave is rough. All quiet people are nice. If Dave is kind and Dave is cold then Dave is big.
Dave is cold.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Dave is big.[(triple3)] @1: Anne is nice.[(((triple1) -> rule7))] Anne is young.[(((triple2) -> rule2))] Dave is rough.[(((triple3) -> rule6))] @2: Dave is young.[(((((triple3) -> rule6)) -> rule2))]