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