Anne is not big. Erin is furry. Erin is kind. Erin is not white. Gary is big. Gary is round. Gary is not white. All rough things are big. All white things are not big. All rough, round things are big. Kind, furry things are rough. If something is white then it is cold. If something is rough then it is not cold. If Gary is big then Gary is furry. Big things are round.
Gary is not furry.
@0: Anne is not big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is not white.[(triple4)] Gary is big.[(triple5)] Gary is not white.[(triple7)] Gary is round.[(triple6 OR ((triple5) -> rule8))] @1: Erin is rough.[(((triple3 triple2) -> rule4))] Gary is furry.[(((triple5) -> rule7))] @2: Erin is big.[(((((triple3 triple2) -> rule4)) -> rule1))] Erin is not cold.[(((((triple3 triple2) -> rule4)) -> rule6))] @3: Erin is round.[(((((((triple3 triple2) -> rule4)) -> rule1)) -> rule8))]