Dave is cold. Dave is round. Dave is young. Erin is cold. Erin is round. Erin is smart. Erin is young. Harry is quiet. Harry is round. Harry is smart. All quiet, round things are blue.
Harry is blue.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Harry is blue.[(((triple8 triple9) -> rule1))]