Charlie is cold. Erin is young. Harry is red. If Erin is nice then Erin is red. Kind, red people are not nice. If Erin is kind then Erin is not cold. Cold people are young. All cold people are kind. If someone is young and not white then they are not kind. All kind, cold people are red. If someone is young and not kind then they are round.
Charlie is not nice.
@0: Charlie is cold.[(triple1)] Erin is young.[(triple2)] Harry is red.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule5))] Charlie is young.[(((triple1) -> rule4))] @2: Charlie is red.[(((((triple1) -> rule5) triple1) -> rule7))] @3: Charlie is not nice.[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule7)) -> rule2))]