Dave is kind. Dave is quiet. Dave is red. Dave is not round. Dave is smart. Gary is cold. Gary is green. Gary is quiet. Gary is red. Gary is round. Gary is not smart. Harry is not cold. Harry is green. Harry is not kind. Harry is red. Harry is round. All green people are quiet. If someone is cold then they are round. If someone is cold and not round then they are red. If Harry is red and Harry is cold then Harry is smart. Quiet, cold people are kind. If Dave is red then Dave is quiet.
Harry is not smart.
@0: Dave is kind.[(triple1)] Dave is not round.[(triple4)] Dave is quiet.[(triple2 OR ((triple3) -> rule6))] Dave is red.[(triple3)] Dave is smart.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is not smart.[(triple11)] Gary is quiet.[(triple8 OR ((triple7) -> rule1))] Gary is red.[(triple9)] Gary is round.[(triple10 OR ((triple6) -> rule2))] Harry is green.[(triple13)] Harry is not cold.[(triple12)] Harry is not kind.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Gary is kind.[(((triple8 triple6) -> rule5) OR ((((triple7) -> rule1) triple6) -> rule5))] Harry is quiet.[(((triple13) -> rule1))]