Anne is not big. Anne is blue. Anne is not nice. Anne is quiet. Anne is red. Anne is not white. Anne is young. Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is white. Gary is big. Gary is quiet. Gary is white. If Anne is red and Anne is nice then Anne is not blue. If Anne is red and Anne is white then Anne is not blue. If Anne is white and Anne is nice then Anne is big. Young, white people are quiet. If someone is white and not blue then they are big. Big, red people are young.
Gary is white.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not nice.[(triple3)] Anne is not white.[(triple6)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is young.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11 OR ((((triple8 triple12) -> rule6) triple13) -> rule4))] Erin is red.[(triple12)] Erin is white.[(triple13)] Gary is big.[(triple14)] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Erin is young.[(((triple8 triple12) -> rule6))]