Charlie is red. Charlie is white. Charlie is young. Dave is green. Dave is red. Gary is furry. Gary is young. Harry is quiet. Harry is red. Harry is white. Red, white things are green. Rough things are green. All green things are rough. All green things are quiet. All white, furry things are red. Rough things are young. If something is green and young then it is furry. All young things are white.
Dave is not green.
@0: Charlie is red.[(triple1)] Charlie is white.[(triple2 OR ((triple3) -> rule8))] Charlie is young.[(triple3 OR ((((((triple1 triple2) -> rule1)) -> rule3)) -> rule6))] Dave is green.[(triple4)] Dave is red.[(triple5 OR ((((((((triple4) -> rule3)) -> rule6)) -> rule8) ((triple4 ((((triple4) -> rule3)) -> rule6)) -> rule7)) -> rule5))] Gary is furry.[(triple6)] Gary is young.[(triple7)] Harry is quiet.[(triple8 OR ((((triple9 triple10) -> rule1)) -> rule4))] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Charlie is green.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple3) -> rule8)) -> rule1))] Dave is quiet.[(((triple4) -> rule4))] Dave is rough.[(((triple4) -> rule3))] Gary is white.[(((triple7) -> rule8))] Harry is green.[(((triple9 triple10) -> rule1))] @2: Charlie is furry.[(((((triple1 triple2) -> rule1) triple3) -> rule7) OR ((((triple1 ((triple3) -> rule8)) -> rule1) triple3) -> rule7) OR ((((triple1 triple2) -> rule1) ((((((triple1 triple2) -> rule1)) -> rule3)) -> rule6)) -> rule7) OR ((((triple1 ((triple3) -> rule8)) -> rule1) ((((((triple1 triple2) -> rule1)) -> rule3)) -> rule6)) -> rule7))] Charlie is quiet.[(((((triple1 triple2) -> rule1)) -> rule4) OR ((((triple1 ((triple3) -> rule8)) -> rule1)) -> rule4))] Charlie is rough.[(((((triple1 triple2) -> rule1)) -> rule3) OR ((((triple1 ((triple3) -> rule8)) -> rule1)) -> rule3))] Dave is young.[(((((triple4) -> rule3)) -> rule6))] Gary is red.[(((((triple7) -> rule8) triple6) -> rule5))] Harry is rough.[(((((triple9 triple10) -> rule1)) -> rule3))] @3: Dave is furry.[(((triple4 ((((triple4) -> rule3)) -> rule6)) -> rule7))] Dave is white.[(((((((triple4) -> rule3)) -> rule6)) -> rule8))] Gary is green.[(((((((triple7) -> rule8) triple6) -> rule5) ((triple7) -> rule8)) -> rule1))] Harry is young.[(((((((triple9 triple10) -> rule1)) -> rule3)) -> rule6))] @4: Gary is quiet.[(((((((((triple7) -> rule8) triple6) -> rule5) ((triple7) -> rule8)) -> rule1)) -> rule4))] Gary is rough.[(((((((((triple7) -> rule8) triple6) -> rule5) ((triple7) -> rule8)) -> rule1)) -> rule3))] Harry is furry.[(((((triple9 triple10) -> rule1) ((((((triple9 triple10) -> rule1)) -> rule3)) -> rule6)) -> rule7))]