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