「その薬包は五年半だけれど折り上げない」ということは成り立たない
fact1: とある物が一日するしそれにそれは魚屋であるとすればそれは総力戦体制でない fact2: もしもあの審決が擽るとしたらその薬包は寄せ過ぎる fact3: 記載例は擽らないが寄せ過ぎる fact4: 仮に「あの審決が寄せ過ぎるしその上一日する」ということは確かでないならばその薬包は擽らない fact5: もしその要求書が一日しない一方で別系であるとすればこの機械類は活動場面だ fact6: 仮になんらかのものが擽らないとしたらそれは活動場面でないし得難しない fact7: もしも「その趨勢は複雑化するしそれに記載例だ」ということは成り立たないとすればこの機械類は得難しない fact8: ある物が寄せ過ぎるとすればそれは五年半である fact9: 仮に何らかのものは総力戦体制でないならば「それは五年半でかつ折り上げない」ということは間違っている fact10: もしこのエネルギー技術が複雑化するとするとそれは記載例である fact11: 複雑化するし記載例だというものはない fact12: 何かは別系でないとすると一日するし更にそれは魚屋だ fact13: もし仮に何らかの物は活動場面でないし得難しないとすれば別系であるということはない fact14: もし仮に何らかの物が総力戦体制であるか魚屋でないかもしくは両方ともであるならばあのエネルギー技術は一日する fact15: もしこのエネルギー技術が一日するならその要求書は一日するということはないけど別系だ fact16: もしもこのエネルギー技術が擽らないがしかしそれが寄せ過ぎるならその薬包は擽らない fact17: あるものは総力戦体制であるかまたはそれは魚屋でないかまたは両方ともだ fact18: もしこの機械類が活動場面だけどそれが得難しないならあの審決は擽る fact19: 「この末端部は折り上げない」ということは成り立つ fact20: 「その薬包は折り上げない」ということは成り立つ fact21: もし仮にあの審決が擽らないがそれが得難しとするとこの機械類は活動場面である
fact17 & fact14 -> int1: このエネルギー技術は一日する; int1 & fact15 -> int2: その要求書は一日しないけど別系である; int2 & fact5 -> int3: この機械類は活動場面だ; fact11 -> int4: 「「その趨勢は複雑化するし更にそれは記載例である」ということは成り立たない」ということは本当だ; int4 & fact7 -> int5: この機械類は得難しということはない; int3 & int5 -> int6: この機械類は活動場面だがしかしそれは得難しない; int6 & fact18 -> int7: あの審決は擽る; int7 & fact2 -> int8: その薬包は寄せ過ぎる; fact8 -> int9: その薬包が寄せ過ぎるならそれは五年半である; int8 & int9 -> int10: その薬包は五年半だ; int10 & fact20 -> hypothesis;
「その薬包は五年半であるが折り上げるということはない」ということは誤っている
fact29 -> int11: もしその薬包は総力戦体制だということはないとすると「五年半だけれど折り上げない」ということは成り立たない; fact24 -> int12: もしその薬包が一日するし更に魚屋であるならば総力戦体制でない; fact23 -> int13: もしその薬包が別系でないとすれば一日するし魚屋だ; fact26 -> int14: もしもその薬包は活動場面だということはなくてそれに得難しないならば別系でない; fact25 -> int15: 「その薬包が擽らないならその薬包は活動場面でないしまたそれは得難しない」ということは本当である; fact22 -> int16: もし仮にこのエネルギー技術が記載例であるとしたらそれは擽らなくてかつ寄せ過ぎる;
$facts$ = fact1: とある物が一日するしそれにそれは魚屋であるとすればそれは総力戦体制でない fact2: もしもあの審決が擽るとしたらその薬包は寄せ過ぎる fact3: 記載例は擽らないが寄せ過ぎる fact4: 仮に「あの審決が寄せ過ぎるしその上一日する」ということは確かでないならばその薬包は擽らない fact5: もしその要求書が一日しない一方で別系であるとすればこの機械類は活動場面だ fact6: 仮になんらかのものが擽らないとしたらそれは活動場面でないし得難しない fact7: もしも「その趨勢は複雑化するしそれに記載例だ」ということは成り立たないとすればこの機械類は得難しない fact8: ある物が寄せ過ぎるとすればそれは五年半である fact9: 仮に何らかのものは総力戦体制でないならば「それは五年半でかつ折り上げない」ということは間違っている fact10: もしこのエネルギー技術が複雑化するとするとそれは記載例である fact11: 複雑化するし記載例だというものはない fact12: 何かは別系でないとすると一日するし更にそれは魚屋だ fact13: もし仮に何らかの物は活動場面でないし得難しないとすれば別系であるということはない fact14: もし仮に何らかの物が総力戦体制であるか魚屋でないかもしくは両方ともであるならばあのエネルギー技術は一日する fact15: もしこのエネルギー技術が一日するならその要求書は一日するということはないけど別系だ fact16: もしもこのエネルギー技術が擽らないがしかしそれが寄せ過ぎるならその薬包は擽らない fact17: あるものは総力戦体制であるかまたはそれは魚屋でないかまたは両方ともだ fact18: もしこの機械類が活動場面だけどそれが得難しないならあの審決は擽る fact19: 「この末端部は折り上げない」ということは成り立つ fact20: 「その薬包は折り上げない」ということは成り立つ fact21: もし仮にあの審決が擽らないがそれが得難しとするとこの機械類は活動場面である ; $hypothesis$ = 「その薬包は五年半だけれど折り上げない」ということは成り立たない ; $proof$ = 
fact17 & fact14 -> int1: このエネルギー技術は一日する; int1 & fact15 -> int2: その要求書は一日しないけど別系である; int2 & fact5 -> int3: この機械類は活動場面だ; fact11 -> int4: 「「その趨勢は複雑化するし更にそれは記載例である」ということは成り立たない」ということは本当だ; int4 & fact7 -> int5: この機械類は得難しということはない; int3 & int5 -> int6: この機械類は活動場面だがしかしそれは得難しない; int6 & fact18 -> int7: あの審決は擽る; int7 & fact2 -> int8: その薬包は寄せ過ぎる; fact8 -> int9: その薬包が寄せ過ぎるならそれは五年半である; int8 & int9 -> int10: その薬包は五年半だ; int10 & fact20 -> hypothesis; __DISPROVED__
事実1: とある物が一日するしそれにそれは魚屋であるとすればそれは総力戦体制でない
事実2: もしもあの審決が擽るとしたらその薬包は寄せ過ぎる
事実3: 記載例は擽らないが寄せ過ぎる
事実4: 仮に「あの審決が寄せ過ぎるしその上一日する」ということは確かでないならばその薬包は擽らない
事実5: もしその要求書が一日しない一方で別系であるとすればこの機械類は活動場面だ
事実6: 仮になんらかのものが擽らないとしたらそれは活動場面でないし得難しない
事実7: もしも「その趨勢は複雑化するしそれに記載例だ」ということは成り立たないとすればこの機械類は得難しない
事実8: ある物が寄せ過ぎるとすればそれは五年半である
事実9: 仮に何らかのものは総力戦体制でないならば「それは五年半でかつ折り上げない」ということは間違っている
事実10: もしこのエネルギー技術が複雑化するとするとそれは記載例である
事実11: 複雑化するし記載例だというものはない
事実12: 何かは別系でないとすると一日するし更にそれは魚屋だ
事実13: もし仮に何らかの物は活動場面でないし得難しないとすれば別系であるということはない
事実14: もし仮に何らかの物が総力戦体制であるか魚屋でないかもしくは両方ともであるならばあのエネルギー技術は一日する
事実15: もしこのエネルギー技術が一日するならその要求書は一日するということはないけど別系だ
事実16: もしもこのエネルギー技術が擽らないがしかしそれが寄せ過ぎるならその薬包は擽らない
事実17: あるものは総力戦体制であるかまたはそれは魚屋でないかまたは両方ともだ
事実18: もしこの機械類が活動場面だけどそれが得難しないならあの審決は擽る
事実19: 「この末端部は折り上げない」ということは成り立つ
事実20: 「その薬包は折り上げない」ということは成り立つ
事実21: もし仮にあの審決が擽らないがそれが得難しとするとこの機械類は活動場面である

仮説: 「その薬包は五年半だけれど折り上げない」ということは成り立たない
1. 事実17と事実14から、推論1: "このエネルギー技術は一日する"が導かれる
2. 推論1と事実15から、推論2: "その要求書は一日しないけど別系である"が導かれる
3. 推論2と事実5から、推論3: "この機械類は活動場面だ"が導かれる
4. 事実11から、推論4: "「「その趨勢は複雑化するし更にそれは記載例である」ということは成り立たない」ということは本当だ"が導かれる
5. 推論4と事実7から、推論5: "この機械類は得難しということはない"が導かれる
6. 推論3と推論5から、推論6: "この機械類は活動場面だがしかしそれは得難しない"が導かれる
7. 推論6と事実18から、推論7: "あの審決は擽る"が導かれる
8. 推論7と事実2から、推論8: "その薬包は寄せ過ぎる"が導かれる
9. 事実8から、推論9: "その薬包が寄せ過ぎるならそれは五年半である"が導かれる
10. 推論8と推論9から、推論10: "その薬包は五年半だ"が導かれる
11. 推論10と事実20から、仮説が否定される

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