「その肺合併症は西洋社会で結了する」ということは事実でない
fact1: もしあの敗戦直後が外国奉行だとしたらその肺合併症は乗り熟さない fact2: その肺合併症は西洋社会だ fact3: もし「なんらかのものは乗り熟すが西洋社会でない」ということは成り立たないならば「外国奉行である」ということは間違いでない fact4: あの敗戦直後は外国奉行である fact5: もし仮にあの敗戦直後が外国奉行だがしかしそれが粉っぽくないとすればその肺合併症は外国奉行でない fact6: そのラムネ菓子は結了する fact7: あるものが乗り熟さないとすると西洋社会であるししかも結了する
fact1 & fact4 -> int1: その肺合併症は乗り熟さない; fact7 -> int2: もしその肺合併症が乗り熟すということはないならばそれは西洋社会であるし結了する; int1 & int2 -> hypothesis;
「その肺合併症は西洋社会であるしおまけに結了する」ということは間違いである
$facts$ = fact1: もしあの敗戦直後が外国奉行だとしたらその肺合併症は乗り熟さない fact2: その肺合併症は西洋社会だ fact3: もし「なんらかのものは乗り熟すが西洋社会でない」ということは成り立たないならば「外国奉行である」ということは間違いでない fact4: あの敗戦直後は外国奉行である fact5: もし仮にあの敗戦直後が外国奉行だがしかしそれが粉っぽくないとすればその肺合併症は外国奉行でない fact6: そのラムネ菓子は結了する fact7: あるものが乗り熟さないとすると西洋社会であるししかも結了する ; $hypothesis$ = 「その肺合併症は西洋社会で結了する」ということは事実でない ; $proof$ = 
fact1 & fact4 -> int1: その肺合併症は乗り熟さない; fact7 -> int2: もしその肺合併症が乗り熟すということはないならばそれは西洋社会であるし結了する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしあの敗戦直後が外国奉行だとしたらその肺合併症は乗り熟さない
事実2: その肺合併症は西洋社会だ
事実3: もし「なんらかのものは乗り熟すが西洋社会でない」ということは成り立たないならば「外国奉行である」ということは間違いでない
事実4: あの敗戦直後は外国奉行である
事実5: もし仮にあの敗戦直後が外国奉行だがしかしそれが粉っぽくないとすればその肺合併症は外国奉行でない
事実6: そのラムネ菓子は結了する
事実7: あるものが乗り熟さないとすると西洋社会であるししかも結了する

仮説: 「その肺合併症は西洋社会で結了する」ということは事実でない
1. 事実1と事実4から、推論1: "その肺合併症は乗り熟さない"が導かれる
2. 事実7から、推論2: "もしその肺合併症が乗り熟すということはないならばそれは西洋社会であるし結了する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。