Charlie is blue. Charlie is not cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Dave is not big. Dave is cold. Dave is kind. Dave is not quiet. Dave is rough. Dave is white. Harry is blue. Harry is cold. Harry is kind. Harry is not white. Cold, rough people are not big.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple2)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is not big.[(triple7 OR ((triple8 triple11) -> rule1))] Dave is not quiet.[(triple10)] Dave is rough.[(triple11)] Dave is white.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)] Harry is not white.[(triple16)]