その補え機は流れ易くて証す
fact1: その補え機が流れ易くないしかつフォーカシングでないならばその納品書は証さない fact2: 仮に「その大型犬は明定しないししかも関係深くない」ということは成り立たないとするとその補え機は流れ易い fact3: あの国民衛生は内視鏡的治療だがそれは最でない fact4: 仮になにかは十句義論でないならそれは請状である一方で酸くない fact5: 仮にあの国民衛生が内視鏡的治療だがしかしそれは最でないとするとそれは十句義論でない fact6: もしある物が割り出せるなら香ばしい fact7: その各ファイルは流れ易くない fact8: もし仮にその納品書が御強請りするならばあの補え機は登山家らしい fact9: もしもその朱印状が御強請りしないかあるいはそれが恥ずかしか両方であるならばあの納品書は御強請りする fact10: あの国民衛生が請状だけど酸くないならこの病状は請状でない fact11: もし仮にその朱印状は流れ易くないとしたら「その補え機は流れ易くてかつ証す」ということは誤っている fact12: 登山家らしい物は割り出せる fact13: もし仮にこの二重払いがプライマリケア医であるならその大型犬はプライマリケア医である fact14: その大型犬は香ばしかない fact15: もし仮にこの病状が請状でないとすればこの二重払いがプライマリケア医だししかもそれは吹き易い fact16: もしも何かはプライマリケア医だとすれば「「明定しなくて関係深くない」ということは偽でない」ということは成り立たない fact17: もしもその納品書が刻苦勉励しないししかもフォーカシングでないとすればその朱印状は流れ易くない fact18: もしその大型犬が香ばしかないならばその納品書は刻苦勉励しなくて加えてそれはフォーカシングでない fact19: もしもその補え機が香ばしいなら証す
fact18 & fact14 -> int1: その納品書が刻苦勉励しないしさらにそれはフォーカシングでない; int1 & fact17 -> int2: その朱印状は流れ易くない; int2 & fact11 -> hypothesis;
その補え機は流れ易いしまた証す
fact23 -> int3: もしもその大型犬はプライマリケア医であるならば「それは明定するということはなくてそれにそれは関係深くない」ということは成り立たない; fact31 -> int4: もし仮にあの国民衛生は十句義論でないならそれは請状だが酸くない; fact22 & fact21 -> int5: あの国民衛生は十句義論でない; int4 & int5 -> int6: あの国民衛生は請状であるが酸くない; fact25 & int6 -> int7: この病状は請状でない; fact24 & int7 -> int8: この二重払いはプライマリケア医でそれは吹き易い; int8 -> int9: この二重払いはプライマリケア医である; fact26 & int9 -> int10: その大型犬はプライマリケア医である; int3 & int10 -> int11: 「その大型犬は明定するということはなくて更にそれは関係深くない」ということは偽である; fact30 & int11 -> int12: その補え機は流れ易い; fact20 -> int13: もしもその補え機が割り出せるならそれは香ばしい; fact28 -> int14: 仮にその補え機が登山家らしいならそれは割り出せる;
$facts$ = fact1: その補え機が流れ易くないしかつフォーカシングでないならばその納品書は証さない fact2: 仮に「その大型犬は明定しないししかも関係深くない」ということは成り立たないとするとその補え機は流れ易い fact3: あの国民衛生は内視鏡的治療だがそれは最でない fact4: 仮になにかは十句義論でないならそれは請状である一方で酸くない fact5: 仮にあの国民衛生が内視鏡的治療だがしかしそれは最でないとするとそれは十句義論でない fact6: もしある物が割り出せるなら香ばしい fact7: その各ファイルは流れ易くない fact8: もし仮にその納品書が御強請りするならばあの補え機は登山家らしい fact9: もしもその朱印状が御強請りしないかあるいはそれが恥ずかしか両方であるならばあの納品書は御強請りする fact10: あの国民衛生が請状だけど酸くないならこの病状は請状でない fact11: もし仮にその朱印状は流れ易くないとしたら「その補え機は流れ易くてかつ証す」ということは誤っている fact12: 登山家らしい物は割り出せる fact13: もし仮にこの二重払いがプライマリケア医であるならその大型犬はプライマリケア医である fact14: その大型犬は香ばしかない fact15: もし仮にこの病状が請状でないとすればこの二重払いがプライマリケア医だししかもそれは吹き易い fact16: もしも何かはプライマリケア医だとすれば「「明定しなくて関係深くない」ということは偽でない」ということは成り立たない fact17: もしもその納品書が刻苦勉励しないししかもフォーカシングでないとすればその朱印状は流れ易くない fact18: もしその大型犬が香ばしかないならばその納品書は刻苦勉励しなくて加えてそれはフォーカシングでない fact19: もしもその補え機が香ばしいなら証す ; $hypothesis$ = その補え機は流れ易くて証す ; $proof$ = 
fact18 & fact14 -> int1: その納品書が刻苦勉励しないしさらにそれはフォーカシングでない; int1 & fact17 -> int2: その朱印状は流れ易くない; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: その補え機が流れ易くないしかつフォーカシングでないならばその納品書は証さない
事実2: 仮に「その大型犬は明定しないししかも関係深くない」ということは成り立たないとするとその補え機は流れ易い
事実3: あの国民衛生は内視鏡的治療だがそれは最でない
事実4: 仮になにかは十句義論でないならそれは請状である一方で酸くない
事実5: 仮にあの国民衛生が内視鏡的治療だがしかしそれは最でないとするとそれは十句義論でない
事実6: もしある物が割り出せるなら香ばしい
事実7: その各ファイルは流れ易くない
事実8: もし仮にその納品書が御強請りするならばあの補え機は登山家らしい
事実9: もしもその朱印状が御強請りしないかあるいはそれが恥ずかしか両方であるならばあの納品書は御強請りする
事実10: あの国民衛生が請状だけど酸くないならこの病状は請状でない
事実11: もし仮にその朱印状は流れ易くないとしたら「その補え機は流れ易くてかつ証す」ということは誤っている
事実12: 登山家らしい物は割り出せる
事実13: もし仮にこの二重払いがプライマリケア医であるならその大型犬はプライマリケア医である
事実14: その大型犬は香ばしかない
事実15: もし仮にこの病状が請状でないとすればこの二重払いがプライマリケア医だししかもそれは吹き易い
事実16: もしも何かはプライマリケア医だとすれば「「明定しなくて関係深くない」ということは偽でない」ということは成り立たない
事実17: もしもその納品書が刻苦勉励しないししかもフォーカシングでないとすればその朱印状は流れ易くない
事実18: もしその大型犬が香ばしかないならばその納品書は刻苦勉励しなくて加えてそれはフォーカシングでない
事実19: もしもその補え機が香ばしいなら証す

仮説: その補え機は流れ易くて証す
1. 事実18と事実14から、推論1: "その納品書が刻苦勉励しないしさらにそれはフォーカシングでない"が導かれる
2. 推論1と事実17から、推論2: "その朱印状は流れ易くない"が導かれる
3. 推論2と事実11から、仮説が否定される

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