Charlie is cold. Charlie is furry. Erin is cold. Erin is white. Gary is blue. Harry is blue. Harry is furry. All cold things are rough. If Erin is blue and Erin is not furry then Erin is young.
Harry is rough.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3)] Erin is white.[(triple4)] Gary is blue.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule1))] Erin is rough.[(((triple3) -> rule1))]