Anne is big. Anne is quiet. Anne is white. Dave is not big. Dave is furry. Erin is big. Erin is furry. Erin is green. Erin is not quiet. Erin is rough. Erin is round. Erin is not white. Gary is big. Gary is furry. Gary is green. Gary is round. All quiet things are round. All quiet, white things are not furry. If something is quiet then it is not furry. All quiet, furry things are big. If Gary is not green then Gary is not round. Quiet things are white.
Erin is big.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule6))] Dave is furry.[(triple5)] Dave is not big.[(triple4)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is not quiet.[(triple9)] Erin is not white.[(triple12)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Gary is big.[(triple13)] Gary is furry.[(triple14)] Gary is green.[(triple15)] Gary is round.[(triple16)] @1: Anne is not furry.[(((triple2) -> rule3) OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2) -> rule6)) -> rule2))] Anne is round.[(((triple2) -> rule1))]