「あの南下は国務長官であるかあるいはそれはタイトルらしくない」ということは偽だ
fact1: もしも「その病気は国務長官である」ということは事実であるとしたらあの南下は国務長官であるかもしくはタイトルらしくない fact2: タイトルらしい物は国務長官であるかもしくは蓄積され易くないかもしくは両方である fact3: あの哲学史講義は蓄積され易くないかまたはそれは若しかあるいは両方ともである fact4: 仮に「なにかはだだっ広いけれどそれは蓄積され易くない」ということは誤っているとしたらそれは国務長官である fact5: 何もかもは蓄積され易いか消し終わるかもしくは両方だ fact6: もしもあの不安神経症が消し終わるならタイトルらしい fact7: その病気が図れないしさらにそれは蓄積され易くない fact8: 「あの哲学史講義が九十人であるけれど烏滸はましくらない」ということは嘘である fact9: 「あの南下はタイトルらしいし更にそれは蓄積され易い」ということは誤っている fact10: 仮になんらかのものはだだっ広いならば「図れなくて加えて若しない」ということは嘘だ fact11: 仮にあの哲学史講義はだだっ広くないとすれば「その病気はだだっ広いけど蓄積され易くない」ということは正しくない fact12: あの哲学史講義は蓄積され易くないかあるいは図れないかあるいはどちらもである fact13: 「あのコンピュータ部門はだだっ広いということはないしその上消し終わらない」ということは嘘である fact14: あの哲学史講義は済ま無い fact15: あの南下は若しないかあるいはオペアンプであるかどちらもである fact16: 「あの哲学史講義が九十人だがしかし烏滸はましくらない」ということは嘘であるなら図れない fact17: 仮になにかは蓄積され易いとするとだだっ広い fact18: この粗品は厚いかもしくは確定保険料であるかあるいは両方である fact19: 「この風采は気恥ずかしいということはなくて烏滸がましいということはない」ということは本当でない fact20: もしもあのコンピュータ部門が官僚主導型でないかもしくは消し終わらないかもしくは両方ともであるとするとあの哲学史講義は若しない fact21: あのコンピュータ部門は官僚主導型でないかあるいは消し終わらないかあるいはどちらもだ fact22: あの哲学史講義は烏滸がましいかあるいはそれは国務長官であるかまたは両方ともである
fact10 -> int1: もし「あの哲学史講義はだだっ広い」ということは正しいとすると「「それは図れなくて加えて若しということはない」ということは真実だ」ということは成り立たない; void -> assump1: 以下のように仮定する。「あの哲学史講義はだだっ広い」ということは真実である; int1 & assump1 -> int2: 「あの哲学史講義は図れないしまた若しということはない」ということは正しいということはない; fact16 & fact8 -> int3: あの哲学史講義は図れない; fact21 & fact20 -> int4: あの哲学史講義は若しない; int3 & int4 -> int5: あの哲学史講義は図れなくてまたそれは若しない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの哲学史講義はだだっ広くない; int7 & fact11 -> int8: 「その病気はだだっ広いがそれは蓄積され易くない」ということは成り立つということはない; fact4 -> int9: もし仮に「「その病気はだだっ広いけど蓄積され易くない」ということは正しくない」ということは確かであるとするとそれは国務長官だ; int8 & int9 -> int10: その病気は国務長官である; int10 & fact1 -> hypothesis;
あの不安神経症は図れる
fact23 -> int11: もし仮にあの不安神経症がタイトルらしいならばそれは国務長官であるかそれは蓄積され易くないかまたは両方ともだ;
$facts$ = fact1: もしも「その病気は国務長官である」ということは事実であるとしたらあの南下は国務長官であるかもしくはタイトルらしくない fact2: タイトルらしい物は国務長官であるかもしくは蓄積され易くないかもしくは両方である fact3: あの哲学史講義は蓄積され易くないかまたはそれは若しかあるいは両方ともである fact4: 仮に「なにかはだだっ広いけれどそれは蓄積され易くない」ということは誤っているとしたらそれは国務長官である fact5: 何もかもは蓄積され易いか消し終わるかもしくは両方だ fact6: もしもあの不安神経症が消し終わるならタイトルらしい fact7: その病気が図れないしさらにそれは蓄積され易くない fact8: 「あの哲学史講義が九十人であるけれど烏滸はましくらない」ということは嘘である fact9: 「あの南下はタイトルらしいし更にそれは蓄積され易い」ということは誤っている fact10: 仮になんらかのものはだだっ広いならば「図れなくて加えて若しない」ということは嘘だ fact11: 仮にあの哲学史講義はだだっ広くないとすれば「その病気はだだっ広いけど蓄積され易くない」ということは正しくない fact12: あの哲学史講義は蓄積され易くないかあるいは図れないかあるいはどちらもである fact13: 「あのコンピュータ部門はだだっ広いということはないしその上消し終わらない」ということは嘘である fact14: あの哲学史講義は済ま無い fact15: あの南下は若しないかあるいはオペアンプであるかどちらもである fact16: 「あの哲学史講義が九十人だがしかし烏滸はましくらない」ということは嘘であるなら図れない fact17: 仮になにかは蓄積され易いとするとだだっ広い fact18: この粗品は厚いかもしくは確定保険料であるかあるいは両方である fact19: 「この風采は気恥ずかしいということはなくて烏滸がましいということはない」ということは本当でない fact20: もしもあのコンピュータ部門が官僚主導型でないかもしくは消し終わらないかもしくは両方ともであるとするとあの哲学史講義は若しない fact21: あのコンピュータ部門は官僚主導型でないかあるいは消し終わらないかあるいはどちらもだ fact22: あの哲学史講義は烏滸がましいかあるいはそれは国務長官であるかまたは両方ともである ; $hypothesis$ = 「あの南下は国務長官であるかあるいはそれはタイトルらしくない」ということは偽だ ; $proof$ = 
fact10 -> int1: もし「あの哲学史講義はだだっ広い」ということは正しいとすると「「それは図れなくて加えて若しということはない」ということは真実だ」ということは成り立たない; void -> assump1: 以下のように仮定する。「あの哲学史講義はだだっ広い」ということは真実である; int1 & assump1 -> int2: 「あの哲学史講義は図れないしまた若しということはない」ということは正しいということはない; fact16 & fact8 -> int3: あの哲学史講義は図れない; fact21 & fact20 -> int4: あの哲学史講義は若しない; int3 & int4 -> int5: あの哲学史講義は図れなくてまたそれは若しない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの哲学史講義はだだっ広くない; int7 & fact11 -> int8: 「その病気はだだっ広いがそれは蓄積され易くない」ということは成り立つということはない; fact4 -> int9: もし仮に「「その病気はだだっ広いけど蓄積され易くない」ということは正しくない」ということは確かであるとするとそれは国務長官だ; int8 & int9 -> int10: その病気は国務長官である; int10 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「その病気は国務長官である」ということは事実であるとしたらあの南下は国務長官であるかもしくはタイトルらしくない
事実2: タイトルらしい物は国務長官であるかもしくは蓄積され易くないかもしくは両方である
事実3: あの哲学史講義は蓄積され易くないかまたはそれは若しかあるいは両方ともである
事実4: 仮に「なにかはだだっ広いけれどそれは蓄積され易くない」ということは誤っているとしたらそれは国務長官である
事実5: 何もかもは蓄積され易いか消し終わるかもしくは両方だ
事実6: もしもあの不安神経症が消し終わるならタイトルらしい
事実7: その病気が図れないしさらにそれは蓄積され易くない
事実8: 「あの哲学史講義が九十人であるけれど烏滸はましくらない」ということは嘘である
事実9: 「あの南下はタイトルらしいし更にそれは蓄積され易い」ということは誤っている
事実10: 仮になんらかのものはだだっ広いならば「図れなくて加えて若しない」ということは嘘だ
事実11: 仮にあの哲学史講義はだだっ広くないとすれば「その病気はだだっ広いけど蓄積され易くない」ということは正しくない
事実12: あの哲学史講義は蓄積され易くないかあるいは図れないかあるいはどちらもである
事実13: 「あのコンピュータ部門はだだっ広いということはないしその上消し終わらない」ということは嘘である
事実14: あの哲学史講義は済ま無い
事実15: あの南下は若しないかあるいはオペアンプであるかどちらもである
事実16: 「あの哲学史講義が九十人だがしかし烏滸はましくらない」ということは嘘であるなら図れない
事実17: 仮になにかは蓄積され易いとするとだだっ広い
事実18: この粗品は厚いかもしくは確定保険料であるかあるいは両方である
事実19: 「この風采は気恥ずかしいということはなくて烏滸がましいということはない」ということは本当でない
事実20: もしもあのコンピュータ部門が官僚主導型でないかもしくは消し終わらないかもしくは両方ともであるとするとあの哲学史講義は若しない
事実21: あのコンピュータ部門は官僚主導型でないかあるいは消し終わらないかあるいはどちらもだ
事実22: あの哲学史講義は烏滸がましいかあるいはそれは国務長官であるかまたは両方ともである

