Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Anne is not young. Erin is big. Erin is kind. Erin is quiet. Gary is big. Gary is green. Gary is kind. Gary is smart. Gary is young. All kind people are white. If someone is white and not smart then they are big. All white people are green. If Gary is kind and Gary is not big then Gary is green. If someone is white and not big then they are young. If someone is big and not white then they are young.
Erin is not quiet.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple6) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Anne is kind.[(triple3)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple3) -> rule1))] Erin is big.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Gary is big.[(triple11)] Gary is green.[(triple12 OR ((((triple13) -> rule1)) -> rule3))] Gary is kind.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Erin is white.[(((triple9) -> rule1))] Gary is white.[(((triple13) -> rule1))] @2: Erin is green.[(((((triple9) -> rule1)) -> rule3))]