この元請け業者は着水するということはない
fact1: この一分子は流通企業であるしおまけに言い訳がましい fact2: その神理は選任出来る fact3: 仮にこの薄目が塗りたくらないならその神理は選任出来る fact4: その神理は地中深い一方で血腥くない fact5: 「とあるものは可視化するがそれは選任出来ない」ということは成り立たないならば辛気臭い fact6: もし「塗りたくるしかつしんどいということはない」ものがあるとしたらこの一分子は辛気臭くない fact7: もし仮に何らかの物が塗りたくるしそれにしんどいとするとこの一分子は辛気臭くない fact8: 仮にある物が可視化するけど選任出来ないなら辛気臭くない fact9: その神理は塗りたくるがしんどいということはない fact10: その神理はしんどかない fact11: 辛気臭くないものは塗りたくるけどしんどいということはない fact12: しんどいということはない物が塗りたくればそれは着水するということはない fact13: 本陣内は工夫する fact14: もしもこの薄目が言い訳がましいとするとこの元請け業者は着水する fact15: もし仮にとある物が選任出来るとすればそれは可視化する fact16: もしこの一分子が辛気臭いということはないとすればこの薄目は選任出来る fact17: 仮にこの元請け業者が着水するとすればそれはしんどい fact18: この元請け業者は可視化しない fact19: 「「しんどかない」ということは本当である」ものはある fact20: 仮になにがしかの物が可視化するとしたら言い訳がましい fact21: もしもとあるものは塗りたくるがしかししんどかないとすると着水しない fact22: もし「なにかは活動し難い」ということは事実だとすれば「それは共鳴する」ということは嘘でない
fact9 -> int1: あるものは塗りたくる一方でそれはしんどかない; int1 & fact6 -> int2: この一分子は辛気臭くない; int2 & fact16 -> int3: この薄目は選任出来る; fact15 -> int4: 「もしもこの薄目が選任出来るとしたらこの薄目は可視化する」ということは本当だ; int3 & int4 -> int5: この薄目は可視化する; fact20 -> int6: 仮に「この薄目は可視化する」ということは誤っているということはないとするとそれは言い訳がましい; int5 & int6 -> int7: 「この薄目は言い訳がましい」ということは成り立つ; int7 & fact14 -> hypothesis;
この元請け業者は着水しない
fact23 -> int8: もしもこの元請け業者はしんどかないけれど塗りたくれば着水しない; fact24 -> int9: もし仮に「この元請け業者は可視化するが選任出来ない」ということは事実と異なるとすればそれは辛気臭い;
$facts$ = fact1: この一分子は流通企業であるしおまけに言い訳がましい fact2: その神理は選任出来る fact3: 仮にこの薄目が塗りたくらないならその神理は選任出来る fact4: その神理は地中深い一方で血腥くない fact5: 「とあるものは可視化するがそれは選任出来ない」ということは成り立たないならば辛気臭い fact6: もし「塗りたくるしかつしんどいということはない」ものがあるとしたらこの一分子は辛気臭くない fact7: もし仮に何らかの物が塗りたくるしそれにしんどいとするとこの一分子は辛気臭くない fact8: 仮にある物が可視化するけど選任出来ないなら辛気臭くない fact9: その神理は塗りたくるがしんどいということはない fact10: その神理はしんどかない fact11: 辛気臭くないものは塗りたくるけどしんどいということはない fact12: しんどいということはない物が塗りたくればそれは着水するということはない fact13: 本陣内は工夫する fact14: もしもこの薄目が言い訳がましいとするとこの元請け業者は着水する fact15: もし仮にとある物が選任出来るとすればそれは可視化する fact16: もしこの一分子が辛気臭いということはないとすればこの薄目は選任出来る fact17: 仮にこの元請け業者が着水するとすればそれはしんどい fact18: この元請け業者は可視化しない fact19: 「「しんどかない」ということは本当である」ものはある fact20: 仮になにがしかの物が可視化するとしたら言い訳がましい fact21: もしもとあるものは塗りたくるがしかししんどかないとすると着水しない fact22: もし「なにかは活動し難い」ということは事実だとすれば「それは共鳴する」ということは嘘でない ; $hypothesis$ = この元請け業者は着水するということはない ; $proof$ = 
fact9 -> int1: あるものは塗りたくる一方でそれはしんどかない; int1 & fact6 -> int2: この一分子は辛気臭くない; int2 & fact16 -> int3: この薄目は選任出来る; fact15 -> int4: 「もしもこの薄目が選任出来るとしたらこの薄目は可視化する」ということは本当だ; int3 & int4 -> int5: この薄目は可視化する; fact20 -> int6: 仮に「この薄目は可視化する」ということは誤っているということはないとするとそれは言い訳がましい; int5 & int6 -> int7: 「この薄目は言い訳がましい」ということは成り立つ; int7 & fact14 -> hypothesis; __DISPROVED__
事実1: この一分子は流通企業であるしおまけに言い訳がましい
事実2: その神理は選任出来る
事実3: 仮にこの薄目が塗りたくらないならその神理は選任出来る
事実4: その神理は地中深い一方で血腥くない
事実5: 「とあるものは可視化するがそれは選任出来ない」ということは成り立たないならば辛気臭い
事実6: もし「塗りたくるしかつしんどいということはない」ものがあるとしたらこの一分子は辛気臭くない
事実7: もし仮に何らかの物が塗りたくるしそれにしんどいとするとこの一分子は辛気臭くない
事実8: 仮にある物が可視化するけど選任出来ないなら辛気臭くない
事実9: その神理は塗りたくるがしんどいということはない
事実10: その神理はしんどかない
事実11: 辛気臭くないものは塗りたくるけどしんどいということはない
事実12: しんどいということはない物が塗りたくればそれは着水するということはない
事実13: 本陣内は工夫する
事実14: もしもこの薄目が言い訳がましいとするとこの元請け業者は着水する
事実15: もし仮にとある物が選任出来るとすればそれは可視化する
事実16: もしこの一分子が辛気臭いということはないとすればこの薄目は選任出来る
事実17: 仮にこの元請け業者が着水するとすればそれはしんどい
事実18: この元請け業者は可視化しない
事実19: 「「しんどかない」ということは本当である」ものはある
事実20: 仮になにがしかの物が可視化するとしたら言い訳がましい
事実21: もしもとあるものは塗りたくるがしかししんどかないとすると着水しない
事実22: もし「なにかは活動し難い」ということは事実だとすれば「それは共鳴する」ということは嘘でない

仮説: この元請け業者は着水するということはない
1. 事実9から、推論1: "あるものは塗りたくる一方でそれはしんどかない"が導かれる
2. 推論1と事実6から、推論2: "この一分子は辛気臭くない"が導かれる
3. 推論2と事実16から、推論3: "この薄目は選任出来る"が導かれる
4. 事実15から、推論4: "「もしもこの薄目が選任出来るとしたらこの薄目は可視化する」ということは本当だ"が導かれる
5. 推論3と推論4から、推論5: "この薄目は可視化する"が導かれる
6. 事実20から、推論6: "仮に「この薄目は可視化する」ということは誤っているということはないとするとそれは言い訳がましい"が導かれる
7. 推論5と推論6から、推論7: "「この薄目は言い訳がましい」ということは成り立つ"が導かれる
8. 推論7と事実14から、仮説が否定される

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