Dave is big. Dave is furry. Dave is white. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is white. Big, quiet people are green. If Dave is white then Dave is quiet.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is white.[(triple3)] Harry is big.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6 OR ((triple4 triple8) -> rule1))] Harry is kind.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Dave is quiet.[(((triple3) -> rule2))] @2: Dave is green.[(((triple1 ((triple3) -> rule2)) -> rule1))]