あの遠近コーナーピンは清掃しないがそれは晴れがましい
fact1: 気難しいものは清掃しないけど晴れがましい fact2: あの遠近コーナーピンは気難しくて娘らしい
fact1 -> int1: もし仮に「あの遠近コーナーピンは気難しい」ということは成り立つとすれば清掃しないしそれは晴れがましい; fact2 -> int2: 「あの遠近コーナーピンは気難しい」ということは真実だ; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact2 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: 気難しいものは清掃しないけど晴れがましい fact2: あの遠近コーナーピンは気難しくて娘らしい ; $hypothesis$ = あの遠近コーナーピンは清掃しないがそれは晴れがましい ; $proof$ = 
fact1 -> int1: もし仮に「あの遠近コーナーピンは気難しい」ということは成り立つとすれば清掃しないしそれは晴れがましい; fact2 -> int2: 「あの遠近コーナーピンは気難しい」ということは真実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 気難しいものは清掃しないけど晴れがましい
事実2: あの遠近コーナーピンは気難しくて娘らしい

仮説: あの遠近コーナーピンは清掃しないがそれは晴れがましい
1. 事実1から、推論1: "もし仮に「あの遠近コーナーピンは気難しい」ということは成り立つとすれば清掃しないしそれは晴れがましい"が導かれる
2. 事実2から、推論2: "「あの遠近コーナーピンは気難しい」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。