Dave is cold. Fiona is rough. Gary is cold. Gary is green. Gary is not smart. Harry is not green. Harry is rough. If Fiona is smart then Fiona is cold. Green, cold people are not blue. If Harry is not green then Harry is smart. All blue people are cold. Blue people are kind. All green, kind people are furry. Rough, blue people are furry. If Fiona is blue and Fiona is not cold then Fiona is rough.
Dave is green.
@0: Dave is cold.[(triple1)] Fiona is rough.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4)] Gary is not smart.[(triple5)] Harry is not green.[(triple6)] Harry is rough.[(triple7)] @1: Gary is not blue.[(((triple4 triple3) -> rule2))] Harry is smart.[(((triple6) -> rule3))]