Dave is cold. Dave is green. Dave is kind. Dave is not rough. Dave is round. Dave is white. Gary is green. Gary is kind. Gary is round. Gary is not white. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is not rough. Harry is round. White things are green.
Gary is not cold.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2 OR ((triple6) -> rule1))] Dave is kind.[(triple3)] Dave is not rough.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is not white.[(triple10)] Gary is round.[(triple9)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is not rough.[(triple15)] Harry is round.[(triple16)]