Anne is cold. Anne is nice. Anne is round. Anne is white. Anne is young. Erin is rough. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is cold. Gary is rough. Gary is round. Gary is smart. Gary is young. All smart people are rough. Nice people are smart. All smart, young people are nice.
Anne is smart.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Erin is rough.[(triple6 OR ((triple8) -> rule1))] Erin is round.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] Gary is cold.[(triple11)] Gary is rough.[(triple12 OR ((triple14) -> rule1))] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Anne is smart.[(((triple2) -> rule2))] Erin is nice.[(((triple8 triple10) -> rule3))] Gary is nice.[(((triple14 triple15) -> rule3))] @2: Anne is rough.[(((((triple2) -> rule2)) -> rule1))]