Anne is furry. Bob is not cold. Bob is furry. Bob is green. Bob is not kind. Bob is round. Fiona is round. Fiona is not white. Harry is blue. Harry is not cold. Harry is green. Harry is white. Cold people are green. Round people are green. If someone is cold and not kind then they are blue. If Fiona is kind and Fiona is round then Fiona is white. Kind, green people are cold. If someone is round and not cold then they are not white.
Bob is not blue.
@0: Anne is furry.[(triple1)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple6) -> rule2))] Bob is not cold.[(triple2)] Bob is not kind.[(triple5)] Bob is round.[(triple6)] Fiona is not white.[(triple8)] Fiona is round.[(triple7)] Harry is blue.[(triple9)] Harry is green.[(triple11)] Harry is not cold.[(triple10)] Harry is white.[(triple12)] @1: Bob is not white.[(((triple6 triple2) -> rule6))] Fiona is green.[(((triple7) -> rule2))]