Charlie is furry. Fiona is kind. Gary is rough. Harry is furry. Rough people are nice. All nice, blue people are white. All kind, nice people are white. If Fiona is blue and Fiona is young then Fiona is nice. Furry people are young. Rough, white people are furry.
Fiona is kind.
@0: Charlie is furry.[(triple1)] Fiona is kind.[(triple2)] Gary is rough.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is young.[(((triple1) -> rule5))] Gary is nice.[(((triple3) -> rule1))] Harry is young.[(((triple4) -> rule5))]