Charlie is white. Erin is furry. Harry is not rough. All rough, red things are not big. All white things are big. If Erin is big then Erin is nice. All furry things are not cold. If Erin is rough then Erin is not white. If something is white and not cold then it is nice.
Harry is cold.
@0: Charlie is white.[(triple1)] Erin is furry.[(triple2)] Harry is not rough.[(triple3)] @1: Charlie is big.[(((triple1) -> rule2))] Erin is not cold.[(((triple2) -> rule4))]