Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Gary is furry. Gary is green. Gary is kind. Gary is smart. Blue things are nice. Smart things are quiet. Green things are blue. All blue, green things are kind. If something is green and kind then it is furry. Nice things are green. Kind things are nice. Kind things are green.
Gary is not green.
@0: Anne is blue.[(triple1 OR ((((triple3) -> rule6)) -> rule3))] Anne is furry.[(triple2 OR ((((triple3) -> rule6) ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule6) ((triple1 ((triple3) -> rule6)) -> rule4)) -> rule5) OR ((((triple3) -> rule6) ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule6) ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule6) ((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule6) ((((((triple3) -> rule6)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule5))] Anne is nice.[(triple3 OR ((triple1) -> rule1))] Anne is quiet.[(triple4 OR ((triple5) -> rule2))] Anne is smart.[(triple5)] Dave is blue.[(triple6 OR ((triple8) -> rule3) OR ((((triple10) -> rule6)) -> rule3) OR ((((triple9) -> rule8)) -> rule3) OR ((((((triple9) -> rule7)) -> rule6)) -> rule3))] Dave is furry.[(triple7 OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple6 triple8) -> rule4)) -> rule5) OR ((((triple10) -> rule6) triple9) -> rule5) OR ((((triple9) -> rule8) triple9) -> rule5) OR ((((triple10) -> rule6) ((triple6 triple8) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((triple6 triple8) -> rule4)) -> rule5) OR ((triple8 ((triple6 ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((triple8 ((((triple8) -> rule3) triple8) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) triple9) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) triple9) -> rule5) OR ((triple8 ((((triple8) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((triple6 ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((((triple8) -> rule3) triple8) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((triple6 ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((((triple8) -> rule3) triple8) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((triple6 triple8) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((triple6 triple8) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((((triple8) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((((triple8) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((triple6 ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((((triple8) -> rule3) triple8) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((triple6 ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((((triple8) -> rule3) triple8) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((((triple8) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((((triple8) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((triple8 ((triple6 ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((triple8 ((((((triple10) -> rule6)) -> rule3) triple8) -> rule4)) -> rule5) OR ((triple8 ((((triple8) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((triple8 ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((triple6 ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3) triple8) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((triple6 ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((((((triple10) -> rule6)) -> rule3) triple8) -> rule4)) -> rule5) OR ((triple8 ((((((triple10) -> rule6)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((((triple8) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((((triple8) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((triple6 ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((((((triple10) -> rule6)) -> rule3) triple8) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((triple6 ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((((((triple10) -> rule6)) -> rule3) triple8) -> rule4)) -> rule5) OR ((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((triple9) -> rule8) ((((((triple10) -> rule6)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((((triple8) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((((triple8) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule6) ((((((triple10) -> rule6)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule7)) -> rule6) ((((((triple10) -> rule6)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4)) -> rule5))] Dave is green.[(triple8 OR ((triple10) -> rule6) OR ((triple9) -> rule8) OR ((((triple6) -> rule1)) -> rule6) OR ((((triple9) -> rule7)) -> rule6))] Dave is kind.[(triple9 OR ((triple6 triple8) -> rule4) OR ((triple6 ((triple10) -> rule6)) -> rule4) OR ((((triple8) -> rule3) triple8) -> rule4) OR ((((triple8) -> rule3) ((triple10) -> rule6)) -> rule4) OR ((triple6 ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((triple10) -> rule6)) -> rule3) triple8) -> rule4) OR ((((triple8) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4) OR ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6)) -> rule3) ((((triple6) -> rule1)) -> rule6)) -> rule4))] Dave is nice.[(triple10 OR ((triple6) -> rule1) OR ((triple9) -> rule7) OR ((((triple8) -> rule3)) -> rule1) OR ((((triple6 triple8) -> rule4)) -> rule7) OR ((((((triple9) -> rule8)) -> rule3)) -> rule1) OR ((((((triple8) -> rule3) triple8) -> rule4)) -> rule7))] Dave is quiet.[(triple11 OR ((triple12) -> rule2))] Dave is smart.[(triple12)] Gary is furry.[(triple13 OR ((triple14 triple15) -> rule5) OR ((((triple15) -> rule8) triple15) -> rule5) OR ((triple14 ((((triple14) -> rule3) triple14) -> rule4)) -> rule5) OR ((((((triple15) -> rule7)) -> rule6) triple15) -> rule5) OR ((((triple15) -> rule8) ((((triple14) -> rule3) triple14) -> rule4)) -> rule5) OR ((((((triple15) -> rule7)) -> rule6) ((((triple14) -> rule3) triple14) -> rule4)) -> rule5))] Gary is green.[(triple14 OR ((triple15) -> rule8) OR ((((triple15) -> rule7)) -> rule6))] Gary is kind.[(triple15 OR ((((triple14) -> rule3) triple14) -> rule4))] Gary is smart.[(triple16)] @1: Anne is green.[(((triple3) -> rule6) OR ((((triple1) -> rule1)) -> rule6))] Gary is blue.[(((triple14) -> rule3) OR ((((triple15) -> rule8)) -> rule3) OR ((((((triple15) -> rule7)) -> rule6)) -> rule3))] Gary is nice.[(((triple15) -> rule7) OR ((((triple14) -> rule3)) -> rule1) OR ((((((triple15) -> rule8)) -> rule3)) -> rule1) OR ((((((triple14) -> rule3) triple14) -> rule4)) -> rule7))] Gary is quiet.[(((triple16) -> rule2))] @2: Anne is kind.[(((triple1 ((triple3) -> rule6)) -> rule4) OR ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule4) OR ((((((triple3) -> rule6)) -> rule3) ((((triple1) -> rule1)) -> rule6)) -> rule4))]