Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. If Gary is big then Gary is furry. Quiet, round people are smart. If someone is furry and round then they are white. If Gary is quiet then Gary is big. If someone is quiet then they are smart. All smart, furry people are white. Red people are big. If Gary is furry and Gary is white then Gary is smart.
Gary is not red.
@0: Gary is big.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule7))] Gary is furry.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple4) -> rule7)) -> rule1))] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple3) -> rule5) OR ((triple2 triple7) -> rule8) OR ((triple3 triple5) -> rule2) OR ((triple2 ((triple2 triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) triple7) -> rule8) OR ((((triple1) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((triple2 ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) triple7) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) triple7) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple2 ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple2 ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8))] Gary is white.[(triple7 OR ((triple2 triple5) -> rule3) OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule5) triple2) -> rule6) OR ((((triple3 triple5) -> rule2) triple2) -> rule6) OR ((((triple3) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((triple6 ((((triple3) -> rule4)) -> rule1)) -> rule6) OR ((triple6 ((((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule5) ((((triple3) -> rule4)) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule2) ((((triple3) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule2) ((((triple4) -> rule7)) -> rule1)) -> rule6))]