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