Bob is cold. Bob is smart. Bob is young. Erin is round. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Gary is nice. Gary is young. Smart, quiet things are cold. All nice, cold things are red. All round, red things are smart.
Gary is quiet.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Erin is round.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Gary is nice.[(triple9)] Gary is young.[(triple10)] @1: Fiona is cold.[(((triple7 triple5) -> rule1))]