このオキサトミドは五輪だ
fact1: 仮にこの生牡蛎は苛々し易いとすれば「「それはすこくなくておまけに難分解でない」ということは確かである」ということは偽だ fact2: もし仮にとある物が同一当事者間でないとすればそれは五輪でない fact3: 「「あの組織自体は身動きしないけれどそれは敗走する」ということは間違っている」ということは事実だ fact4: このオキサトミドは同一当事者間である fact5: もし仮に難分解が過熱するとしたらその抵抗体は低下しない fact6: そのＤ層は同一当事者間である fact7: 「なんらかの物は身動きしないが敗走する」ということは間違っていれば過熱する fact8: このオキサトミドは同一当事者間であるしおまけに五輪だ fact9: もし仮にあの犠牲者が申し込みするけれど低下しないとすればあのオキサトミドは当該外国だ fact10: 仮にこの営み自体は今様なら「派生するということはなくて更に当該外国だ」ということは本当であるということはない fact11: もし「その抵抗体は今様だ」ということは真実だとしたらこの営み自体は今様である fact12: 仮にあの犠牲者が派生するとすればこのオキサトミドは同一当事者間でないし滑り易くない fact13: もしなにかは低下しないなら今様で加えて申し込みする fact14: もし仮に「「すこくないしさらに難分解でない」ということは事実と異なる」物があるとするとあの組織自体は難分解だ fact15: この生牡蛎は苛々し易い fact16: 当該外国は今様でないししかも派生しない fact17: 「滑り易いということはない物は同一当事者間であるし五輪だ」ということは事実である
fact8 -> hypothesis;
fact8 -> hypothesis;
このオキサトミドは五輪であるということはない
fact25 -> int1: もしこのオキサトミドが同一当事者間でないとすればそれは五輪でない; fact26 -> int2: もしその抵抗体が低下するということはないならそれは今様だし申し込みする; fact19 & fact27 -> int3: 「この生牡蛎はすこいということはないしその上難分解でない」ということは事実と異なる; int3 -> int4: 「「すこくなくて難分解であるということはない」ということは成り立たない」物はある; int4 & fact18 -> int5: あの組織自体は難分解である; fact24 -> int6: 「あの組織自体は身動きしないけれど敗走する」ということは誤りだとすればそれは過熱する; int6 & fact21 -> int7: あの組織自体は過熱する; int5 & int7 -> int8: あの組織自体は難分解であるしそれに過熱する; int8 -> int9: 何かは難分解であるし更に過熱する; int9 & fact28 -> int10: 「その抵抗体は低下しない」ということは確かである; int2 & int10 -> int11: その抵抗体は今様であるし申し込みする; int11 -> int12: その抵抗体は今様である; fact22 & int12 -> int13: この営み自体は今様である; fact20 & int13 -> int14: 「この営み自体は派生しない一方で当該外国である」ということは成り立たない; int14 -> int15: 「「派生しなくて当該外国だ」ということは嘘な」物はある;
$facts$ = fact1: 仮にこの生牡蛎は苛々し易いとすれば「「それはすこくなくておまけに難分解でない」ということは確かである」ということは偽だ fact2: もし仮にとある物が同一当事者間でないとすればそれは五輪でない fact3: 「「あの組織自体は身動きしないけれどそれは敗走する」ということは間違っている」ということは事実だ fact4: このオキサトミドは同一当事者間である fact5: もし仮に難分解が過熱するとしたらその抵抗体は低下しない fact6: そのＤ層は同一当事者間である fact7: 「なんらかの物は身動きしないが敗走する」ということは間違っていれば過熱する fact8: このオキサトミドは同一当事者間であるしおまけに五輪だ fact9: もし仮にあの犠牲者が申し込みするけれど低下しないとすればあのオキサトミドは当該外国だ fact10: 仮にこの営み自体は今様なら「派生するということはなくて更に当該外国だ」ということは本当であるということはない fact11: もし「その抵抗体は今様だ」ということは真実だとしたらこの営み自体は今様である fact12: 仮にあの犠牲者が派生するとすればこのオキサトミドは同一当事者間でないし滑り易くない fact13: もしなにかは低下しないなら今様で加えて申し込みする fact14: もし仮に「「すこくないしさらに難分解でない」ということは事実と異なる」物があるとするとあの組織自体は難分解だ fact15: この生牡蛎は苛々し易い fact16: 当該外国は今様でないししかも派生しない fact17: 「滑り易いということはない物は同一当事者間であるし五輪だ」ということは事実である ; $hypothesis$ = このオキサトミドは五輪だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にこの生牡蛎は苛々し易いとすれば「「それはすこくなくておまけに難分解でない」ということは確かである」ということは偽だ
事実2: もし仮にとある物が同一当事者間でないとすればそれは五輪でない
事実3: 「「あの組織自体は身動きしないけれどそれは敗走する」ということは間違っている」ということは事実だ
事実4: このオキサトミドは同一当事者間である
事実5: もし仮に難分解が過熱するとしたらその抵抗体は低下しない
事実6: そのＤ層は同一当事者間である
事実7: 「なんらかの物は身動きしないが敗走する」ということは間違っていれば過熱する
事実8: このオキサトミドは同一当事者間であるしおまけに五輪だ
事実9: もし仮にあの犠牲者が申し込みするけれど低下しないとすればあのオキサトミドは当該外国だ
事実10: 仮にこの営み自体は今様なら「派生するということはなくて更に当該外国だ」ということは本当であるということはない
事実11: もし「その抵抗体は今様だ」ということは真実だとしたらこの営み自体は今様である
事実12: 仮にあの犠牲者が派生するとすればこのオキサトミドは同一当事者間でないし滑り易くない
事実13: もしなにかは低下しないなら今様で加えて申し込みする
事実14: もし仮に「「すこくないしさらに難分解でない」ということは事実と異なる」物があるとするとあの組織自体は難分解だ
事実15: この生牡蛎は苛々し易い
事実16: 当該外国は今様でないししかも派生しない
事実17: 「滑り易いということはない物は同一当事者間であるし五輪だ」ということは事実である

仮説: このオキサトミドは五輪だ
1. 事実8から、仮説が導かれる

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