Anne is not nice. Anne is quiet. Anne is not young. Bob is not quiet. Bob is not rough. Bob is young. Dave is blue. Dave is quiet. Dave is young. Erin is nice. Erin is white. Erin is young. All quiet things are rough. All rough, quiet things are blue.
Erin is not blue.
@0: Anne is not nice.[(triple1)] Anne is not young.[(triple3)] Anne is quiet.[(triple2)] Bob is not quiet.[(triple4)] Bob is not rough.[(triple5)] Bob is young.[(triple6)] Dave is blue.[(triple7 OR ((((triple8) -> rule1) triple8) -> rule2))] Dave is quiet.[(triple8)] Dave is young.[(triple9)] Erin is nice.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Anne is rough.[(((triple2) -> rule1))] Dave is rough.[(((triple8) -> rule1))] @2: Anne is blue.[(((((triple2) -> rule1) triple2) -> rule2))]