Dave is rough. Erin is smart. Gary is quiet. Harry is rough. Furry, quiet people are green. If someone is green then they are not quiet. All green people are quiet. If Erin is blue and Erin is not smart then Erin is rough. If Erin is rough then Erin is blue. Blue people are kind. Quiet people are not furry. If Gary is not furry then Gary is not kind.
Erin is not quiet.
@0: Dave is rough.[(triple1)] Erin is smart.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Gary is not furry.[(((triple3) -> rule7))] @2: Gary is not kind.[(((((triple3) -> rule7)) -> rule8))]