Charlie is quiet. Dave is young. Erin is cold. Fiona is cold. Cold people are young. All young people are nice. Quiet people are nice. If Erin is young and Erin is not cold then Erin is nice. If Dave is blue then Dave is not white. All cold, nice people are blue. All nice, white people are blue. All cold, white people are quiet.
Erin is nice.
@0: Charlie is quiet.[(triple1)] Dave is young.[(triple2)] Erin is cold.[(triple3)] Fiona is cold.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule3))] Dave is nice.[(((triple2) -> rule2))] Erin is young.[(((triple3) -> rule1))] Fiona is young.[(((triple4) -> rule1))] @2: Erin is nice.[(((((triple3) -> rule1)) -> rule2))] Fiona is nice.[(((((triple4) -> rule1)) -> rule2))] @3: Erin is blue.[(((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule6))] Fiona is blue.[(((triple4 ((((triple4) -> rule1)) -> rule2)) -> rule6))]