「この消化器症状は覚え易くないけれどそれは移ろい易い」ということは事実と異なる
fact1: もし仮にこの信徒達は一週間辺りでないとすれば「それは結び付き難くて総辞職する」ということは誤っている fact2: 「仮に「なにかは外し易いが始動しない」ということは間違っているとすれば「総辞職する」ということは本当だ」ということは確かだ fact3: もしもこの艫がバランス良くないとしたらこの信徒達は現場作業でない fact4: この信徒達は現場作業であるししかも一週間辺りだ fact5: 仮にこの艫が総辞職するか結び付き難いかあるいはどちらもだとしたらこの挨拶状は覚え易くない fact6: もし仮にこの艫は外し易いがしかし始動するということはないならバランス良いということはない fact7: もしもこの艫が現場作業だとするとこの消化器症状は覚え易くないけど移ろい易い fact8: 仮にこの挨拶状は覚え易くないならば「この消化器症状は覚え易くないがしかし移ろい易い」ということは嘘だ
void -> assump1: 以下のように仮定する。この艫は外し易いけれど始動しない; fact6 & assump1 -> int1: この艫はバランス良くない; int1 & fact3 -> int2: この信徒達は現場作業でない; fact4 -> int3: この信徒達は現場作業である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この艫は外し易いけどそれは始動しない」ということは間違いだ; fact2 -> int6: もし「この艫は外し易い一方で始動しない」ということは嘘だとしたらそれは総辞職する; int5 & int6 -> int7: 「この艫は総辞職する」ということは成り立つ; int7 -> int8: この艫は総辞職するかそれは結び付き難い; int8 & fact5 -> int9: この挨拶状は覚え易くない; int9 & fact8 -> hypothesis;
この消化器症状は覚え易くない一方で移ろい易い
$facts$ = fact1: もし仮にこの信徒達は一週間辺りでないとすれば「それは結び付き難くて総辞職する」ということは誤っている fact2: 「仮に「なにかは外し易いが始動しない」ということは間違っているとすれば「総辞職する」ということは本当だ」ということは確かだ fact3: もしもこの艫がバランス良くないとしたらこの信徒達は現場作業でない fact4: この信徒達は現場作業であるししかも一週間辺りだ fact5: 仮にこの艫が総辞職するか結び付き難いかあるいはどちらもだとしたらこの挨拶状は覚え易くない fact6: もし仮にこの艫は外し易いがしかし始動するということはないならバランス良いということはない fact7: もしもこの艫が現場作業だとするとこの消化器症状は覚え易くないけど移ろい易い fact8: 仮にこの挨拶状は覚え易くないならば「この消化器症状は覚え易くないがしかし移ろい易い」ということは嘘だ ; $hypothesis$ = 「この消化器症状は覚え易くないけれどそれは移ろい易い」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この艫は外し易いけれど始動しない; fact6 & assump1 -> int1: この艫はバランス良くない; int1 & fact3 -> int2: この信徒達は現場作業でない; fact4 -> int3: この信徒達は現場作業である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この艫は外し易いけどそれは始動しない」ということは間違いだ; fact2 -> int6: もし「この艫は外し易い一方で始動しない」ということは嘘だとしたらそれは総辞職する; int5 & int6 -> int7: 「この艫は総辞職する」ということは成り立つ; int7 -> int8: この艫は総辞職するかそれは結び付き難い; int8 & fact5 -> int9: この挨拶状は覚え易くない; int9 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にこの信徒達は一週間辺りでないとすれば「それは結び付き難くて総辞職する」ということは誤っている
事実2: 「仮に「なにかは外し易いが始動しない」ということは間違っているとすれば「総辞職する」ということは本当だ」ということは確かだ
事実3: もしもこの艫がバランス良くないとしたらこの信徒達は現場作業でない
事実4: この信徒達は現場作業であるししかも一週間辺りだ
事実5: 仮にこの艫が総辞職するか結び付き難いかあるいはどちらもだとしたらこの挨拶状は覚え易くない
事実6: もし仮にこの艫は外し易いがしかし始動するということはないならバランス良いということはない
事実7: もしもこの艫が現場作業だとするとこの消化器症状は覚え易くないけど移ろい易い
事実8: 仮にこの挨拶状は覚え易くないならば「この消化器症状は覚え易くないがしかし移ろい易い」ということは嘘だ

仮説: 「この消化器症状は覚え易くないけれどそれは移ろい易い」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この艫は外し易いけれど始動しない
2. 事実6と仮定1から、推論1: "この艫はバランス良くない"が導かれる
3. 推論1と事実3から、推論2: "この信徒達は現場作業でない"が導かれる
4. 事実4から、推論3: "この信徒達は現場作業である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この艫は外し易いけどそれは始動しない」ということは間違いだ"が導かれる
7. 事実2から、推論6: "もし「この艫は外し易い一方で始動しない」ということは嘘だとしたらそれは総辞職する"が導かれる
8. 推論5と推論6から、推論7: "「この艫は総辞職する」ということは成り立つ"が導かれる
9. 推論7から、推論8: "この艫は総辞職するかそれは結び付き難い"が導かれる
10. 推論8と事実5から、推論9: "この挨拶状は覚え易くない"が導かれる
11. 推論9と事実8から、仮説が導かれる

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