Anne is not quiet. Anne is round. Dave is nice. Dave is quiet. Dave is round. Gary is rough. Gary is round. If Dave is quiet then Dave is rough. All quiet things are not green. All rough, young things are quiet. Young, green things are rough. Young things are white. If something is quiet then it is nice. White, quiet things are round. If Anne is not quiet then Anne is nice.
Anne is not quiet.
@0: Anne is not quiet.[(triple1)] Anne is round.[(triple2)] Dave is nice.[(triple3 OR ((triple4) -> rule6))] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Anne is nice.[(((triple1) -> rule8))] Dave is not green.[(((triple4) -> rule2))] Dave is rough.[(((triple4) -> rule1))]