Charlie is nice. Erin is kind. Gary is rough. Kind things are red. All white, kind things are red. Round, rough things are red. If something is red and kind then it is cold. All round things are rough. Cold, rough things are round.
Charlie is not rough.
@0: Charlie is nice.[(triple1)] Erin is kind.[(triple2)] Gary is rough.[(triple3)] @1: Erin is red.[(((triple2) -> rule1))] @2: Erin is cold.[(((((triple2) -> rule1) triple2) -> rule4))]