Anne is nice. Anne is smart. Bob is kind. Bob is red. Bob is smart. Bob is white. Harry is blue. Harry is kind. Harry is smart. Harry is white. Nice things are blue. If Anne is blue then Anne is white.
Anne is blue.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Anne is blue.[(((triple1) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule2))]