Anne is blue. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is white. Anne is young. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is white. If Anne is kind and Anne is round then Anne is young. If someone is round then they are rough. All quiet, kind people are blue.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple3 triple2) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple5) -> rule2))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple5) -> rule1))] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10 OR ((triple11) -> rule2))] Dave is round.[(triple11)] Dave is white.[(triple12)] @1: Dave is blue.[(((triple9 triple8) -> rule3))]