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