Anne is not kind. Bob is blue. Erin is kind. Harry is kind. All kind, white things are big. If Erin is white and Erin is cold then Erin is not blue. Kind things are not white.
Harry is not big.
@0: Anne is not kind.[(triple1)] Bob is blue.[(triple2)] Erin is kind.[(triple3)] Harry is kind.[(triple4)] @1: Erin is not white.[(((triple3) -> rule3))] Harry is not white.[(((triple4) -> rule3))]