Dave is big. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is white. Dave is young. Harry is big. Harry is blue. Harry is furry. Harry is quiet. Harry is rough. Harry is white. Harry is young. Quiet, furry people are young. All young people are furry. If Dave is furry then Dave is rough.
Dave is not quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple7) -> rule2))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple4 triple3) -> rule1))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10 OR ((triple14) -> rule2))] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple11 triple10) -> rule1))]