この有効成分は合法化しない
fact1: この取り引き費用は直感でない fact2: もしもこの取り引き費用が育ち難いならばそれは述べ上げる fact3: この取り引き費用は進学校でない fact4: もし「この有効成分は第一連隊であるということはないし加えて活性化出来ない」ということは誤りであるとしたらその試験体施工時は弁済供託である fact5: この取り引き費用は狂おしくないし加えてパリ改造でない fact6: もし仮にこの有効成分は達成し易いししかも第一連隊なら合法化する fact7: 弁済供託は狂おしい fact8: 「その試験体施工時はパリ改造でないけれどそれは物悲しい」ということは成り立たない fact9: もし「なんらかの物は合法化するし物悲しい」ということは誤りだとすれば合法化しない fact10: この有効成分は形成され易くない fact11: あのシャボン玉は作り置きしない fact12: 狂おしい物は達成し易くないけど第一連隊だ fact13: その訳書は狂おしい fact14: もしこの有効成分が達成し易くない一方でそれは第一連隊であるなら合法化する fact15: もしもこの取り引き費用が作り置きしなくてパリ改造であるということはないとすればあの有効成分は進学校でない fact16: その試験体施工時は物悲しくないし活性化出来ない fact17: もし「この有効成分は進学校でない」ということは成り立つなら弁済供託だ fact18: 仮にこの取り引き費用は急けば「それは進学校だ」ということは本当である fact19: もしも「この取り引き費用は作り置きしないし更にパリ改造でない」ということは間違いだとしたらその試験体施工時は物悲しい
void -> assump1: 以下のように仮定する。「この取り引き費用は作り置きしなくてパリ改造でない」ということは嘘だ; fact19 & assump1 -> int1: その試験体施工時は物悲しい; fact16 -> int2: その試験体施工時は物悲しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り引き費用は作り置きしないしパリ改造だということはない; int4 & fact15 -> int5: この有効成分は進学校であるということはない; int5 & fact17 -> int6: この有効成分は弁済供託である; fact7 -> int7: もし「この有効成分は弁済供託である」ということは成り立つとしたら狂おしい; int6 & int7 -> int8: この有効成分は狂おしい; fact12 -> int9: もし仮にこの有効成分が狂おしいとすればそれは達成し易くないしおまけにそれは第一連隊だ; int8 & int9 -> int10: この有効成分は達成し易くない一方で第一連隊である; int10 & fact14 -> hypothesis;
この有効成分は合法化しない
fact20 -> int11: 仮に「この有効成分は合法化するし加えて物悲しい」ということは嘘だとしたら合法化しない;
$facts$ = fact1: この取り引き費用は直感でない fact2: もしもこの取り引き費用が育ち難いならばそれは述べ上げる fact3: この取り引き費用は進学校でない fact4: もし「この有効成分は第一連隊であるということはないし加えて活性化出来ない」ということは誤りであるとしたらその試験体施工時は弁済供託である fact5: この取り引き費用は狂おしくないし加えてパリ改造でない fact6: もし仮にこの有効成分は達成し易いししかも第一連隊なら合法化する fact7: 弁済供託は狂おしい fact8: 「その試験体施工時はパリ改造でないけれどそれは物悲しい」ということは成り立たない fact9: もし「なんらかの物は合法化するし物悲しい」ということは誤りだとすれば合法化しない fact10: この有効成分は形成され易くない fact11: あのシャボン玉は作り置きしない fact12: 狂おしい物は達成し易くないけど第一連隊だ fact13: その訳書は狂おしい fact14: もしこの有効成分が達成し易くない一方でそれは第一連隊であるなら合法化する fact15: もしもこの取り引き費用が作り置きしなくてパリ改造であるということはないとすればあの有効成分は進学校でない fact16: その試験体施工時は物悲しくないし活性化出来ない fact17: もし「この有効成分は進学校でない」ということは成り立つなら弁済供託だ fact18: 仮にこの取り引き費用は急けば「それは進学校だ」ということは本当である fact19: もしも「この取り引き費用は作り置きしないし更にパリ改造でない」ということは間違いだとしたらその試験体施工時は物悲しい ; $hypothesis$ = この有効成分は合法化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この取り引き費用は作り置きしなくてパリ改造でない」ということは嘘だ; fact19 & assump1 -> int1: その試験体施工時は物悲しい; fact16 -> int2: その試験体施工時は物悲しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り引き費用は作り置きしないしパリ改造だということはない; int4 & fact15 -> int5: この有効成分は進学校であるということはない; int5 & fact17 -> int6: この有効成分は弁済供託である; fact7 -> int7: もし「この有効成分は弁済供託である」ということは成り立つとしたら狂おしい; int6 & int7 -> int8: この有効成分は狂おしい; fact12 -> int9: もし仮にこの有効成分が狂おしいとすればそれは達成し易くないしおまけにそれは第一連隊だ; int8 & int9 -> int10: この有効成分は達成し易くない一方で第一連隊である; int10 & fact14 -> hypothesis; __DISPROVED__
事実1: この取り引き費用は直感でない
事実2: もしもこの取り引き費用が育ち難いならばそれは述べ上げる
事実3: この取り引き費用は進学校でない
事実4: もし「この有効成分は第一連隊であるということはないし加えて活性化出来ない」ということは誤りであるとしたらその試験体施工時は弁済供託である
事実5: この取り引き費用は狂おしくないし加えてパリ改造でない
事実6: もし仮にこの有効成分は達成し易いししかも第一連隊なら合法化する
事実7: 弁済供託は狂おしい
事実8: 「その試験体施工時はパリ改造でないけれどそれは物悲しい」ということは成り立たない
事実9: もし「なんらかの物は合法化するし物悲しい」ということは誤りだとすれば合法化しない
事実10: この有効成分は形成され易くない
事実11: あのシャボン玉は作り置きしない
事実12: 狂おしい物は達成し易くないけど第一連隊だ
事実13: その訳書は狂おしい
事実14: もしこの有効成分が達成し易くない一方でそれは第一連隊であるなら合法化する
事実15: もしもこの取り引き費用が作り置きしなくてパリ改造であるということはないとすればあの有効成分は進学校でない
事実16: その試験体施工時は物悲しくないし活性化出来ない
事実17: もし「この有効成分は進学校でない」ということは成り立つなら弁済供託だ
事実18: 仮にこの取り引き費用は急けば「それは進学校だ」ということは本当である
事実19: もしも「この取り引き費用は作り置きしないし更にパリ改造でない」ということは間違いだとしたらその試験体施工時は物悲しい

仮説: この有効成分は合法化しない
1. 仮定1: 以下のように仮定する。「この取り引き費用は作り置きしなくてパリ改造でない」ということは嘘だ
2. 事実19と仮定1から、推論1: "その試験体施工時は物悲しい"が導かれる
3. 事実16から、推論2: "その試験体施工時は物悲しくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この取り引き費用は作り置きしないしパリ改造だということはない"が導かれる
6. 推論4と事実15から、推論5: "この有効成分は進学校であるということはない"が導かれる
7. 推論5と事実17から、推論6: "この有効成分は弁済供託である"が導かれる
8. 事実7から、推論7: "もし「この有効成分は弁済供託である」ということは成り立つとしたら狂おしい"が導かれる
9. 推論6と推論7から、推論8: "この有効成分は狂おしい"が導かれる
10. 事実12から、推論9: "もし仮にこの有効成分が狂おしいとすればそれは達成し易くないしおまけにそれは第一連隊だ"が導かれる
11. 推論8と推論9から、推論10: "この有効成分は達成し易くない一方で第一連隊である"が導かれる
12. 推論10と事実14から、仮説が否定される

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