Charlie is cold. Dave is white. Erin is rough. Harry is cold. White things are red. All furry things are rough. If something is cold then it is rough. If Erin is not kind then Erin is cold. If something is red then it is cold. All rough, kind things are not nice. All rough, kind things are nice. If something is red and nice then it is not furry.
Charlie is red.
@0: Charlie is cold.[(triple1)] Dave is white.[(triple2)] Erin is rough.[(triple3)] Harry is cold.[(triple4)] @1: Charlie is rough.[(((triple1) -> rule3))] Dave is red.[(((triple2) -> rule1))] Harry is rough.[(((triple4) -> rule3))] @2: Dave is cold.[(((((triple2) -> rule1)) -> rule5))] @3: Dave is rough.[(((((((triple2) -> rule1)) -> rule5)) -> rule3))]