仮説: 「あの南下は国務長官であるかあるいはそれはタイトルらしくない」ということは偽だ
1. 事実10から、推論1: "もし「あの哲学史講義はだだっ広い」ということは正しいとすると「「それは図れなくて加えて若しということはない」ということは真実だ」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。「あの哲学史講義はだだっ広い」ということは真実である
3. 推論1と仮定1から、推論2: "「あの哲学史講義は図れないしまた若しということはない」ということは正しいということはない"が導かれる
4. 事実16と事実8から、推論3: "あの哲学史講義は図れない"が導かれる
5. 事実21と事実20から、推論4: "あの哲学史講義は若しない"が導かれる
6. 推論3と推論4から、推論5: "あの哲学史講義は図れなくてまたそれは若しない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの哲学史講義はだだっ広くない"が導かれる
9. 推論7と事実11から、推論8: "「その病気はだだっ広いがそれは蓄積され易くない」ということは成り立つということはない"が導かれる
10. 事実4から、推論9: "もし仮に「「その病気はだだっ広いけど蓄積され易くない」ということは正しくない」ということは確かであるとするとそれは国務長官だ"が導かれる
11. 推論8と推論9から、推論10: "その病気は国務長官である"が導かれる
12. 推論10と事実1から、仮説が否定される

よって、仮説が否定されました。