Anne is cold. Anne is furry. Anne is rough. Anne is smart. Erin is furry. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is cold. Gary is furry. Gary is smart. Smart things are furry. All young, furry things are white. All cold things are white.
Gary is smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Erin is furry.[(triple5 OR ((triple7) -> rule1))] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8 OR ((triple9 triple5) -> rule2) OR ((triple9 ((triple7) -> rule1)) -> rule2))] Erin is young.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11 OR ((triple12) -> rule1))] Gary is smart.[(triple12)] @1: Anne is white.[(((triple1) -> rule3))] Gary is white.[(((triple10) -> rule3))]