Anne is nice. Bob is young. Harry is red. If Anne is white and Anne is rough then Anne is kind. All red things are furry.
Harry is not furry.
@0: Anne is nice.[(triple1)] Bob is young.[(triple2)] Harry is red.[(triple3)] @1: Harry is furry.[(((triple3) -> rule2))]