Anne is blue. Anne is green. Anne is red. Anne is rough. Anne is young. Bob is blue. Bob is green. Bob is quiet. Bob is white. Bob is young. Fiona is green. Fiona is quiet. Fiona is rough. Gary is rough. Gary is white. Gary is young. All green things are quiet. Red things are quiet. Green things are quiet.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is blue.[(triple6)] Bob is green.[(triple7)] Bob is quiet.[(triple8 OR ((triple7) -> rule1) OR ((triple7) -> rule3))] Bob is white.[(triple9)] Bob is young.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12 OR ((triple11) -> rule1) OR ((triple11) -> rule3))] Fiona is rough.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is quiet.[(((triple2) -> rule1) OR ((triple2) -> rule3) OR ((triple3) -> rule2))]