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