Dave is furry. Dave is green. Dave is rough. Dave is smart. Dave is not young. Gary is cold. Gary is not furry. Gary is green. Gary is quiet. Gary is rough. Gary is not smart. Gary is young. Harry is furry. Harry is green. Harry is not smart. Harry is young. Young things are cold. If Harry is cold and Harry is green then Harry is furry. All cold things are rough.
Harry is rough.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is not young.[(triple5)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Gary is cold.[(triple6 OR ((triple12) -> rule1))] Gary is green.[(triple8)] Gary is not furry.[(triple7)] Gary is not smart.[(triple11)] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((triple6) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] Gary is young.[(triple12)] Harry is furry.[(triple13 OR ((((triple16) -> rule1) triple14) -> rule2))] Harry is green.[(triple14)] Harry is not smart.[(triple15)] Harry is young.[(triple16)] @1: Harry is cold.[(((triple16) -> rule1))] @2: Harry is rough.[(((((triple16) -> rule1)) -> rule3))]