この半僧坊は崩れ易いかまたはそれは広がり難いということはないかもしくは両方だ
fact1: 「「面白おかしいが大型魚でない」ということは事実な」ものはある fact2: この半僧坊は広がり難いが狭しない fact3: そのライナーは狭し fact4: もしこの半僧坊が大型魚でないとしたらあの御滝ちゃんは面白おかしくておまけに広がり難い fact5: もし仮にこの半僧坊が崩れ易くないならそのライナーは狭しが環境温度でない fact6: もし「「管理システムでない」ということは本当である」ものはあるなら「そのライナーは発砲するし競馬新聞である」ということは成り立たない fact7: 仮に「なにがしかのものは愛し合うし面白おかしい」ということは成り立たないとするとそれは愛し合わない fact8: この半僧坊は崩れ易いか広がり難い fact9: ある物は大型魚でない fact10: もしも「面白おかしいけど大型魚でない」ものはあるなら「あの御滝ちゃんは愛し合うということはない」ということは成り立つ fact11: もし何かは愛し合わないしそれに崩れ易いということはないならばそれは環境温度でない fact12: あの周囲膵実質は管理システムだということはない fact13: あるものは面白おかしい fact14: もし仮に何らかの物は愛し合わないとしたら「それは崩れ易いかあるいは広がり難くないかまたは両方ともだ」ということは間違いだ fact15: もし仮にそのライナーが広がり難いがしかし狭しということはないならこの半僧坊は環境温度である fact16: 仮にこの半僧坊が崩れ易いということはないとしたらそのライナーは狭し fact17: もし仮にこの半僧坊が広がり難いということはないならばあのライナーは崩れ易い一方で環境温度だということはない fact18: そのライナーが狭しが環境温度でないとしたらあの御滝ちゃんは愛し合う fact19: もしも「「発砲するししかも競馬新聞である」ということは間違っている」物があればこの半僧坊は大型魚でない fact20: 何かは面白おかしくて大型魚である
void -> assump1: 以下のように仮定する。この半僧坊は崩れ易くない; fact5 & assump1 -> int1: そのライナーは狭しけれどそれは環境温度だということはない; int1 & fact18 -> int2: あの御滝ちゃんは愛し合う; fact1 & fact10 -> int3: あの御滝ちゃんは愛し合わない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この半僧坊は崩れ易い; int5 -> hypothesis;
あの御滝ちゃんは環境温度でない
fact22 -> int6: もしあの御滝ちゃんが愛し合わないしさらに崩れ易くないなら環境温度でない; fact24 -> int7: 「「管理システムでない」ということは成り立つ」ものはある; int7 & fact25 -> int8: 「そのライナーが発砲するしその上競馬新聞だ」ということは間違いである; int8 -> int9: 「「発砲するし競馬新聞である」ということは誤っている」ものはある; int9 & fact23 -> int10: この半僧坊は大型魚でない; fact21 & int10 -> int11: あの御滝ちゃんは面白おかしいし加えて広がり難い; int11 -> int12: あの御滝ちゃんは広がり難い;
$facts$ = fact1: 「「面白おかしいが大型魚でない」ということは事実な」ものはある fact2: この半僧坊は広がり難いが狭しない fact3: そのライナーは狭し fact4: もしこの半僧坊が大型魚でないとしたらあの御滝ちゃんは面白おかしくておまけに広がり難い fact5: もし仮にこの半僧坊が崩れ易くないならそのライナーは狭しが環境温度でない fact6: もし「「管理システムでない」ということは本当である」ものはあるなら「そのライナーは発砲するし競馬新聞である」ということは成り立たない fact7: 仮に「なにがしかのものは愛し合うし面白おかしい」ということは成り立たないとするとそれは愛し合わない fact8: この半僧坊は崩れ易いか広がり難い fact9: ある物は大型魚でない fact10: もしも「面白おかしいけど大型魚でない」ものはあるなら「あの御滝ちゃんは愛し合うということはない」ということは成り立つ fact11: もし何かは愛し合わないしそれに崩れ易いということはないならばそれは環境温度でない fact12: あの周囲膵実質は管理システムだということはない fact13: あるものは面白おかしい fact14: もし仮に何らかの物は愛し合わないとしたら「それは崩れ易いかあるいは広がり難くないかまたは両方ともだ」ということは間違いだ fact15: もし仮にそのライナーが広がり難いがしかし狭しということはないならこの半僧坊は環境温度である fact16: 仮にこの半僧坊が崩れ易いということはないとしたらそのライナーは狭し fact17: もし仮にこの半僧坊が広がり難いということはないならばあのライナーは崩れ易い一方で環境温度だということはない fact18: そのライナーが狭しが環境温度でないとしたらあの御滝ちゃんは愛し合う fact19: もしも「「発砲するししかも競馬新聞である」ということは間違っている」物があればこの半僧坊は大型魚でない fact20: 何かは面白おかしくて大型魚である ; $hypothesis$ = この半僧坊は崩れ易いかまたはそれは広がり難いということはないかもしくは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この半僧坊は崩れ易くない; fact5 & assump1 -> int1: そのライナーは狭しけれどそれは環境温度だということはない; int1 & fact18 -> int2: あの御滝ちゃんは愛し合う; fact1 & fact10 -> int3: あの御滝ちゃんは愛し合わない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この半僧坊は崩れ易い; int5 -> hypothesis; __PROVED__
事実1: 「「面白おかしいが大型魚でない」ということは事実な」ものはある
事実2: この半僧坊は広がり難いが狭しない
事実3: そのライナーは狭し
事実4: もしこの半僧坊が大型魚でないとしたらあの御滝ちゃんは面白おかしくておまけに広がり難い
事実5: もし仮にこの半僧坊が崩れ易くないならそのライナーは狭しが環境温度でない
事実6: もし「「管理システムでない」ということは本当である」ものはあるなら「そのライナーは発砲するし競馬新聞である」ということは成り立たない
事実7: 仮に「なにがしかのものは愛し合うし面白おかしい」ということは成り立たないとするとそれは愛し合わない
事実8: この半僧坊は崩れ易いか広がり難い
事実9: ある物は大型魚でない
事実10: もしも「面白おかしいけど大型魚でない」ものはあるなら「あの御滝ちゃんは愛し合うということはない」ということは成り立つ
事実11: もし何かは愛し合わないしそれに崩れ易いということはないならばそれは環境温度でない
事実12: あの周囲膵実質は管理システムだということはない
事実13: あるものは面白おかしい
事実14: もし仮に何らかの物は愛し合わないとしたら「それは崩れ易いかあるいは広がり難くないかまたは両方ともだ」ということは間違いだ
事実15: もし仮にそのライナーが広がり難いがしかし狭しということはないならこの半僧坊は環境温度である
事実16: 仮にこの半僧坊が崩れ易いということはないとしたらそのライナーは狭し
事実17: もし仮にこの半僧坊が広がり難いということはないならばあのライナーは崩れ易い一方で環境温度だということはない
事実18: そのライナーが狭しが環境温度でないとしたらあの御滝ちゃんは愛し合う
事実19: もしも「「発砲するししかも競馬新聞である」ということは間違っている」物があればこの半僧坊は大型魚でない
事実20: 何かは面白おかしくて大型魚である

仮説: この半僧坊は崩れ易いかまたはそれは広がり難いということはないかもしくは両方だ
1. 仮定1: 以下のように仮定する。この半僧坊は崩れ易くない
2. 事実5と仮定1から、推論1: "そのライナーは狭しけれどそれは環境温度だということはない"が導かれる
3. 推論1と事実18から、推論2: "あの御滝ちゃんは愛し合う"が導かれる
4. 事実1と事実10から、推論3: "あの御滝ちゃんは愛し合わない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この半僧坊は崩れ易い"が導かれる
7. 推論5から、仮説が導かれる

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