Anne is blue. Anne is green. Anne is rough. Anne is young. Bob is not furry. Bob is green. Bob is quiet. Bob is rough. Bob is not round. Bob is young. Gary is blue. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is young. Green, quiet things are not blue. If Gary is quiet then Gary is rough. Blue things are young.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule3))] Bob is green.[(triple6)] Bob is not furry.[(triple5)] Bob is not round.[(triple9)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is young.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((triple11) -> rule3))] @1: Bob is not blue.[(((triple6 triple7) -> rule1))]