Charlie is blue. Charlie is not young. Dave is big. Dave is kind. Dave is quiet. Dave is young. Harry is not blue. Harry is furry. Harry is not quiet. Harry is young. If Charlie is quiet then Charlie is furry. All furry people are cold. If Dave is big then Dave is blue. If someone is quiet and not furry then they are big. If someone is big and not blue then they are kind. If someone is cold then they are kind.
Charlie is quiet.
@0: Charlie is blue.[(triple1)] Charlie is not young.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is young.[(triple6)] Harry is furry.[(triple8)] Harry is not blue.[(triple7)] Harry is not quiet.[(triple9)] Harry is young.[(triple10)] @1: Dave is blue.[(((triple3) -> rule3))] Harry is cold.[(((triple8) -> rule2))] @2: Harry is kind.[(((((triple8) -> rule2)) -> rule6))]