Anne is quiet. Fiona is quiet. Gary is cold. Harry is cold. All rough, green people are furry. Cold people are quiet. All rough people are red. If Anne is furry then Anne is young. Green people are red. If someone is quiet and green then they are furry. If Fiona is green and Fiona is rough then Fiona is cold. Rough, quiet people are red.
Gary is cold.
@0: Anne is quiet.[(triple1)] Fiona is quiet.[(triple2)] Gary is cold.[(triple3)] Harry is cold.[(triple4)] @1: Gary is quiet.[(((triple3) -> rule2))] Harry is quiet.[(((triple4) -> rule2))]