Anne is quiet. Dave is nice. Erin is young. Fiona is nice. If someone is nice then they are cold. Furry people are nice. If someone is furry and green then they are cold. All red people are green. If Anne is nice and Anne is furry then Anne is green. If Dave is nice then Dave is red.
Fiona is young.
@0: Anne is quiet.[(triple1)] Dave is nice.[(triple2)] Erin is young.[(triple3)] Fiona is nice.[(triple4)] @1: Dave is cold.[(((triple2) -> rule1))] Dave is red.[(((triple2) -> rule6))] Fiona is cold.[(((triple4) -> rule1))] @2: Dave is green.[(((((triple2) -> rule6)) -> rule4))]