Bob is quiet. Bob is white. Dave is green. Dave is kind. Dave is round. Dave is white. Harry is not kind. Harry is quiet. Harry is round. Harry is smart. Smart, white things are not quiet. If Dave is white then Dave is kind.
Bob is white.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple6) -> rule2))] Dave is round.[(triple5)] Dave is white.[(triple6)] Harry is not kind.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)]