Charlie is not blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is white. Harry is not blue. Harry is kind. Harry is not nice. Harry is quiet. Harry is round. Harry is white. If someone is quiet and not nice then they are not blue.
Harry is not rough.
@0: Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Harry is kind.[(triple8)] Harry is not blue.[(triple7 OR ((triple10 triple9) -> rule1))] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]