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