Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Gary is big. Gary is quiet. Gary is smart. Gary is young. All nice things are quiet. Quiet, furry things are nice. All furry things are smart. All quiet, smart things are big. If Gary is nice and Gary is furry then Gary is big. All smart things are nice.
Erin is not furry.
@0: Anne is big.[(triple1 OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple2) -> rule3)) -> rule4) OR ((((triple3) -> rule1) triple5) -> rule4) OR ((((triple3) -> rule1) ((triple2) -> rule3)) -> rule4) OR ((((((triple5) -> rule6)) -> rule1) triple5) -> rule4) OR ((((((triple5) -> rule6)) -> rule1) ((triple2) -> rule3)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule1) triple5) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule3)) -> rule4))] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple5) -> rule6) OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule3)) -> rule6))] Anne is quiet.[(triple4 OR ((triple3) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((((triple2) -> rule3)) -> rule6)) -> rule1))] Anne is smart.[(triple5 OR ((triple2) -> rule3))] Anne is young.[(triple6)] Erin is big.[(triple7 OR ((triple11 triple12) -> rule4) OR ((triple11 ((triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule1) triple12) -> rule4) OR ((((triple10) -> rule1) ((triple8) -> rule3)) -> rule4) OR ((((((triple12) -> rule6)) -> rule1) triple12) -> rule4) OR ((((((triple12) -> rule6)) -> rule1) ((triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule1) triple12) -> rule4) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule1) ((triple8) -> rule3)) -> rule4))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple12) -> rule6) OR ((triple11 triple8) -> rule2) OR ((((triple8) -> rule3)) -> rule6))] Erin is quiet.[(triple11 OR ((triple10) -> rule1) OR ((((triple12) -> rule6)) -> rule1) OR ((((((triple8) -> rule3)) -> rule6)) -> rule1))] Erin is smart.[(triple12 OR ((triple8) -> rule3))] Gary is big.[(triple13 OR ((triple14 triple15) -> rule4) OR ((((((triple15) -> rule6)) -> rule1) triple15) -> rule4))] Gary is quiet.[(triple14 OR ((((triple15) -> rule6)) -> rule1))] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Gary is nice.[(((triple15) -> rule6))]