Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is smart. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. All green people are white.
Dave is not white.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Harry is furry.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple7) -> rule1))] @1: Dave is white.[(((triple2) -> rule1))]