あの退陣はスパゲッティであるけど掛け捲らない
fact1: もしあの等分布荷重が堅苦しいとしたらこのレコード番号は革命政府だ fact2: もし何かは堅苦しいとすると「それはスパゲッティだがしかし掛け捲らない」ということは成り立たない fact3: もしも「このレコード番号は革命政府であるしまた爆笑する」ということは確かでないとしたら掛け捲らない fact4: もし仮にあの周波数帯が毒殺でないとすればこのシャイニングは爆笑しない fact5: 仮に「あの周波数帯は爆笑するし信じ切る」ということは偽であるならば毒殺でない fact6: あの等分布荷重は堅苦しくないとすれば「あの退陣は信じ切るしかつ如才無い」ということは正しくない fact7: もしもこのシャイニングがホモハビリスだということはないとすれば掛け捲らない fact8: もしもなにがしかの物が掛け捲らないならば革命政府でない fact9: このレコード番号はホモハビリスだ fact10: このシャイニングは爆笑するし更にホモハビリスだ fact11: もしこのシャイニングが堅苦しいとすればあの等分布荷重はホモハビリスでない fact12: もし仮に「なにがしかのものは信じ切るしまた如才無い」ということは誤りであるとしたら四角くない fact13: もしも「なにがしかのものは掛け捲るしかつそれは如才無い」ということは成り立たないならば「それは堅苦しくない」ということは真実だ fact14: 四角くない物はスパゲッティであるけれど掛け捲らない fact15: もし仮にこのレコード番号は革命政府であるなら「あの周波数帯は毒殺でない」ということは本当である fact16: このシャイニングは掛け捲る
void -> assump1: 以下のように仮定する。あの等分布荷重は堅苦しい; fact1 & assump1 -> int1: このレコード番号は革命政府である; int1 & fact15 -> int2: あの周波数帯は毒殺でない; int2 & fact4 -> int3: このシャイニングは爆笑しない; fact10 -> int4: このシャイニングは爆笑する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの等分布荷重は堅苦しくない; int6 & fact6 -> int7: 「「あの退陣は信じ切るし如才無い」ということは真実である」ということは偽だ; fact12 -> int8: もし仮に「あの退陣が信じ切るしその上如才無い」ということは成り立つということはないとすると四角くない; int7 & int8 -> int9: あの退陣は四角くない; fact14 -> int10: もし仮にあの退陣が四角くないとしたらそれはスパゲッティでその上掛け捲らない; int9 & int10 -> hypothesis;
「あの退陣はスパゲッティだけれど掛け捲らない」ということは成り立たない
fact17 -> int11: 仮にあの退陣は堅苦しいとすると「それはスパゲッティであるけれど掛け捲らない」ということは成り立たない;
$facts$ = fact1: もしあの等分布荷重が堅苦しいとしたらこのレコード番号は革命政府だ fact2: もし何かは堅苦しいとすると「それはスパゲッティだがしかし掛け捲らない」ということは成り立たない fact3: もしも「このレコード番号は革命政府であるしまた爆笑する」ということは確かでないとしたら掛け捲らない fact4: もし仮にあの周波数帯が毒殺でないとすればこのシャイニングは爆笑しない fact5: 仮に「あの周波数帯は爆笑するし信じ切る」ということは偽であるならば毒殺でない fact6: あの等分布荷重は堅苦しくないとすれば「あの退陣は信じ切るしかつ如才無い」ということは正しくない fact7: もしもこのシャイニングがホモハビリスだということはないとすれば掛け捲らない fact8: もしもなにがしかの物が掛け捲らないならば革命政府でない fact9: このレコード番号はホモハビリスだ fact10: このシャイニングは爆笑するし更にホモハビリスだ fact11: もしこのシャイニングが堅苦しいとすればあの等分布荷重はホモハビリスでない fact12: もし仮に「なにがしかのものは信じ切るしまた如才無い」ということは誤りであるとしたら四角くない fact13: もしも「なにがしかのものは掛け捲るしかつそれは如才無い」ということは成り立たないならば「それは堅苦しくない」ということは真実だ fact14: 四角くない物はスパゲッティであるけれど掛け捲らない fact15: もし仮にこのレコード番号は革命政府であるなら「あの周波数帯は毒殺でない」ということは本当である fact16: このシャイニングは掛け捲る ; $hypothesis$ = あの退陣はスパゲッティであるけど掛け捲らない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの等分布荷重は堅苦しい; fact1 & assump1 -> int1: このレコード番号は革命政府である; int1 & fact15 -> int2: あの周波数帯は毒殺でない; int2 & fact4 -> int3: このシャイニングは爆笑しない; fact10 -> int4: このシャイニングは爆笑する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの等分布荷重は堅苦しくない; int6 & fact6 -> int7: 「「あの退陣は信じ切るし如才無い」ということは真実である」ということは偽だ; fact12 -> int8: もし仮に「あの退陣が信じ切るしその上如才無い」ということは成り立つということはないとすると四角くない; int7 & int8 -> int9: あの退陣は四角くない; fact14 -> int10: もし仮にあの退陣が四角くないとしたらそれはスパゲッティでその上掛け捲らない; int9 & int10 -> hypothesis; __PROVED__
事実1: もしあの等分布荷重が堅苦しいとしたらこのレコード番号は革命政府だ
事実2: もし何かは堅苦しいとすると「それはスパゲッティだがしかし掛け捲らない」ということは成り立たない
事実3: もしも「このレコード番号は革命政府であるしまた爆笑する」ということは確かでないとしたら掛け捲らない
事実4: もし仮にあの周波数帯が毒殺でないとすればこのシャイニングは爆笑しない
事実5: 仮に「あの周波数帯は爆笑するし信じ切る」ということは偽であるならば毒殺でない
事実6: あの等分布荷重は堅苦しくないとすれば「あの退陣は信じ切るしかつ如才無い」ということは正しくない
事実7: もしもこのシャイニングがホモハビリスだということはないとすれば掛け捲らない
事実8: もしもなにがしかの物が掛け捲らないならば革命政府でない
事実9: このレコード番号はホモハビリスだ
事実10: このシャイニングは爆笑するし更にホモハビリスだ
事実11: もしこのシャイニングが堅苦しいとすればあの等分布荷重はホモハビリスでない
事実12: もし仮に「なにがしかのものは信じ切るしまた如才無い」ということは誤りであるとしたら四角くない
事実13: もしも「なにがしかのものは掛け捲るしかつそれは如才無い」ということは成り立たないならば「それは堅苦しくない」ということは真実だ
事実14: 四角くない物はスパゲッティであるけれど掛け捲らない
事実15: もし仮にこのレコード番号は革命政府であるなら「あの周波数帯は毒殺でない」ということは本当である
事実16: このシャイニングは掛け捲る

仮説: あの退陣はスパゲッティであるけど掛け捲らない
1. 仮定1: 以下のように仮定する。あの等分布荷重は堅苦しい
2. 事実1と仮定1から、推論1: "このレコード番号は革命政府である"が導かれる
3. 推論1と事実15から、推論2: "あの周波数帯は毒殺でない"が導かれる
4. 推論2と事実4から、推論3: "このシャイニングは爆笑しない"が導かれる
5. 事実10から、推論4: "このシャイニングは爆笑する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの等分布荷重は堅苦しくない"が導かれる
8. 推論6と事実6から、推論7: "「「あの退陣は信じ切るし如才無い」ということは真実である」ということは偽だ"が導かれる
9. 事実12から、推論8: "もし仮に「あの退陣が信じ切るしその上如才無い」ということは成り立つということはないとすると四角くない"が導かれる
10. 推論7と推論8から、推論9: "あの退陣は四角くない"が導かれる
11. 事実14から、推論10: "もし仮にあの退陣が四角くないとしたらそれはスパゲッティでその上掛け捲らない"が導かれる
12. 推論9と推論10から、仮説が導かれる

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