Bob is kind. Bob is red. Bob is round. Bob is white. Dave is green. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. If something is red then it is kind. All green things are smart. If something is smart then it is rough. Rough, smart things are white. If something is green then it is round. All smart, round things are rough. If Bob is rough and Bob is smart then Bob is kind. If something is round then it is green.
Dave is not smart.
@0: Bob is kind.[(triple1 OR ((triple2) -> rule1) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule3) ((((triple3) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule2) triple3) -> rule6) ((((triple3) -> rule8)) -> rule2)) -> rule7))] Bob is red.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4 OR ((((((((triple3) -> rule8)) -> rule2)) -> rule3) ((((triple3) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule2) triple3) -> rule6) ((((triple3) -> rule8)) -> rule2)) -> rule4))] Dave is green.[(triple5 OR ((triple8) -> rule8))] Dave is red.[(triple6)] Dave is rough.[(triple7 OR ((triple9) -> rule3) OR ((triple9 triple8) -> rule6) OR ((((triple5) -> rule2)) -> rule3) OR ((triple9 ((triple5) -> rule5)) -> rule6) OR ((((triple5) -> rule2) triple8) -> rule6) OR ((((triple5) -> rule2) ((triple5) -> rule5)) -> rule6) OR ((((((triple8) -> rule8)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule2) triple8) -> rule6) OR ((((((triple8) -> rule8)) -> rule2) ((triple5) -> rule5)) -> rule6))] Dave is round.[(triple8 OR ((triple5) -> rule5))] Dave is smart.[(triple9 OR ((triple5) -> rule2) OR ((((triple8) -> rule8)) -> rule2))] Dave is white.[(triple10 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple5) -> rule2)) -> rule4) OR ((((triple9) -> rule3) triple9) -> rule4) OR ((((triple9 triple8) -> rule6) triple9) -> rule4) OR ((((triple9) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((triple9 triple8) -> rule6) ((triple5) -> rule2)) -> rule4) OR ((triple7 ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) triple9) -> rule4) OR ((((triple9 ((triple5) -> rule5)) -> rule6) triple9) -> rule4) OR ((((((triple5) -> rule2) triple8) -> rule6) triple9) -> rule4) OR ((((triple9) -> rule3) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((triple9 triple8) -> rule6) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((triple9 ((triple5) -> rule5)) -> rule6) ((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule2) triple8) -> rule6) ((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule6) triple9) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((triple9 ((triple5) -> rule5)) -> rule6) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((triple5) -> rule2) triple8) -> rule6) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule6) ((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule2) ((triple5) -> rule5)) -> rule6) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2)) -> rule3) triple9) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2) triple8) -> rule6) triple9) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2)) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2) triple8) -> rule6) ((triple5) -> rule2)) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2) ((triple5) -> rule5)) -> rule6) triple9) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2)) -> rule3) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2) triple8) -> rule6) ((((triple8) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2) ((triple5) -> rule5)) -> rule6) ((triple5) -> rule2)) -> rule4) OR ((((((((triple8) -> rule8)) -> rule2) ((triple5) -> rule5)) -> rule6) ((((triple8) -> rule8)) -> rule2)) -> rule4))] @1: Bob is green.[(((triple3) -> rule8))] Dave is kind.[(((triple6) -> rule1))] @2: Bob is smart.[(((((triple3) -> rule8)) -> rule2))] @3: Bob is rough.[(((((((triple3) -> rule8)) -> rule2)) -> rule3) OR ((((((triple3) -> rule8)) -> rule2) triple3) -> rule6))]