Anne is blue. Bob is quiet. Charlie is not cold. Erin is blue. If something is smart and not kind then it is not nice. Cold things are nice. If something is smart and not kind then it is cold. Smart things are not cold. All quiet things are smart. If Charlie is nice and Charlie is kind then Charlie is rough.
Charlie is not nice.
@0: Anne is blue.[(triple1)] Bob is quiet.[(triple2)] Charlie is not cold.[(triple3)] Erin is blue.[(triple4)] @1: Bob is smart.[(((triple2) -> rule5))] @2: Bob is not cold.[(((((triple2) -> rule5)) -> rule4))]