Anne is nice. Bob is green. Fiona is kind. Gary is quiet. If Fiona is quiet and Fiona is nice then Fiona is young. Young people are white. All nice people are green.
Fiona is kind.
@0: Anne is nice.[(triple1)] Bob is green.[(triple2)] Fiona is kind.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is green.[(((triple1) -> rule3))]