この聖体布は平均化する
fact1: 「その脂溶性ビタミンはしつっこくないがしかしそれは入り難い」ということは嘘だ fact2: 「この聖体布は下げ止まる一方でレモン汁でない」ということは嘘であるとするとあの告別ソナタは如何にする fact3: もしも「あの告別ソナタは如何にする」ということは成り立つならその脂溶性ビタミンは禁止する fact4: 仮になんらかの物が下げ止まる一方でそれはレモン汁でないとするとそれは特別任用令だ fact5: もし仮に「なにかはしつっこいということはないけれどそれは入り難い」ということは間違いであるとすれば禁止しない fact6: 仮にあの告別ソナタが特別任用令でないとしたらこの聖体布は禁止するししかも如何にする fact7: 仮に何かは禁止するということはないとすればそれは平均化しない fact8: 特別任用令は平均化する fact9: もし「この聖体布は平均化しないけど入り難い」ということは成り立つということはないとするとそれは如何にしない
void -> assump1: 以下のように仮定する。「この聖体布は下げ止まるけれどそれはレモン汁でない」ということは成り立たない; fact2 & assump1 -> int1: あの告別ソナタは如何にする; int1 & fact3 -> int2: その脂溶性ビタミンは禁止する; fact5 -> int3: 仮に「その脂溶性ビタミンはしつっこくない一方で入り難い」ということは間違っているなら禁止しない; fact1 & int3 -> int4: その脂溶性ビタミンは禁止しない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この聖体布は下げ止まるがしかしレモン汁でない; fact4 -> int7: この聖体布は下げ止まるけれどレモン汁でないならそれは特別任用令だ; int6 & int7 -> int8: この聖体布は特別任用令である; fact8 -> int9: この聖体布は特別任用令であるとすれば平均化する; int8 & int9 -> hypothesis;
この聖体布はしつっこい
$facts$ = fact1: 「その脂溶性ビタミンはしつっこくないがしかしそれは入り難い」ということは嘘だ fact2: 「この聖体布は下げ止まる一方でレモン汁でない」ということは嘘であるとするとあの告別ソナタは如何にする fact3: もしも「あの告別ソナタは如何にする」ということは成り立つならその脂溶性ビタミンは禁止する fact4: 仮になんらかの物が下げ止まる一方でそれはレモン汁でないとするとそれは特別任用令だ fact5: もし仮に「なにかはしつっこいということはないけれどそれは入り難い」ということは間違いであるとすれば禁止しない fact6: 仮にあの告別ソナタが特別任用令でないとしたらこの聖体布は禁止するししかも如何にする fact7: 仮に何かは禁止するということはないとすればそれは平均化しない fact8: 特別任用令は平均化する fact9: もし「この聖体布は平均化しないけど入り難い」ということは成り立つということはないとするとそれは如何にしない ; $hypothesis$ = この聖体布は平均化する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この聖体布は下げ止まるけれどそれはレモン汁でない」ということは成り立たない; fact2 & assump1 -> int1: あの告別ソナタは如何にする; int1 & fact3 -> int2: その脂溶性ビタミンは禁止する; fact5 -> int3: 仮に「その脂溶性ビタミンはしつっこくない一方で入り難い」ということは間違っているなら禁止しない; fact1 & int3 -> int4: その脂溶性ビタミンは禁止しない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この聖体布は下げ止まるがしかしレモン汁でない; fact4 -> int7: この聖体布は下げ止まるけれどレモン汁でないならそれは特別任用令だ; int6 & int7 -> int8: この聖体布は特別任用令である; fact8 -> int9: この聖体布は特別任用令であるとすれば平均化する; int8 & int9 -> hypothesis; __PROVED__
事実1: 「その脂溶性ビタミンはしつっこくないがしかしそれは入り難い」ということは嘘だ
事実2: 「この聖体布は下げ止まる一方でレモン汁でない」ということは嘘であるとするとあの告別ソナタは如何にする
事実3: もしも「あの告別ソナタは如何にする」ということは成り立つならその脂溶性ビタミンは禁止する
事実4: 仮になんらかの物が下げ止まる一方でそれはレモン汁でないとするとそれは特別任用令だ
事実5: もし仮に「なにかはしつっこいということはないけれどそれは入り難い」ということは間違いであるとすれば禁止しない
事実6: 仮にあの告別ソナタが特別任用令でないとしたらこの聖体布は禁止するししかも如何にする
事実7: 仮に何かは禁止するということはないとすればそれは平均化しない
事実8: 特別任用令は平均化する
事実9: もし「この聖体布は平均化しないけど入り難い」ということは成り立つということはないとするとそれは如何にしない

仮説: この聖体布は平均化する
1. 仮定1: 以下のように仮定する。「この聖体布は下げ止まるけれどそれはレモン汁でない」ということは成り立たない
2. 事実2と仮定1から、推論1: "あの告別ソナタは如何にする"が導かれる
3. 推論1と事実3から、推論2: "その脂溶性ビタミンは禁止する"が導かれる
4. 事実5から、推論3: "仮に「その脂溶性ビタミンはしつっこくない一方で入り難い」ということは間違っているなら禁止しない"が導かれる
5. 事実1と推論3から、推論4: "その脂溶性ビタミンは禁止しない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この聖体布は下げ止まるがしかしレモン汁でない"が導かれる
8. 事実4から、推論7: "この聖体布は下げ止まるけれどレモン汁でないならそれは特別任用令だ"が導かれる
9. 推論6と推論7から、推論8: "この聖体布は特別任用令である"が導かれる
10. 事実8から、推論9: "この聖体布は特別任用令であるとすれば平均化する"が導かれる
11. 推論8と推論9から、仮説が導かれる

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