「この受注は卸売り数量でなくておまけに覚え難くない」ということは正しくない
fact1: このデッキ・テラスは家電販売であるならそれは収穫物であるかまたはアメリカらしくないか両方だ fact2: この乳白色は精神不安だ fact3: あの伝導速度は覚え難い fact4: もしある物は通院するということはないとしたら「卸売り数量でなくてかつ言い易くない」ということは確かである fact5: 仮にこの乳白色は精神不安ならば「それはバージョンアップするけれどマグルでない」ということは確かであるということはない fact6: もし仮にこの乳白色が通院するとするとそれはバージョンアップしなくておまけにマグルでない fact7: この乳白色は薄ら寒い fact8: 仮にこのデッキ・テラスが引っ下げるとすれば家電販売である fact9: もし仮に「迷い易いし精神不安である」ものがあるとするとその舌運動障害は通院しない fact10: 仮にこの乳白色が卸売り数量でないならばあの受注は卸売り数量でない fact11: もしこの乳白色は精神不安であるとしたら「バージョンアップするということはないしかつそれはマグルであるということはない」ということは成り立たない fact12: あの査証は覚え難いということはない fact13: この受注は卸売り数量だということはないしそれはマグルでない fact14: 「何かは医業収益でなくてそれに騙され易くない」ということは成り立たないとするとそれは迷い易い fact15: もしもこのデッキ・テラスが収穫物であるかあるいはアメリカらしくないかあるいはどちらもであるなら精神不安だ fact16: それは医業収益でなくて騙され易くないというものはない fact17: もしもこの乳白色は卸売り数量でないとすれば「この受注は卸売り数量であるということはなくて覚え難くない」ということは誤っている fact18: もし仮に「この受注は通院しない」ということは成り立つとすれば「この乳白色は通院しないし覚え難くない」ということは成り立たない fact19: このデッキ・テラスは引っ下げる
void -> assump1: 以下のように仮定する。この乳白色は通院する; fact6 & assump1 -> int1: この乳白色はバージョンアップしないしおまけにマグルでない; fact11 & fact2 -> int2: 「この乳白色はバージョンアップするということはないしさらにマグルだということはない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この乳白色は通院しない; fact4 -> int5: この乳白色が通院するということはないとすると卸売り数量だということはないしその上言い易いない; int4 & int5 -> int6: この乳白色は卸売り数量でないし更に言い易くない; int6 -> int7: この乳白色は卸売り数量でない; int7 & fact17 -> hypothesis;
この受注は卸売り数量でないし加えて覚え難くない
fact21 -> int8: 「その晩成は医業収益でないしそれは騙され易くない」ということは成り立たない; fact22 -> int9: もし「その晩成は医業収益でなくてそれに騙され易くない」ということは成り立たないなら迷い易い; int8 & int9 -> int10: その晩成は迷い易い; int10 -> int11: 全ては迷い易い; int11 -> int12: このデッキ・テラスは迷い易い; fact26 & fact27 -> int13: このデッキ・テラスは家電販売だ; int13 & fact24 -> int14: このデッキ・テラスは収穫物であるかアメリカらしいということはない; fact25 & int14 -> int15: このデッキ・テラスは精神不安だ; int12 & int15 -> int16: このデッキ・テラスは迷い易いしおまけに精神不安だ; int16 -> int17: 何らかのものは迷い易いし加えて精神不安である; fact23 & int17 -> int18: その舌運動障害は通院しない;
$facts$ = fact1: このデッキ・テラスは家電販売であるならそれは収穫物であるかまたはアメリカらしくないか両方だ fact2: この乳白色は精神不安だ fact3: あの伝導速度は覚え難い fact4: もしある物は通院するということはないとしたら「卸売り数量でなくてかつ言い易くない」ということは確かである fact5: 仮にこの乳白色は精神不安ならば「それはバージョンアップするけれどマグルでない」ということは確かであるということはない fact6: もし仮にこの乳白色が通院するとするとそれはバージョンアップしなくておまけにマグルでない fact7: この乳白色は薄ら寒い fact8: 仮にこのデッキ・テラスが引っ下げるとすれば家電販売である fact9: もし仮に「迷い易いし精神不安である」ものがあるとするとその舌運動障害は通院しない fact10: 仮にこの乳白色が卸売り数量でないならばあの受注は卸売り数量でない fact11: もしこの乳白色は精神不安であるとしたら「バージョンアップするということはないしかつそれはマグルであるということはない」ということは成り立たない fact12: あの査証は覚え難いということはない fact13: この受注は卸売り数量だということはないしそれはマグルでない fact14: 「何かは医業収益でなくてそれに騙され易くない」ということは成り立たないとするとそれは迷い易い fact15: もしもこのデッキ・テラスが収穫物であるかあるいはアメリカらしくないかあるいはどちらもであるなら精神不安だ fact16: それは医業収益でなくて騙され易くないというものはない fact17: もしもこの乳白色は卸売り数量でないとすれば「この受注は卸売り数量であるということはなくて覚え難くない」ということは誤っている fact18: もし仮に「この受注は通院しない」ということは成り立つとすれば「この乳白色は通院しないし覚え難くない」ということは成り立たない fact19: このデッキ・テラスは引っ下げる ; $hypothesis$ = 「この受注は卸売り数量でなくておまけに覚え難くない」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この乳白色は通院する; fact6 & assump1 -> int1: この乳白色はバージョンアップしないしおまけにマグルでない; fact11 & fact2 -> int2: 「この乳白色はバージョンアップするということはないしさらにマグルだということはない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この乳白色は通院しない; fact4 -> int5: この乳白色が通院するということはないとすると卸売り数量だということはないしその上言い易いない; int4 & int5 -> int6: この乳白色は卸売り数量でないし更に言い易くない; int6 -> int7: この乳白色は卸売り数量でない; int7 & fact17 -> hypothesis; __PROVED__
事実1: このデッキ・テラスは家電販売であるならそれは収穫物であるかまたはアメリカらしくないか両方だ
事実2: この乳白色は精神不安だ
事実3: あの伝導速度は覚え難い
事実4: もしある物は通院するということはないとしたら「卸売り数量でなくてかつ言い易くない」ということは確かである
事実5: 仮にこの乳白色は精神不安ならば「それはバージョンアップするけれどマグルでない」ということは確かであるということはない
事実6: もし仮にこの乳白色が通院するとするとそれはバージョンアップしなくておまけにマグルでない
事実7: この乳白色は薄ら寒い
事実8: 仮にこのデッキ・テラスが引っ下げるとすれば家電販売である
事実9: もし仮に「迷い易いし精神不安である」ものがあるとするとその舌運動障害は通院しない
事実10: 仮にこの乳白色が卸売り数量でないならばあの受注は卸売り数量でない
事実11: もしこの乳白色は精神不安であるとしたら「バージョンアップするということはないしかつそれはマグルであるということはない」ということは成り立たない
事実12: あの査証は覚え難いということはない
事実13: この受注は卸売り数量だということはないしそれはマグルでない
事実14: 「何かは医業収益でなくてそれに騙され易くない」ということは成り立たないとするとそれは迷い易い
事実15: もしもこのデッキ・テラスが収穫物であるかあるいはアメリカらしくないかあるいはどちらもであるなら精神不安だ
事実16: それは医業収益でなくて騙され易くないというものはない
事実17: もしもこの乳白色は卸売り数量でないとすれば「この受注は卸売り数量であるということはなくて覚え難くない」ということは誤っている
事実18: もし仮に「この受注は通院しない」ということは成り立つとすれば「この乳白色は通院しないし覚え難くない」ということは成り立たない
事実19: このデッキ・テラスは引っ下げる

仮説: 「この受注は卸売り数量でなくておまけに覚え難くない」ということは正しくない
1. 仮定1: 以下のように仮定する。この乳白色は通院する
2. 事実6と仮定1から、推論1: "この乳白色はバージョンアップしないしおまけにマグルでない"が導かれる
3. 事実11と事実2から、推論2: "「この乳白色はバージョンアップするということはないしさらにマグルだということはない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この乳白色は通院しない"が導かれる
6. 事実4から、推論5: "この乳白色が通院するということはないとすると卸売り数量だということはないしその上言い易いない"が導かれる
7. 推論4と推論5から、推論6: "この乳白色は卸売り数量でないし更に言い易くない"が導かれる
8. 推論6から、推論7: "この乳白色は卸売り数量でない"が導かれる
9. 推論7と事実17から、仮説が導かれる

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