そのプロパンはタブー視しない
fact1: 何かは丸っこいならばタブー視する fact2: 仮に「その正銀は全権代表であるが関説しない」ということは間違いならあの官主導は調査・分析するということはない fact3: 仮にその正銀が調査・分析するが関説するということはないとすればあの官主導は全権代表でない fact4: 仮に「その和泉式部は関説するししかも熟成する」ということは成り立たないならば汚くない fact5: 仮にその正銀は全権代表でないとしたら「あの官主導は調査・分析しない」ということは事実だ fact6: 仮にその和泉式部が汚くないとするとこの課税売り上げ高は熟成しない fact7: もし仮にとあるものは関説しないとすれば「汚いということはない」ということは成り立つ fact8: もし仮にあの官主導が怖くないとしたらそれは調査・分析する fact9: あの官主導は怖くない fact10: もし「その和泉式部は関説するがしかし熟成しない」ということは偽であるならば「この課税売り上げ高は全権代表でない」ということは本当である fact11: もしもその和泉式部が汚くないならこの課税売り上げ高は汚い一方でそれは熟成しない fact12: もし仮にこの課税売り上げ高が丸っこくないならば汚い fact13: もし仮にその和泉式部が関説しないとしたら汚くない fact14: この課税売り上げ高は熟成しない fact15: あの別れ際はそぼろであるけれど音域でない fact16: その正銀は全権代表である fact17: 仮に「この課税売り上げ高は関説する一方でそれは汚くない」ということは成り立たないとするとその正銀は熟成しない fact18: もしもその正銀は関説しないとすれば「その和泉式部は丸っこいししかも関説する」ということは嘘だ fact19: 仮にこの課税売り上げ高が汚いけれど熟成しないとするとそのプロパンはタブー視しない fact20: もし仮にこの課税売り上げ高が汚くて熟成するとすればそのプロパンはタブー視しない fact21: もし仮に「その和泉式部は関説するしさらに汚い」ということは嘘であるならそれはタブー視しない fact22: もし仮に「何かは丸っこいしそれは関説する」ということは成り立たないならばそれは汚くない fact23: もしもあの官主導は汚いということはないとしたら「この課税売り上げ高は調査・分析するし汚い」ということは間違っている
void -> assump1: 以下のように仮定する。「その正銀は全権代表であるがそれは関説しない」ということは間違っている; fact2 & assump1 -> int1: あの官主導は調査・分析しない; fact9 & fact8 -> int2: あの官主導は調査・分析する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その正銀は全権代表であるけど関説しない; int4 -> int5: その正銀は関説するということはない; int5 & fact18 -> int6: 「その和泉式部は丸っこいし加えて関説する」ということは確かでない; fact22 -> int7: もしも「その和泉式部は丸っこいしおまけに関説する」ということは間違っているとしたらそれは汚くない; int6 & int7 -> int8: その和泉式部は汚くない; int8 & fact11 -> int9: この課税売り上げ高は汚いけれど熟成するということはない; int9 & fact19 -> hypothesis;
そのプロパンはタブー視する
fact24 -> int10: もしもそのプロパンが丸っこいならそれはタブー視する;
$facts$ = fact1: 何かは丸っこいならばタブー視する fact2: 仮に「その正銀は全権代表であるが関説しない」ということは間違いならあの官主導は調査・分析するということはない fact3: 仮にその正銀が調査・分析するが関説するということはないとすればあの官主導は全権代表でない fact4: 仮に「その和泉式部は関説するししかも熟成する」ということは成り立たないならば汚くない fact5: 仮にその正銀は全権代表でないとしたら「あの官主導は調査・分析しない」ということは事実だ fact6: 仮にその和泉式部が汚くないとするとこの課税売り上げ高は熟成しない fact7: もし仮にとあるものは関説しないとすれば「汚いということはない」ということは成り立つ fact8: もし仮にあの官主導が怖くないとしたらそれは調査・分析する fact9: あの官主導は怖くない fact10: もし「その和泉式部は関説するがしかし熟成しない」ということは偽であるならば「この課税売り上げ高は全権代表でない」ということは本当である fact11: もしもその和泉式部が汚くないならこの課税売り上げ高は汚い一方でそれは熟成しない fact12: もし仮にこの課税売り上げ高が丸っこくないならば汚い fact13: もし仮にその和泉式部が関説しないとしたら汚くない fact14: この課税売り上げ高は熟成しない fact15: あの別れ際はそぼろであるけれど音域でない fact16: その正銀は全権代表である fact17: 仮に「この課税売り上げ高は関説する一方でそれは汚くない」ということは成り立たないとするとその正銀は熟成しない fact18: もしもその正銀は関説しないとすれば「その和泉式部は丸っこいししかも関説する」ということは嘘だ fact19: 仮にこの課税売り上げ高が汚いけれど熟成しないとするとそのプロパンはタブー視しない fact20: もし仮にこの課税売り上げ高が汚くて熟成するとすればそのプロパンはタブー視しない fact21: もし仮に「その和泉式部は関説するしさらに汚い」ということは嘘であるならそれはタブー視しない fact22: もし仮に「何かは丸っこいしそれは関説する」ということは成り立たないならばそれは汚くない fact23: もしもあの官主導は汚いということはないとしたら「この課税売り上げ高は調査・分析するし汚い」ということは間違っている ; $hypothesis$ = そのプロパンはタブー視しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その正銀は全権代表であるがそれは関説しない」ということは間違っている; fact2 & assump1 -> int1: あの官主導は調査・分析しない; fact9 & fact8 -> int2: あの官主導は調査・分析する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その正銀は全権代表であるけど関説しない; int4 -> int5: その正銀は関説するということはない; int5 & fact18 -> int6: 「その和泉式部は丸っこいし加えて関説する」ということは確かでない; fact22 -> int7: もしも「その和泉式部は丸っこいしおまけに関説する」ということは間違っているとしたらそれは汚くない; int6 & int7 -> int8: その和泉式部は汚くない; int8 & fact11 -> int9: この課税売り上げ高は汚いけれど熟成するということはない; int9 & fact19 -> hypothesis; __PROVED__
事実1: 何かは丸っこいならばタブー視する
事実2: 仮に「その正銀は全権代表であるが関説しない」ということは間違いならあの官主導は調査・分析するということはない
事実3: 仮にその正銀が調査・分析するが関説するということはないとすればあの官主導は全権代表でない
事実4: 仮に「その和泉式部は関説するししかも熟成する」ということは成り立たないならば汚くない
事実5: 仮にその正銀は全権代表でないとしたら「あの官主導は調査・分析しない」ということは事実だ
事実6: 仮にその和泉式部が汚くないとするとこの課税売り上げ高は熟成しない
事実7: もし仮にとあるものは関説しないとすれば「汚いということはない」ということは成り立つ
事実8: もし仮にあの官主導が怖くないとしたらそれは調査・分析する
事実9: あの官主導は怖くない
事実10: もし「その和泉式部は関説するがしかし熟成しない」ということは偽であるならば「この課税売り上げ高は全権代表でない」ということは本当である
事実11: もしもその和泉式部が汚くないならこの課税売り上げ高は汚い一方でそれは熟成しない
事実12: もし仮にこの課税売り上げ高が丸っこくないならば汚い
事実13: もし仮にその和泉式部が関説しないとしたら汚くない
事実14: この課税売り上げ高は熟成しない
事実15: あの別れ際はそぼろであるけれど音域でない
事実16: その正銀は全権代表である
事実17: 仮に「この課税売り上げ高は関説する一方でそれは汚くない」ということは成り立たないとするとその正銀は熟成しない
事実18: もしもその正銀は関説しないとすれば「その和泉式部は丸っこいししかも関説する」ということは嘘だ
事実19: 仮にこの課税売り上げ高が汚いけれど熟成しないとするとそのプロパンはタブー視しない
事実20: もし仮にこの課税売り上げ高が汚くて熟成するとすればそのプロパンはタブー視しない
事実21: もし仮に「その和泉式部は関説するしさらに汚い」ということは嘘であるならそれはタブー視しない
事実22: もし仮に「何かは丸っこいしそれは関説する」ということは成り立たないならばそれは汚くない
事実23: もしもあの官主導は汚いということはないとしたら「この課税売り上げ高は調査・分析するし汚い」ということは間違っている

仮説: そのプロパンはタブー視しない
1. 仮定1: 以下のように仮定する。「その正銀は全権代表であるがそれは関説しない」ということは間違っている
2. 事実2と仮定1から、推論1: "あの官主導は調査・分析しない"が導かれる
3. 事実9と事実8から、推論2: "あの官主導は調査・分析する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その正銀は全権代表であるけど関説しない"が導かれる
6. 推論4から、推論5: "その正銀は関説するということはない"が導かれる
7. 推論5と事実18から、推論6: "「その和泉式部は丸っこいし加えて関説する」ということは確かでない"が導かれる
8. 事実22から、推論7: "もしも「その和泉式部は丸っこいしおまけに関説する」ということは間違っているとしたらそれは汚くない"が導かれる
9. 推論6と推論7から、推論8: "その和泉式部は汚くない"が導かれる
10. 推論8と事実11から、推論9: "この課税売り上げ高は汚いけれど熟成するということはない"が導かれる
11. 推論9と事実19から、仮説が導かれる

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