Anne is nice. Anne is quiet. Anne is smart. Anne is white. Anne is young. Bob is white. Bob is young. Harry is big. Harry is nice. Harry is white. If Harry is big and Harry is nice then Harry is cold.
Anne is not young.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Harry is cold.[(((triple8 triple9) -> rule1))]