Anne is kind. Erin is round. Fiona is round. Gary is not furry. If someone is young then they are white. If someone is kind and nice then they are blue. If Gary is not furry then Gary is nice.
Erin is kind.
@0: Anne is kind.[(triple1)] Erin is round.[(triple2)] Fiona is round.[(triple3)] Gary is not furry.[(triple4)] @1: Gary is nice.[(((triple4) -> rule3))]