Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is round. Gary is smart. Gary is young. If someone is round and white then they are quiet. Round people are white.
Gary is white.
@0: Erin is green.[(triple1)] Erin is quiet.[(triple2 OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))] Erin is rough.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6 OR ((triple4) -> rule2))] Erin is young.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Gary is white.[(((triple8) -> rule2))] @2: Gary is quiet.[(((triple8 ((triple8) -> rule2)) -> rule1))]