Bob is furry. Dave is big. Fiona is young. Gary is blue. All blue, furry things are cold. If something is kind then it is young. If something is blue then it is big. If Fiona is kind then Fiona is blue. Kind, young things are big. If Gary is young and Gary is white then Gary is kind. All young things are cold. If something is blue then it is white.
Dave is not cold.
@0: Bob is furry.[(triple1)] Dave is big.[(triple2)] Fiona is young.[(triple3)] Gary is blue.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule7))] Gary is big.[(((triple4) -> rule3))] Gary is white.[(((triple4) -> rule8))]