Anne is kind. Anne is rough. Anne is round. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Bob is white. Bob is young. Rough people are quiet. All rough people are green.
Anne is not young.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Bob is green.[(triple4 OR ((triple7) -> rule2))] Bob is kind.[(triple5)] Bob is quiet.[(triple6 OR ((triple7) -> rule1))] Bob is rough.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] @1: Anne is green.[(((triple2) -> rule2))] Anne is quiet.[(((triple2) -> rule1))]