Charlie is white. Dave is blue. Dave is kind. Dave is quiet. Dave is smart. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Smart things are white. All kind, white things are smart.
Dave is quiet.
@0: Charlie is white.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11 OR ((triple9 triple12) -> rule2))] Harry is white.[(triple12 OR ((triple11) -> rule1))] @1: Dave is white.[(((triple5) -> rule1))]