「この調整過程は怖くて入出力する」ということは事実と異なる
fact1: もし仮にとある物は配車であるということはないならそれは入出力するし受忍義務である fact2: もしも「「卒業試験な」物はある」ということは成り立つとするとあのスーパーマンは欲するか白日であるかあるいはどちらもである fact3: もし仮にあるものは怖いとしたら「それは欲するしおまけに白日でない」ということは成り立つということはない fact4: 何かは大歓迎しなくてしかも卒業試験でない fact5: もし仮に「欲しない」ものはあるなら「「あのスーパーマンは受忍義務だが無声化し易いということはない」ということは本当である」ということは嘘である fact6: もし仮になにがしかの物が配車ならこの描画は客でない fact7: もしもなにかは受忍義務であるとすると「それは客でそれにそれはテレフォンカードだ」ということは真実でない fact8: 「「あのスーパーマンは受忍義務だ一方で欲するということはない」ということは偽でない」ということは誤っているとするとその代位弁済額は白日でない fact9: 「あの免疫複合体は自動車販売会社でない」ということは確かである fact10: もしも「配車な」物があるならこの描画は客でないけれどテレフォンカードである fact11: もしも何かは受忍義務だとしたら「「それは客でなくておまけにそれはテレフォンカードである」ということは真実だ」ということは偽である fact12: あるものは配車だ fact13: 仮に「大歓迎するということはないしまた卒業試験でない」ものがあるとするとこの調整過程は好ましくない fact14: もしあのスーパーマンが受忍義務でないとするとその代位弁済額は白日でない fact15: もし「とあるものは欲する一方でそれは白日でない」ということは間違いであるならそれは欲しない fact16: もしその代位弁済額は白日でないとすると「この調整過程は怖くて入出力する」ということは間違いだ fact17: 仮にこの描画は受忍義務でないなら「あのスーパーマンは受忍義務であるけどそれは欲しない」ということは間違っている fact18: もしもあの免疫複合体が自動車販売会社でないなら卒業試験でなくてしかもそれは窓口セールスである fact19: あのスーパーマンは白日であるとすれば「この調整過程は怖い」ということは成り立つ fact20: 仮に「好ましいということはない」物があるならその代位弁済額は配車だということはないけれど入出力する fact21: もしもなにかは入出力するとしたら「怖い」ということは正しい fact22: 「「この描画が客だしテレフォンカードだ」ということは確かである」ということは成り立たない fact23: もしもあの免疫複合体が卒業試験でないけれどそれが窓口セールスであるとするとあのトゥアは卒業試験だ fact24: もしあのスーパーマンは欲するとすると「この調整過程は怖い」ということは正しい
fact11 -> int1: 仮にこの描画は受忍義務であるとしたら「客でないがしかしテレフォンカードだ」ということは誤りである; void -> assump1: 以下のように仮定する。この描画は受忍義務だ; int1 & assump1 -> int2: 「この描画は客でないがしかしそれはテレフォンカードだ」ということは嘘である; fact10 & fact12 -> int3: この描画は客でないがしかしそれはテレフォンカードだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この描画は受忍義務でない」ということは成り立つ; int5 & fact17 -> int6: 「あのスーパーマンは受忍義務で加えて欲しない」ということは嘘だ; int6 & fact8 -> int7: その代位弁済額は白日でない; int7 & fact16 -> hypothesis;
「あのスーパーマンは受忍義務であるけれど無声化し易くない」ということは成り立たない
fact30 -> int8: もしも「その代位弁済額は欲するがそれは白日でない」ということは成り立たないとしたら欲するということはない; fact29 -> int9: もしその代位弁済額は怖いとしたら「欲するし白日でない」ということは事実と異なる; fact26 -> int10: その代位弁済額が入出力するとするとそれは怖い; fact27 & fact25 -> int11: 「この調整過程は好ましくない」ということは成り立つ; int11 -> int12: 何らかの物は好ましくない; int12 & fact28 -> int13: その代位弁済額は配車でないけど入出力する; int13 -> int14: その代位弁済額は入出力する; int10 & int14 -> int15: その代位弁済額は怖い; int9 & int15 -> int16: 「その代位弁済額は欲するがしかし白日でない」ということは偽だ; int8 & int16 -> int17: その代位弁済額は欲しない; int17 -> int18: 何かは欲しない; int18 & fact31 -> hypothesis;
$facts$ = fact1: もし仮にとある物は配車であるということはないならそれは入出力するし受忍義務である fact2: もしも「「卒業試験な」物はある」ということは成り立つとするとあのスーパーマンは欲するか白日であるかあるいはどちらもである fact3: もし仮にあるものは怖いとしたら「それは欲するしおまけに白日でない」ということは成り立つということはない fact4: 何かは大歓迎しなくてしかも卒業試験でない fact5: もし仮に「欲しない」ものはあるなら「「あのスーパーマンは受忍義務だが無声化し易いということはない」ということは本当である」ということは嘘である fact6: もし仮になにがしかの物が配車ならこの描画は客でない fact7: もしもなにかは受忍義務であるとすると「それは客でそれにそれはテレフォンカードだ」ということは真実でない fact8: 「「あのスーパーマンは受忍義務だ一方で欲するということはない」ということは偽でない」ということは誤っているとするとその代位弁済額は白日でない fact9: 「あの免疫複合体は自動車販売会社でない」ということは確かである fact10: もしも「配車な」物があるならこの描画は客でないけれどテレフォンカードである fact11: もしも何かは受忍義務だとしたら「「それは客でなくておまけにそれはテレフォンカードである」ということは真実だ」ということは偽である fact12: あるものは配車だ fact13: 仮に「大歓迎するということはないしまた卒業試験でない」ものがあるとするとこの調整過程は好ましくない fact14: もしあのスーパーマンが受忍義務でないとするとその代位弁済額は白日でない fact15: もし「とあるものは欲する一方でそれは白日でない」ということは間違いであるならそれは欲しない fact16: もしその代位弁済額は白日でないとすると「この調整過程は怖くて入出力する」ということは間違いだ fact17: 仮にこの描画は受忍義務でないなら「あのスーパーマンは受忍義務であるけどそれは欲しない」ということは間違っている fact18: もしもあの免疫複合体が自動車販売会社でないなら卒業試験でなくてしかもそれは窓口セールスである fact19: あのスーパーマンは白日であるとすれば「この調整過程は怖い」ということは成り立つ fact20: 仮に「好ましいということはない」物があるならその代位弁済額は配車だということはないけれど入出力する fact21: もしもなにかは入出力するとしたら「怖い」ということは正しい fact22: 「「この描画が客だしテレフォンカードだ」ということは確かである」ということは成り立たない fact23: もしもあの免疫複合体が卒業試験でないけれどそれが窓口セールスであるとするとあのトゥアは卒業試験だ fact24: もしあのスーパーマンは欲するとすると「この調整過程は怖い」ということは正しい ; $hypothesis$ = 「この調整過程は怖くて入出力する」ということは事実と異なる ; $proof$ = 
fact11 -> int1: 仮にこの描画は受忍義務であるとしたら「客でないがしかしテレフォンカードだ」ということは誤りである; void -> assump1: 以下のように仮定する。この描画は受忍義務だ; int1 & assump1 -> int2: 「この描画は客でないがしかしそれはテレフォンカードだ」ということは嘘である; fact10 & fact12 -> int3: この描画は客でないがしかしそれはテレフォンカードだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この描画は受忍義務でない」ということは成り立つ; int5 & fact17 -> int6: 「あのスーパーマンは受忍義務で加えて欲しない」ということは嘘だ; int6 & fact8 -> int7: その代位弁済額は白日でない; int7 & fact16 -> hypothesis; __PROVED__
事実1: もし仮にとある物は配車であるということはないならそれは入出力するし受忍義務である
事実2: もしも「「卒業試験な」物はある」ということは成り立つとするとあのスーパーマンは欲するか白日であるかあるいはどちらもである
事実3: もし仮にあるものは怖いとしたら「それは欲するしおまけに白日でない」ということは成り立つということはない
事実4: 何かは大歓迎しなくてしかも卒業試験でない
事実5: もし仮に「欲しない」ものはあるなら「「あのスーパーマンは受忍義務だが無声化し易いということはない」ということは本当である」ということは嘘である
事実6: もし仮になにがしかの物が配車ならこの描画は客でない
事実7: もしもなにかは受忍義務であるとすると「それは客でそれにそれはテレフォンカードだ」ということは真実でない
事実8: 「「あのスーパーマンは受忍義務だ一方で欲するということはない」ということは偽でない」ということは誤っているとするとその代位弁済額は白日でない
事実9: 「あの免疫複合体は自動車販売会社でない」ということは確かである
事実10: もしも「配車な」物があるならこの描画は客でないけれどテレフォンカードである
事実11: もしも何かは受忍義務だとしたら「「それは客でなくておまけにそれはテレフォンカードである」ということは真実だ」ということは偽である
事実12: あるものは配車だ
事実13: 仮に「大歓迎するということはないしまた卒業試験でない」ものがあるとするとこの調整過程は好ましくない
事実14: もしあのスーパーマンが受忍義務でないとするとその代位弁済額は白日でない
事実15: もし「とあるものは欲する一方でそれは白日でない」ということは間違いであるならそれは欲しない
事実16: もしその代位弁済額は白日でないとすると「この調整過程は怖くて入出力する」ということは間違いだ
事実17: 仮にこの描画は受忍義務でないなら「あのスーパーマンは受忍義務であるけどそれは欲しない」ということは間違っている
事実18: もしもあの免疫複合体が自動車販売会社でないなら卒業試験でなくてしかもそれは窓口セールスである
事実19: あのスーパーマンは白日であるとすれば「この調整過程は怖い」ということは成り立つ
事実20: 仮に「好ましいということはない」物があるならその代位弁済額は配車だということはないけれど入出力する
事実21: もしもなにかは入出力するとしたら「怖い」ということは正しい
事実22: 「「この描画が客だしテレフォンカードだ」ということは確かである」ということは成り立たない
事実23: もしもあの免疫複合体が卒業試験でないけれどそれが窓口セールスであるとするとあのトゥアは卒業試験だ
事実24: もしあのスーパーマンは欲するとすると「この調整過程は怖い」ということは正しい

仮説: 「この調整過程は怖くて入出力する」ということは事実と異なる
1. 事実11から、推論1: "仮にこの描画は受忍義務であるとしたら「客でないがしかしテレフォンカードだ」ということは誤りである"が導かれる
2. 仮定1: 以下のように仮定する。この描画は受忍義務だ
3. 推論1と仮定1から、推論2: "「この描画は客でないがしかしそれはテレフォンカードだ」ということは嘘である"が導かれる
4. 事実10と事実12から、推論3: "この描画は客でないがしかしそれはテレフォンカードだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この描画は受忍義務でない」ということは成り立つ"が導かれる
7. 推論5と事実17から、推論6: "「あのスーパーマンは受忍義務で加えて欲しない」ということは嘘だ"が導かれる
8. 推論6と事実8から、推論7: "その代位弁済額は白日でない"が導かれる
9. 推論7と事実16から、仮説が導かれる

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