Anne is blue. Anne is nice. Anne is white. Anne is not young. Bob is blue. Bob is not green. Bob is nice. Bob is red. Bob is rough. Bob is white. Bob is young. Gary is green. Gary is nice. Gary is rough. Gary is white. All blue things are rough. All green things are red. If Anne is red then Anne is white. Green, white things are not blue. If something is green then it is white. All green things are white.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is not young.[(triple4)] Anne is white.[(triple3)] Bob is blue.[(triple5)] Bob is nice.[(triple7)] Bob is not green.[(triple6)] Bob is red.[(triple8)] Bob is rough.[(triple9 OR ((triple5) -> rule1))] Bob is white.[(triple10)] Bob is young.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15 OR ((triple12) -> rule5) OR ((triple12) -> rule6))] @1: Anne is rough.[(((triple1) -> rule1))] Gary is not blue.[(((triple12 triple15) -> rule4) OR ((triple12 ((triple12) -> rule5)) -> rule4) OR ((triple12 ((triple12) -> rule6)) -> rule4))] Gary is red.[(((triple12) -> rule2))]