Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is round. Erin is white. Erin is young. Gary is big. Gary is green. Gary is white. If someone is young then they are round. All furry, big people are kind. All furry people are round. Green people are round. If Gary is big then Gary is white. All kind, furry people are big. Kind, white people are big. All round people are furry.
Gary is not kind.
@0: Erin is big.[(triple1 OR ((triple4 triple2) -> rule6) OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple5) -> rule8)) -> rule6) OR ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((triple4 ((((triple7) -> rule1)) -> rule8)) -> rule6))] Erin is furry.[(triple2 OR ((triple5) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple2 triple1) -> rule2) OR ((((triple5) -> rule8) triple1) -> rule2) OR ((((((triple3) -> rule4)) -> rule8) triple1) -> rule2) OR ((((((triple7) -> rule1)) -> rule8) triple1) -> rule2))] Erin is round.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((triple7) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule5))] @1: Gary is round.[(((triple9) -> rule4))] @2: Gary is furry.[(((((triple9) -> rule4)) -> rule8))] @3: Gary is kind.[(((((((triple9) -> rule4)) -> rule8) triple8) -> rule2))]