Anne is cold. Bob is cold. Bob is quiet. Bob is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is round. Harry is blue. Harry is not cold. Harry is furry. Harry is not kind. Harry is quiet. Harry is round. Harry is white. If something is quiet and cold then it is not kind. If something is furry and not quiet then it is cold. All round, quiet things are not cold. If something is kind and quiet then it is cold. If something is kind then it is white. If Charlie is blue then Charlie is kind.
Charlie is quiet.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is round.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple11)] Harry is not cold.[(triple10 OR ((triple14 triple13) -> rule3))] Harry is not kind.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Bob is not kind.[(((triple3 triple2) -> rule1))] Charlie is kind.[(((triple5) -> rule6))] @2: Charlie is white.[(((((triple5) -> rule6)) -> rule5))]