Anne is quiet. Fiona is cold. Gary is nice. If Gary is furry then Gary is quiet. If someone is round then they are big. If Anne is quiet then Anne is big. All round, blue people are quiet. If someone is big then they are quiet. If someone is blue and cold then they are round. Furry, blue people are nice. All cold, blue people are quiet.
Anne is big.
@0: Anne is quiet.[(triple1)] Fiona is cold.[(triple2)] Gary is nice.[(triple3)] @1: Anne is big.[(((triple1) -> rule3))]