Anne is red. Bob is cold. Dave is cold. Harry is kind. White, young things are kind. All red things are big. If Harry is smart then Harry is kind. All smart, big things are young. All cold, young things are smart. Kind things are young. All red things are white. All red, kind things are white.
Harry is not kind.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Dave is cold.[(triple3)] Harry is kind.[(triple4)] @1: Anne is big.[(((triple1) -> rule2))] Anne is white.[(((triple1) -> rule7))] Harry is young.[(((triple4) -> rule6))]