Dave is furry. Dave is round. Dave is young. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. If Harry is kind and Harry is round then Harry is rough. Rough, kind people are round. If Dave is kind and Dave is rough then Dave is smart.
Dave is quiet.
@0: Dave is furry.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7 OR ((triple5 triple8) -> rule1))] Harry is round.[(triple8 OR ((triple7 triple5) -> rule2))] Harry is smart.[(triple9)] Harry is young.[(triple10)]