Erin is furry. Erin is quiet. Erin is round. Erin is smart. Gary is cold. Gary is furry. Gary is rough. Gary is smart. Gary is white. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. If Gary is smart then Gary is round. If Harry is white then Harry is round. All smart, round people are rough. Quiet people are white. All smart, rough people are quiet. Quiet, cold people are smart. If someone is furry then they are quiet. If someone is white then they are furry.
Gary is not round.
@0: Erin is furry.[(triple1 OR ((((triple2) -> rule4)) -> rule8) OR ((((((triple4 ((triple4 triple3) -> rule3)) -> rule5)) -> rule4)) -> rule8))] Erin is quiet.[(triple2 OR ((triple1) -> rule7) OR ((triple4 ((triple4 triple3) -> rule3)) -> rule5))] Erin is round.[(triple3)] Erin is smart.[(triple4)] Gary is cold.[(triple5)] Gary is furry.[(triple6 OR ((triple9) -> rule8) OR ((((((triple8 triple7) -> rule5)) -> rule4)) -> rule8) OR ((((((triple8 ((triple8 ((triple8) -> rule1)) -> rule3)) -> rule5)) -> rule4)) -> rule8))] Gary is rough.[(triple7 OR ((triple8 ((triple8) -> rule1)) -> rule3) OR ((((((triple6) -> rule7) triple5) -> rule6) ((triple8) -> rule1)) -> rule3) OR ((triple8 ((((((triple6) -> rule7) triple5) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6) ((triple8) -> rule1)) -> rule3) OR ((((((triple6) -> rule7) triple5) -> rule6) ((((((triple6) -> rule7) triple5) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6) ((((((triple6) -> rule7) triple5) -> rule6)) -> rule1)) -> rule3) OR ((triple8 ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6)) -> rule1)) -> rule3) OR ((((((triple6) -> rule7) triple5) -> rule6) ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6) ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6)) -> rule1)) -> rule3))] Gary is smart.[(triple8 OR ((((triple6) -> rule7) triple5) -> rule6) OR ((((((triple9) -> rule8)) -> rule7) triple5) -> rule6))] Gary is white.[(triple9 OR ((((triple6) -> rule7)) -> rule4) OR ((((triple8 triple7) -> rule5)) -> rule4) OR ((((triple8 ((triple8 ((triple8) -> rule1)) -> rule3)) -> rule5)) -> rule4))] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple16) -> rule8) OR ((((triple12) -> rule4)) -> rule8) OR ((((((triple15 triple13) -> rule5)) -> rule4)) -> rule8) OR ((((((triple15 ((triple15 triple14) -> rule3)) -> rule5)) -> rule4)) -> rule8))] Harry is quiet.[(triple12 OR ((triple11) -> rule7) OR ((triple15 triple13) -> rule5) OR ((((triple16) -> rule8)) -> rule7) OR ((triple15 ((triple15 triple14) -> rule3)) -> rule5) OR ((triple15 ((triple15 ((triple16) -> rule2)) -> rule3)) -> rule5))] Harry is rough.[(triple13 OR ((triple15 triple14) -> rule3) OR ((triple15 ((triple16) -> rule2)) -> rule3) OR ((((triple12 triple10) -> rule6) triple14) -> rule3) OR ((((triple12 triple10) -> rule6) ((triple16) -> rule2)) -> rule3) OR ((triple15 ((((triple12) -> rule4)) -> rule2)) -> rule3) OR ((((((triple11) -> rule7) triple10) -> rule6) triple14) -> rule3) OR ((((triple12 triple10) -> rule6) ((((triple12) -> rule4)) -> rule2)) -> rule3) OR ((((((triple11) -> rule7) triple10) -> rule6) ((triple16) -> rule2)) -> rule3) OR ((((((triple11) -> rule7) triple10) -> rule6) ((((triple12) -> rule4)) -> rule2)) -> rule3) OR ((triple15 ((((((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule8)) -> rule7) triple10) -> rule6) triple14) -> rule3) OR ((((triple12 triple10) -> rule6) ((((((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule8)) -> rule7) triple10) -> rule6) ((triple16) -> rule2)) -> rule3) OR ((((((triple11) -> rule7) triple10) -> rule6) ((((((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule8)) -> rule7) triple10) -> rule6) ((((triple12) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple16) -> rule8)) -> rule7) triple10) -> rule6) ((((((triple11) -> rule7)) -> rule4)) -> rule2)) -> rule3))] Harry is round.[(triple14 OR ((triple16) -> rule2) OR ((((triple12) -> rule4)) -> rule2) OR ((((((triple11) -> rule7)) -> rule4)) -> rule2) OR ((((((triple15 triple13) -> rule5)) -> rule4)) -> rule2))] Harry is smart.[(triple15 OR ((triple12 triple10) -> rule6) OR ((((triple11) -> rule7) triple10) -> rule6) OR ((((((triple16) -> rule8)) -> rule7) triple10) -> rule6))] Harry is white.[(triple16 OR ((triple12) -> rule4) OR ((((triple11) -> rule7)) -> rule4) OR ((((triple15 triple13) -> rule5)) -> rule4) OR ((((triple15 ((triple15 triple14) -> rule3)) -> rule5)) -> rule4))] @1: Erin is rough.[(((triple4 triple3) -> rule3))] Erin is white.[(((triple2) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple4 ((triple4 triple3) -> rule3)) -> rule5)) -> rule4))] Gary is quiet.[(((triple6) -> rule7) OR ((triple8 triple7) -> rule5) OR ((((triple9) -> rule8)) -> rule7) OR ((triple8 ((triple8 ((triple8) -> rule1)) -> rule3)) -> rule5))] Gary is round.[(((triple8) -> rule1) OR ((((((triple6) -> rule7) triple5) -> rule6)) -> rule1) OR ((((((((triple9) -> rule8)) -> rule7) triple5) -> rule6)) -> rule1))]