Anne is blue. Dave is furry. Dave is nice. Dave is quiet. Fiona is cold. Fiona is nice. Gary is white. If Dave is cold then Dave is blue. If Gary is red then Gary is cold. If someone is cold then they are blue. All red, cold people are furry. All blue, furry people are quiet. If someone is blue and cold then they are furry.
Fiona is blue.
@0: Anne is blue.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Gary is white.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule3))] @2: Fiona is furry.[(((((triple5) -> rule3) triple5) -> rule6))] @3: Fiona is quiet.[(((((triple5) -> rule3) ((((triple5) -> rule3) triple5) -> rule6)) -> rule5))]