Bob is big. Bob is quiet. Bob is white. Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is white. Dave is big. Dave is furry. Dave is green. Dave is quiet. Gary is green. Gary is kind. Gary is quiet. Gary is white. All white, furry things are kind. If Bob is kind then Bob is big. If something is white and big then it is young. All kind, young things are green. All quiet things are big. All young things are quiet. Big, white things are furry. Big things are young.
Bob is not young.
@0: Bob is big.[(triple1 OR ((triple2) -> rule5))] Bob is quiet.[(triple2 OR ((((triple1) -> rule8)) -> rule6) OR ((((triple3 triple1) -> rule3)) -> rule6))] Bob is white.[(triple3)] Charlie is big.[(triple4 OR ((triple7) -> rule5))] Charlie is furry.[(triple5 OR ((triple4 triple8) -> rule7) OR ((((triple7) -> rule5) triple8) -> rule7))] Charlie is kind.[(triple6 OR ((triple8 triple5) -> rule1) OR ((triple8 ((triple4 triple8) -> rule7)) -> rule1) OR ((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1))] Charlie is quiet.[(triple7 OR ((((triple4) -> rule8)) -> rule6) OR ((((triple8 triple4) -> rule3)) -> rule6))] Charlie is white.[(triple8)] Dave is big.[(triple9 OR ((triple12) -> rule5))] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is quiet.[(triple12 OR ((((triple9) -> rule8)) -> rule6))] Gary is green.[(triple13 OR ((triple14 ((((triple15) -> rule5)) -> rule8)) -> rule4) OR ((triple14 ((triple16 ((triple15) -> rule5)) -> rule3)) -> rule4) OR ((((triple16 ((((triple15) -> rule5) triple16) -> rule7)) -> rule1) ((((triple15) -> rule5)) -> rule8)) -> rule4) OR ((((triple16 ((((triple15) -> rule5) triple16) -> rule7)) -> rule1) ((triple16 ((triple15) -> rule5)) -> rule3)) -> rule4))] Gary is kind.[(triple14 OR ((triple16 ((((triple15) -> rule5) triple16) -> rule7)) -> rule1))] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Bob is furry.[(((triple1 triple3) -> rule7) OR ((((triple2) -> rule5) triple3) -> rule7))] Bob is young.[(((triple1) -> rule8) OR ((triple3 triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule8) OR ((triple3 ((triple2) -> rule5)) -> rule3))] Charlie is young.[(((triple4) -> rule8) OR ((triple8 triple4) -> rule3) OR ((((triple7) -> rule5)) -> rule8) OR ((triple8 ((triple7) -> rule5)) -> rule3))] Dave is young.[(((triple9) -> rule8) OR ((((triple12) -> rule5)) -> rule8))] Gary is big.[(((triple15) -> rule5))] @2: Bob is kind.[(((triple3 ((triple1 triple3) -> rule7)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1))] Charlie is green.[(((triple6 ((triple4) -> rule8)) -> rule4) OR ((triple6 ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((triple6 ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((triple6 ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 triple5) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 triple5) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 ((triple4 triple8) -> rule7)) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple4) -> rule8)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple8 triple4) -> rule3)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((triple8 ((((triple7) -> rule5) triple8) -> rule7)) -> rule1) ((triple8 ((triple7) -> rule5)) -> rule3)) -> rule4))] Gary is furry.[(((((triple15) -> rule5) triple16) -> rule7))] Gary is young.[(((((triple15) -> rule5)) -> rule8) OR ((triple16 ((triple15) -> rule5)) -> rule3))] @3: Bob is green.[(((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 triple1) -> rule3)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((triple3 ((((triple2) -> rule5) triple3) -> rule7)) -> rule1) ((triple3 ((triple2) -> rule5)) -> rule3)) -> rule4))]