Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is young. Bob is kind. Bob is not young. Quiet things are green. All rough things are green. If something is young and kind then it is not green. If Bob is kind and Bob is rough then Bob is quiet. All kind things are blue. All kind, green things are not blue.
Anne is not blue.
@0: Anne is green.[(triple1 OR ((triple2) -> rule1) OR ((triple4) -> rule2))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is kind.[(triple6)] Bob is not young.[(triple7)] @1: Bob is blue.[(((triple6) -> rule5))]