Charlie is quiet. Dave is big. Gary is rough. Harry is rough. All cold people are smart. If Gary is round then Gary is cold. Round, rough people are big. If someone is furry and smart then they are quiet. If Dave is rough and Dave is cold then Dave is furry. Big people are cold.
Gary is round.
@0: Charlie is quiet.[(triple1)] Dave is big.[(triple2)] Gary is rough.[(triple3)] Harry is rough.[(triple4)] @1: Dave is cold.[(((triple2) -> rule6))] @2: Dave is smart.[(((((triple2) -> rule6)) -> rule1))]