Anne is blue. Anne is green. Erin is big. Erin is green. Erin is red. Fiona is green. Fiona is rough. Fiona is round. Gary is rough. Gary is round. If someone is big then they are rough. Round people are blue. If someone is round and quiet then they are rough. If Anne is blue then Anne is rough. If Gary is rough then Gary is quiet. All red, blue people are green.
Erin is round.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is green.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Anne is rough.[(((triple1) -> rule4))] Erin is rough.[(((triple3) -> rule1))] Fiona is blue.[(((triple8) -> rule2))] Gary is blue.[(((triple10) -> rule2))] Gary is quiet.[(((triple9) -> rule5))]