「「そのチームリーダーは軟弱地でないけれど夥しい」ということは本当だ」ということは嘘である
fact1: 「この仕事上は礼儀正しいかもしくは三千八百ＲＰＭであるか両方ともだ」ということは真実でない fact2: 「その人並みは登録者でなくてちぎれ易くない」ということは成り立たないとしたらあのバレリーナは三千八百ＲＰＭでない fact3: 礼儀正しい物は軟弱地でないがしかし御月見である fact4: 「とある物は憎々しいけどちぎれ易くない」ということは事実でないとするとちぎれ易い fact5: もし仮に「「礼儀正しいかまたは三千八百ＲＰＭだ」ということは成り立たない」物があるならそのチームリーダーは軽侮する fact6: もし仮になにかはカースティだということはないならば「それが登録者だしかつそれは動員する」ということは成り立たない fact7: もし仮に「あのバレリーナは株高であるしさらにそれは赤っぽい」ということは成り立たないとしたらあのストーンズはカースティでない fact8: 仮にあのストーンズがちぎれ易いとしたらこの仕事上は三千八百ＲＰＭでないけど軽侮する fact9: もしもとあるものは軟弱地だということはないけれど夥しいとするとそれは軽侮しない fact10: 「この仕事上は礼儀正しい」ということは成り立つとするとそのチームリーダーは軟弱地でないがしかしそれは夥しい fact11: もし「あるものは登録者であるしおまけにそれは動員する」ということは間違いだとしたら登録者でない fact12: 何かは礼儀正しくない fact13: とある物は登録者だということはないとしたら「憎々しいがしかしちぎれ易くない」ということは誤っている fact14: 何かは三千八百ＲＰＭでない一方で軽侮すれば「それは礼儀正しい」ということは事実だ
fact9 -> int1: もし「そのチームリーダーは軟弱地であるということはないけどそれは夥しい」ということは確かならば「軽侮しない」ということは真実である; void -> assump1: 以下のように仮定する。そのチームリーダーは軟弱地でないけど夥しい; int1 & assump1 -> int2: そのチームリーダーは軽侮しない; fact1 -> int3: 「「礼儀正しいかもしくは三千八百ＲＰＭであるかまたはどちらもだ」ということは誤っている」ものはある; int3 & fact5 -> int4: そのチームリーダーは軽侮する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「そのチームリーダーは軟弱地でないけれど夥しい」ということは成り立つ
fact20 -> int6: もしこの仕事上が三千八百ＲＰＭでないけれどそれが軽侮するならそれは礼儀正しい; fact22 -> int7: もし仮に「あのストーンズは憎々しい一方でそれはちぎれ易くない」ということは成り立たないならそれはちぎれ易い; fact18 -> int8: 仮にあのストーンズは登録者でないならば「憎々しくて加えてそれはちぎれ易くない」ということは成り立たない; fact15 -> int9: 「「あのストーンズは登録者であるししかもそれは動員する」ということは成り立たない」ということは確かであるなら登録者でない; fact19 -> int10: 仮にあのストーンズはカースティでないとすると「それは登録者であるし動員する」ということは誤っている;
$facts$ = fact1: 「この仕事上は礼儀正しいかもしくは三千八百ＲＰＭであるか両方ともだ」ということは真実でない fact2: 「その人並みは登録者でなくてちぎれ易くない」ということは成り立たないとしたらあのバレリーナは三千八百ＲＰＭでない fact3: 礼儀正しい物は軟弱地でないがしかし御月見である fact4: 「とある物は憎々しいけどちぎれ易くない」ということは事実でないとするとちぎれ易い fact5: もし仮に「「礼儀正しいかまたは三千八百ＲＰＭだ」ということは成り立たない」物があるならそのチームリーダーは軽侮する fact6: もし仮になにかはカースティだということはないならば「それが登録者だしかつそれは動員する」ということは成り立たない fact7: もし仮に「あのバレリーナは株高であるしさらにそれは赤っぽい」ということは成り立たないとしたらあのストーンズはカースティでない fact8: 仮にあのストーンズがちぎれ易いとしたらこの仕事上は三千八百ＲＰＭでないけど軽侮する fact9: もしもとあるものは軟弱地だということはないけれど夥しいとするとそれは軽侮しない fact10: 「この仕事上は礼儀正しい」ということは成り立つとするとそのチームリーダーは軟弱地でないがしかしそれは夥しい fact11: もし「あるものは登録者であるしおまけにそれは動員する」ということは間違いだとしたら登録者でない fact12: 何かは礼儀正しくない fact13: とある物は登録者だということはないとしたら「憎々しいがしかしちぎれ易くない」ということは誤っている fact14: 何かは三千八百ＲＰＭでない一方で軽侮すれば「それは礼儀正しい」ということは事実だ ; $hypothesis$ = 「「そのチームリーダーは軟弱地でないけれど夥しい」ということは本当だ」ということは嘘である ; $proof$ = 
fact9 -> int1: もし「そのチームリーダーは軟弱地であるということはないけどそれは夥しい」ということは確かならば「軽侮しない」ということは真実である; void -> assump1: 以下のように仮定する。そのチームリーダーは軟弱地でないけど夥しい; int1 & assump1 -> int2: そのチームリーダーは軽侮しない; fact1 -> int3: 「「礼儀正しいかもしくは三千八百ＲＰＭであるかまたはどちらもだ」ということは誤っている」ものはある; int3 & fact5 -> int4: そのチームリーダーは軽侮する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「この仕事上は礼儀正しいかもしくは三千八百ＲＰＭであるか両方ともだ」ということは真実でない
事実2: 「その人並みは登録者でなくてちぎれ易くない」ということは成り立たないとしたらあのバレリーナは三千八百ＲＰＭでない
事実3: 礼儀正しい物は軟弱地でないがしかし御月見である
事実4: 「とある物は憎々しいけどちぎれ易くない」ということは事実でないとするとちぎれ易い
事実5: もし仮に「「礼儀正しいかまたは三千八百ＲＰＭだ」ということは成り立たない」物があるならそのチームリーダーは軽侮する
事実6: もし仮になにかはカースティだということはないならば「それが登録者だしかつそれは動員する」ということは成り立たない
事実7: もし仮に「あのバレリーナは株高であるしさらにそれは赤っぽい」ということは成り立たないとしたらあのストーンズはカースティでない
事実8: 仮にあのストーンズがちぎれ易いとしたらこの仕事上は三千八百ＲＰＭでないけど軽侮する
事実9: もしもとあるものは軟弱地だということはないけれど夥しいとするとそれは軽侮しない
事実10: 「この仕事上は礼儀正しい」ということは成り立つとするとそのチームリーダーは軟弱地でないがしかしそれは夥しい
事実11: もし「あるものは登録者であるしおまけにそれは動員する」ということは間違いだとしたら登録者でない
事実12: 何かは礼儀正しくない
事実13: とある物は登録者だということはないとしたら「憎々しいがしかしちぎれ易くない」ということは誤っている
事実14: 何かは三千八百ＲＰＭでない一方で軽侮すれば「それは礼儀正しい」ということは事実だ

仮説: 「「そのチームリーダーは軟弱地でないけれど夥しい」ということは本当だ」ということは嘘である
1. 事実9から、推論1: "もし「そのチームリーダーは軟弱地であるということはないけどそれは夥しい」ということは確かならば「軽侮しない」ということは真実である"が導かれる
2. 仮定1: 以下のように仮定する。そのチームリーダーは軟弱地でないけど夥しい
3. 推論1と仮定1から、推論2: "そのチームリーダーは軽侮しない"が導かれる
4. 事実1から、推論3: "「「礼儀正しいかもしくは三千八百ＲＰＭであるかまたはどちらもだ」ということは誤っている」ものはある"が導かれる
5. 推論3と事実5から、推論4: "そのチームリーダーは軽侮する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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