Bob is round. Charlie is big. Charlie is furry. Charlie is green. Charlie is round. Charlie is white. Dave is big. Dave is quiet. Gary is green. Gary is quiet. All furry people are white. If someone is big then they are smart. All white, big people are round. If someone is quiet then they are smart. Smart people are big. All big, green people are furry. If someone is smart and round then they are quiet. Green people are smart. All smart, furry people are big.
Gary is not furry.
@0: Bob is round.[(triple1)] Charlie is big.[(triple2 OR ((((triple4) -> rule8)) -> rule5) OR ((((triple4) -> rule8) triple3) -> rule9))] Charlie is furry.[(triple3 OR ((triple2 triple4) -> rule6) OR ((((((triple4) -> rule8)) -> rule5) triple4) -> rule6))] Charlie is green.[(triple4)] Charlie is round.[(triple5 OR ((triple6 triple2) -> rule3) OR ((((triple3) -> rule1) triple2) -> rule3) OR ((triple6 ((((triple4) -> rule8)) -> rule5)) -> rule3) OR ((triple6 ((((triple4) -> rule8) triple3) -> rule9)) -> rule3) OR ((((((triple2 triple4) -> rule6)) -> rule1) triple2) -> rule3) OR ((((triple3) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple3) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3) OR ((((((triple2 triple4) -> rule6)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3) OR ((((((triple2 triple4) -> rule6)) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3) OR ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) triple2) -> rule3) OR ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3))] Charlie is white.[(triple6 OR ((triple3) -> rule1) OR ((((triple2 triple4) -> rule6)) -> rule1) OR ((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1))] Dave is big.[(triple7 OR ((((triple8) -> rule4)) -> rule5))] Dave is quiet.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10 OR ((((triple9) -> rule8) ((((((((((triple9) -> rule8)) -> rule5) triple9) -> rule6)) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule3)) -> rule7))] @1: Charlie is smart.[(((triple2) -> rule2) OR ((triple4) -> rule8))] Dave is smart.[(((triple7) -> rule2) OR ((triple8) -> rule4))] Gary is smart.[(((triple10) -> rule4) OR ((triple9) -> rule8))] @2: Charlie is quiet.[(((((triple2) -> rule2) triple5) -> rule7) OR ((((triple4) -> rule8) triple5) -> rule7) OR ((((triple2) -> rule2) ((triple6 triple2) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((triple6 triple2) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((triple3) -> rule1) triple2) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((triple3) -> rule1) triple2) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((triple6 ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((triple6 ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((((triple2 triple4) -> rule6)) -> rule1) triple2) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((triple6 ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((triple6 ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((((triple2 triple4) -> rule6)) -> rule1) triple2) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((triple3) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((triple3) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((triple3) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((triple3) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((((triple2 triple4) -> rule6)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((((triple2 triple4) -> rule6)) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((((triple2 triple4) -> rule6)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((((triple2 triple4) -> rule6)) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) triple2) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) triple2) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple4) -> rule8) ((((((((((triple4) -> rule8)) -> rule5) triple4) -> rule6)) -> rule1) ((((triple4) -> rule8) triple3) -> rule9)) -> rule3)) -> rule7))] Gary is big.[(((((triple10) -> rule4)) -> rule5) OR ((((triple9) -> rule8)) -> rule5))] @3: Gary is furry.[(((((((triple10) -> rule4)) -> rule5) triple9) -> rule6) OR ((((((triple9) -> rule8)) -> rule5) triple9) -> rule6))] @4: Gary is white.[(((((((((triple10) -> rule4)) -> rule5) triple9) -> rule6)) -> rule1) OR ((((((((triple9) -> rule8)) -> rule5) triple9) -> rule6)) -> rule1))] @5: Gary is round.[(((((((((((triple10) -> rule4)) -> rule5) triple9) -> rule6)) -> rule1) ((((triple10) -> rule4)) -> rule5)) -> rule3) OR ((((((((((triple10) -> rule4)) -> rule5) triple9) -> rule6)) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule5) triple9) -> rule6)) -> rule1) ((((triple10) -> rule4)) -> rule5)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule5) triple9) -> rule6)) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule3))]