Charlie is not white. Dave is cold. Fiona is blue. Rough, furry things are white. All cold, white things are furry. All blue things are furry. White, cold things are not red. All blue things are rough. If Fiona is furry then Fiona is cold.
Dave is furry.
@0: Charlie is not white.[(triple1)] Dave is cold.[(triple2)] Fiona is blue.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule3))] Fiona is rough.[(((triple3) -> rule5))] @2: Fiona is cold.[(((((triple3) -> rule3)) -> rule6))] Fiona is white.[(((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1))] @3: Fiona is not red.[(((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule4))]