Anne is not round. Anne is smart. Dave is big. Dave is not quiet. Gary is quiet. Gary is round. Gary is smart. Gary is not young. Harry is not big. Harry is blue. Harry is cold. Harry is not quiet. Harry is not round. Harry is smart. Harry is young. If Anne is round and Anne is big then Anne is cold. If something is cold then it is young. If something is cold and not young then it is quiet.
Dave is smart.
@0: Anne is not round.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3)] Dave is not quiet.[(triple4)] Gary is not young.[(triple8)] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not big.[(triple9)] Harry is not quiet.[(triple12)] Harry is not round.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15 OR ((triple11) -> rule2))]