あの三田尻は安土桃山でない
fact1: あの三田尻は行儀良くないかまたはそれは清々しい fact2: 「あのパイレーツは宅地造成地である」ということは成り立つならそれは清々しくなくてそれに起き易い fact3: もし仮にあの三田尻が行儀良いということはないなら安土桃山であるしかつそれは築き難い fact4: 築き難くない物は御悪いけど安土桃山でない fact5: 行儀良いということはないものは清々しいがしかし築き難くない fact6: もし仮にあの三田尻が行儀良くないかまたは清々しいならそれは築き難くない
fact4 -> int1: もしあの三田尻が築き難いということはないとしたらそれは御悪くて加えて安土桃山だということはない; fact1 & fact6 -> int2: あの三田尻は築き難くない; int1 & int2 -> int3: あの三田尻は御悪いけれど安土桃山でない; int3 -> hypothesis;
あの三田尻は安土桃山だ
$facts$ = fact1: あの三田尻は行儀良くないかまたはそれは清々しい fact2: 「あのパイレーツは宅地造成地である」ということは成り立つならそれは清々しくなくてそれに起き易い fact3: もし仮にあの三田尻が行儀良いということはないなら安土桃山であるしかつそれは築き難い fact4: 築き難くない物は御悪いけど安土桃山でない fact5: 行儀良いということはないものは清々しいがしかし築き難くない fact6: もし仮にあの三田尻が行儀良くないかまたは清々しいならそれは築き難くない ; $hypothesis$ = あの三田尻は安土桃山でない ; $proof$ = 
fact4 -> int1: もしあの三田尻が築き難いということはないとしたらそれは御悪くて加えて安土桃山だということはない; fact1 & fact6 -> int2: あの三田尻は築き難くない; int1 & int2 -> int3: あの三田尻は御悪いけれど安土桃山でない; int3 -> hypothesis; __PROVED__
事実1: あの三田尻は行儀良くないかまたはそれは清々しい
事実2: 「あのパイレーツは宅地造成地である」ということは成り立つならそれは清々しくなくてそれに起き易い
事実3: もし仮にあの三田尻が行儀良いということはないなら安土桃山であるしかつそれは築き難い
事実4: 築き難くない物は御悪いけど安土桃山でない
事実5: 行儀良いということはないものは清々しいがしかし築き難くない
事実6: もし仮にあの三田尻が行儀良くないかまたは清々しいならそれは築き難くない

仮説: あの三田尻は安土桃山でない
1. 事実4から、推論1: "もしあの三田尻が築き難いということはないとしたらそれは御悪くて加えて安土桃山だということはない"が導かれる
2. 事実1と事実6から、推論2: "あの三田尻は築き難くない"が導かれる
3. 推論1と推論2から、推論3: "あの三田尻は御悪いけれど安土桃山でない"が導かれる
4. 推論3から、仮説が導かれる

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