Anne is not big. Anne is blue. Anne is green. Bob is green. Bob is nice. Bob is white. Bob is young. Harry is green. Harry is nice. Harry is young. All young things are white.
Bob is big.
@0: Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not big.[(triple1)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is white.[(triple6 OR ((triple7) -> rule1))] Bob is young.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)] @1: Harry is white.[(((triple10) -> rule1))]