Bob is not blue. Bob is quiet. Bob is round. Charlie is rough. Dave is blue. Dave is nice. Harry is quiet. If someone is blue and cold then they are round. If someone is round and not blue then they are not cold.
Charlie is not round.
@0: Bob is not blue.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Charlie is rough.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is not cold.[(((triple3 triple1) -> rule2))]