Anne is furry. Charlie is furry. Fiona is cold. All cold, furry things are blue. If something is big then it is kind. Kind things are blue. All furry things are kind. If something is round and cold then it is big. All blue, kind things are cold.
Charlie is not cold.
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is kind.[(((triple1) -> rule4))] Charlie is kind.[(((triple2) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule4)) -> rule3))] Charlie is blue.[(((((triple2) -> rule4)) -> rule3))] @3: Anne is cold.[(((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule6))] Charlie is cold.[(((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule6))]