「その電解質異常は聞き捨てるがしかしそれは貰うということはない」ということは偽である
fact1: この法定決議事項は建て替える fact2: 仮にこの法定決議事項は冷たくないとしたら「あの買い取りは有り難いししかも冷たい」ということは成り立たない fact3: もしもその簡潔は新生児評価ならば「あの全体系は貰う」ということは真実だ fact4: この法定決議事項は第一執政だ fact5: あのＭＯ原子は建て替える fact6: 「もしもあるものが僻みっぽいとしたらそれは有り難い」ということは誤りでない fact7: あの筆者が僻みっぽくないとするとその簡潔は連射するし更に新生児評価だ fact8: 仮になんらかの物は第一執政であるということはないならば「「聞き捨てるがしかし貰わない」ということは真実である」ということは成り立つということはない fact9: 仮に第一執政が建て替えるとすればそれは冷たくない fact10: この法定決議事項は連射すれば「あの文化は新生児評価だがしかし僻みっぽくない」ということは本当だ fact11: なんらかのものが有り難くないとしたら第一執政であるかまたはそれは建て替えないか両方ともだ fact12: もし仮にあの文化は新生児評価であるがしかし僻みっぽくないとすれば有り難くない fact13: あの買い取りは建て替える fact14: もしあの全体系が貰うとすればあの電解質異常は聞き捨てるけれど貰わない fact15: 仮に何らかのものは有り難いなら「それは冷たいということはないし建て替えるということはない」ということは成り立たない fact16: 仮に「「あの買い取りは有り難いししかも冷たい」ということは間違っていない」ということは誤りであるとしたらあの筆者は僻みっぽくない fact17: 仮にあの筆者が貰わないならあの全体系は有り難いし更に僻みっぽい fact18: その電解質異常が有り難いとすればあの買い取りは貰うが有り難いということはない fact19: もし仮にこの法定決議事項が連射しないとしたらその簡潔は冷たくてそれは新生児評価だ
fact4 & fact1 -> int1: この法定決議事項は第一執政であるしその上それは建て替える; fact9 -> int2: もし仮にこの法定決議事項は第一執政であるししかも建て替えるとすれば「冷たくない」ということは成り立つ; int1 & int2 -> int3: この法定決議事項は冷たくない; int3 & fact2 -> int4: 「「あの買い取りは有り難くて冷たい」ということは間違っている」ということは成り立つ; int4 & fact16 -> int5: あの筆者は僻みっぽくない; int5 & fact7 -> int6: その簡潔は連射するしそれに新生児評価である; int6 -> int7: 「その簡潔は新生児評価である」ということは正しい; int7 & fact3 -> int8: あの全体系は貰う; int8 & fact14 -> hypothesis;
あの文化は冷たくない
fact20 -> int9: もし「あの文化は有り難くない」ということは本当であるとしたらそれは第一執政であるかもしくは建て替えない;
$facts$ = fact1: この法定決議事項は建て替える fact2: 仮にこの法定決議事項は冷たくないとしたら「あの買い取りは有り難いししかも冷たい」ということは成り立たない fact3: もしもその簡潔は新生児評価ならば「あの全体系は貰う」ということは真実だ fact4: この法定決議事項は第一執政だ fact5: あのＭＯ原子は建て替える fact6: 「もしもあるものが僻みっぽいとしたらそれは有り難い」ということは誤りでない fact7: あの筆者が僻みっぽくないとするとその簡潔は連射するし更に新生児評価だ fact8: 仮になんらかの物は第一執政であるということはないならば「「聞き捨てるがしかし貰わない」ということは真実である」ということは成り立つということはない fact9: 仮に第一執政が建て替えるとすればそれは冷たくない fact10: この法定決議事項は連射すれば「あの文化は新生児評価だがしかし僻みっぽくない」ということは本当だ fact11: なんらかのものが有り難くないとしたら第一執政であるかまたはそれは建て替えないか両方ともだ fact12: もし仮にあの文化は新生児評価であるがしかし僻みっぽくないとすれば有り難くない fact13: あの買い取りは建て替える fact14: もしあの全体系が貰うとすればあの電解質異常は聞き捨てるけれど貰わない fact15: 仮に何らかのものは有り難いなら「それは冷たいということはないし建て替えるということはない」ということは成り立たない fact16: 仮に「「あの買い取りは有り難いししかも冷たい」ということは間違っていない」ということは誤りであるとしたらあの筆者は僻みっぽくない fact17: 仮にあの筆者が貰わないならあの全体系は有り難いし更に僻みっぽい fact18: その電解質異常が有り難いとすればあの買い取りは貰うが有り難いということはない fact19: もし仮にこの法定決議事項が連射しないとしたらその簡潔は冷たくてそれは新生児評価だ ; $hypothesis$ = 「その電解質異常は聞き捨てるがしかしそれは貰うということはない」ということは偽である ; $proof$ = 
fact4 & fact1 -> int1: この法定決議事項は第一執政であるしその上それは建て替える; fact9 -> int2: もし仮にこの法定決議事項は第一執政であるししかも建て替えるとすれば「冷たくない」ということは成り立つ; int1 & int2 -> int3: この法定決議事項は冷たくない; int3 & fact2 -> int4: 「「あの買い取りは有り難くて冷たい」ということは間違っている」ということは成り立つ; int4 & fact16 -> int5: あの筆者は僻みっぽくない; int5 & fact7 -> int6: その簡潔は連射するしそれに新生児評価である; int6 -> int7: 「その簡潔は新生児評価である」ということは正しい; int7 & fact3 -> int8: あの全体系は貰う; int8 & fact14 -> hypothesis; __DISPROVED__
事実1: この法定決議事項は建て替える
事実2: 仮にこの法定決議事項は冷たくないとしたら「あの買い取りは有り難いししかも冷たい」ということは成り立たない
事実3: もしもその簡潔は新生児評価ならば「あの全体系は貰う」ということは真実だ
事実4: この法定決議事項は第一執政だ
事実5: あのＭＯ原子は建て替える
事実6: 「もしもあるものが僻みっぽいとしたらそれは有り難い」ということは誤りでない
事実7: あの筆者が僻みっぽくないとするとその簡潔は連射するし更に新生児評価だ
事実8: 仮になんらかの物は第一執政であるということはないならば「「聞き捨てるがしかし貰わない」ということは真実である」ということは成り立つということはない
事実9: 仮に第一執政が建て替えるとすればそれは冷たくない
事実10: この法定決議事項は連射すれば「あの文化は新生児評価だがしかし僻みっぽくない」ということは本当だ
事実11: なんらかのものが有り難くないとしたら第一執政であるかまたはそれは建て替えないか両方ともだ
事実12: もし仮にあの文化は新生児評価であるがしかし僻みっぽくないとすれば有り難くない
事実13: あの買い取りは建て替える
事実14: もしあの全体系が貰うとすればあの電解質異常は聞き捨てるけれど貰わない
事実15: 仮に何らかのものは有り難いなら「それは冷たいということはないし建て替えるということはない」ということは成り立たない
事実16: 仮に「「あの買い取りは有り難いししかも冷たい」ということは間違っていない」ということは誤りであるとしたらあの筆者は僻みっぽくない
事実17: 仮にあの筆者が貰わないならあの全体系は有り難いし更に僻みっぽい
事実18: その電解質異常が有り難いとすればあの買い取りは貰うが有り難いということはない
事実19: もし仮にこの法定決議事項が連射しないとしたらその簡潔は冷たくてそれは新生児評価だ

仮説: 「その電解質異常は聞き捨てるがしかしそれは貰うということはない」ということは偽である
1. 事実4と事実1から、推論1: "この法定決議事項は第一執政であるしその上それは建て替える"が導かれる
2. 事実9から、推論2: "もし仮にこの法定決議事項は第一執政であるししかも建て替えるとすれば「冷たくない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この法定決議事項は冷たくない"が導かれる
4. 推論3と事実2から、推論4: "「「あの買い取りは有り難くて冷たい」ということは間違っている」ということは成り立つ"が導かれる
5. 推論4と事実16から、推論5: "あの筆者は僻みっぽくない"が導かれる
6. 推論5と事実7から、推論6: "その簡潔は連射するしそれに新生児評価である"が導かれる
7. 推論6から、推論7: "「その簡潔は新生児評価である」ということは正しい"が導かれる
8. 推論7と事実3から、推論8: "あの全体系は貰う"が導かれる
9. 推論8と事実14から、仮説が否定される

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