Bob is cold. Charlie is cold. Erin is green. Harry is nice. If someone is quiet and cold then they are red. All red people are green. Young, cold people are quiet. Cold people are rough. All red people are nice. Young, quiet people are nice. If Erin is quiet and Erin is red then Erin is cold. Quiet, rough people are cold.
Erin is young.
@0: Bob is cold.[(triple1)] Charlie is cold.[(triple2)] Erin is green.[(triple3)] Harry is nice.[(triple4)] @1: Bob is rough.[(((triple1) -> rule4))] Charlie is rough.[(((triple2) -> rule4))]