Anne is furry. Anne is rough. Anne is round. Anne is smart. Anne is white. Dave is furry. Erin is big. Erin is white. Gary is quiet. Gary is round. Gary is smart. Gary is white. Rough, furry things are smart. If something is rough and round then it is smart. If Dave is smart then Dave is white. If something is furry then it is rough. Round, rough things are smart. White, furry things are round. All white, big things are round. All rough, big things are smart. If something is round then it is big.
Gary is not round.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule4))] Anne is round.[(triple3 OR ((triple5 triple1) -> rule6))] Anne is smart.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 triple3) -> rule2) OR ((triple3 triple2) -> rule5) OR ((triple2 ((triple3) -> rule9)) -> rule8) OR ((triple2 ((triple5 triple1) -> rule6)) -> rule2) OR ((triple3 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule4) triple3) -> rule2) OR ((((triple5 triple1) -> rule6) triple2) -> rule5) OR ((((triple1) -> rule4) ((triple3) -> rule9)) -> rule8) OR ((((triple1) -> rule4) ((triple5 triple1) -> rule6)) -> rule2) OR ((((triple5 triple1) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((triple2 ((((triple5 triple1) -> rule6)) -> rule9)) -> rule8) OR ((((triple1) -> rule4) ((((triple5 triple1) -> rule6)) -> rule9)) -> rule8))] Anne is white.[(triple5)] Dave is furry.[(triple6)] Erin is big.[(triple7)] Erin is white.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Anne is big.[(((triple3) -> rule9) OR ((((triple5 triple1) -> rule6)) -> rule9))] Dave is rough.[(((triple6) -> rule4))] Erin is round.[(((triple8 triple7) -> rule7))] Gary is big.[(((triple10) -> rule9))] @2: Dave is smart.[(((((triple6) -> rule4) triple6) -> rule1))] @3: Dave is white.[(((((((triple6) -> rule4) triple6) -> rule1)) -> rule3))] @4: Dave is round.[(((((((((triple6) -> rule4) triple6) -> rule1)) -> rule3) triple6) -> rule6))] @5: Dave is big.[(((((((((((triple6) -> rule4) triple6) -> rule1)) -> rule3) triple6) -> rule6)) -> rule9))]