Anne is not big. Anne is blue. Anne is kind. Anne is rough. Anne is young. Bob is big. Bob is blue. Bob is kind. Bob is quiet. Bob is not red. Bob is rough. Bob is not young. Dave is blue. Dave is not quiet. Dave is red. Dave is rough. Kind things are quiet. All kind, quiet things are not red.
Bob is not blue.
@0: Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is big.[(triple6)] Bob is blue.[(triple7)] Bob is kind.[(triple8)] Bob is not red.[(triple10 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))] Bob is not young.[(triple12)] Bob is quiet.[(triple9 OR ((triple8) -> rule1))] Bob is rough.[(triple11)] Dave is blue.[(triple13)] Dave is not quiet.[(triple14)] Dave is red.[(triple15)] Dave is rough.[(triple16)] @1: Anne is quiet.[(((triple3) -> rule1))] @2: Anne is not red.[(((triple3 ((triple3) -> rule1)) -> rule2))]