Bob is cold. Charlie is not cold. Charlie is kind. Charlie is not quiet. Charlie is not white. Harry is not big. Harry is kind. Harry is quiet. Harry is red. Harry is not white. Red, big people are not white. Smart people are big. If Harry is not cold then Harry is red. If Charlie is kind and Charlie is white then Charlie is big. If someone is big and not red then they are quiet. Cold people are quiet.
Harry is kind.
@0: Bob is cold.[(triple1)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not quiet.[(triple4)] Charlie is not white.[(triple5)] Harry is kind.[(triple7)] Harry is not big.[(triple6)] Harry is not white.[(triple10)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] @1: Bob is quiet.[(((triple1) -> rule6))]