「「このマックスタグは拙くて更に労働部である」ということは成り立つ」ということは成り立たない
fact1: このマックスタグは反するしおまけに担当コンサルタントである fact2: そのシャンプーは担当コンサルタントであるししかも見られ易い fact3: 仮にこのマックスタグが担当コンサルタントであるとすればこの排液はヒーリングだ fact4: その預金保険法は見られ易いしかつ環境対応である fact5: その進学先は漂い出すしおまけに担当コンサルタントである fact6: このマックスタグはヒーリングである fact7: 「あの中小工場は絶え難い」ということは成り立つ fact8: このマックスタグは宗派共存である fact9: このマックスタグは担当コンサルタントであるしかつ拙い fact10: なにがしかの物は絶え間無いということはないとすれば「それは労働部でまた甘酸っぱい」ということは事実でない fact11: 全てはヒーリングである fact12: このマックスタグは仰せ付かる fact13: もしも「このルージュは絶え間無いということはないかあるいはそれは人間臭くないかどちらもである」ということは真実であるならばその田圃は絶え間無くない fact14: このマックスタグが労働部だし更にヒーリングである fact15: もし仮に「「労働部であるし甘酸っぱい」ということは誤りな」物があるとすればあの日中間は労働部でない fact16: 「「その日中間は労働部である」ということは真実である」ということは成り立たないならこのマックスタグは担当コンサルタントであるかあるいは拙い fact17: あの中小工場は剥き始めるし疎い fact18: 甘酸っぱいヒーリングは担当コンサルタントだということはない fact19: もし仮にあの中小工場が絶え難いしかつ疎いとしたらこのルージュは疎くない fact20: もしなにがしかのものは担当コンサルタントでないなら「それは拙いししかも労働部である」ということは間違っている fact21: 疎くないものは人間臭くないしかつ店舗経営でない fact22: このマックスタグは担当コンサルタントである
fact9 -> int1: このマックスタグは拙い; fact14 -> int2: このマックスタグは労働部だ; int1 & int2 -> hypothesis;
fact9 -> int1: {B}{a}; fact14 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「このマックスタグは拙いししかも労働部だ」ということは事実と異なる
fact23 -> int3: もし仮にこのマックスタグは担当コンサルタントでないとすると「拙いしさらに労働部である」ということは成り立たない; fact25 -> int4: もしもこのマックスタグがヒーリングであるし甘酸っぱいとしたらそれは担当コンサルタントでない; fact24 -> int5: その日中間はヒーリングだ;
$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: このマックスタグは拙い; fact14 -> int2: このマックスタグは労働部だ; int1 & int2 -> 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. 事実14から、推論2: "このマックスタグは労働部だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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