Anne is big. Bob is not blue. Bob is rough. Bob is round. Erin is blue. Erin is red. Erin is rough. Gary is blue. Gary is not red. Gary is rough. If something is blue and not round then it is green. If something is round then it is green. Big things are red. If something is big and white then it is red. Round things are white. All white things are big. If Erin is round and Erin is blue then Erin is not big. If Anne is not green and Anne is not blue then Anne is red.
Erin is green.
@0: Anne is big.[(triple1)] Bob is not blue.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Erin is blue.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Gary is blue.[(triple8)] Gary is not red.[(triple9)] Gary is rough.[(triple10)] @1: Anne is red.[(((triple1) -> rule3))] Bob is green.[(((triple4) -> rule2))] Bob is white.[(((triple4) -> rule5))] @2: Bob is big.[(((((triple4) -> rule5)) -> rule6))] @3: Bob is red.[(((((((triple4) -> rule5)) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule4))]