Anne is red. Anne is young. Dave is not green. Dave is quiet. Dave is white. Erin is red. Erin is young. Gary is big. Gary is green. Gary is red. Gary is white. Gary is young. If someone is quiet and young then they are red. If Gary is green and Gary is not big then Gary is rough. If Erin is rough and Erin is big then Erin is quiet. All quiet, rough people are green. If someone is red and not big then they are quiet. Rough, green people are white. Quiet people are white. If Anne is white then Anne is quiet.
Erin is not white.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Dave is not green.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5 OR ((triple4) -> rule7))] Erin is red.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]