Anne is big. Anne is green. Anne is white. Anne is young. Bob is not big. Bob is rough. Dave is not green. Dave is white. Dave is young. Harry is red. If something is rough and not young then it is not blue. All big things are not blue. If something is big and not young then it is rough.
Anne is young.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is not big.[(triple5)] Bob is rough.[(triple6)] Dave is not green.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Harry is red.[(triple10)] @1: Anne is not blue.[(((triple1) -> rule2))]