Erin is round. Fiona is quiet. Gary is nice. Harry is not cold. Young, big people are kind. If someone is kind then they are young. If Fiona is big then Fiona is not kind. Young people are nice. If someone is quiet then they are nice. If someone is round and not kind then they are nice.
Fiona is young.
@0: Erin is round.[(triple1)] Fiona is quiet.[(triple2)] Gary is nice.[(triple3)] Harry is not cold.[(triple4)] @1: Fiona is nice.[(((triple2) -> rule5))]