「この式ファンは飲用しないし首尾良くない」ということは誤っている
fact1: 「あの第二主成分は夫婦らしくないしその上それは共感的理解でない」ということは誤りである fact2: 仮にある物が糊塗しないとするとそれは一マスだということはないし御櫃でない fact3: もしもこの早とちりは繊維質でないとすれば「あの政策戦略は卦辞だ一方で失わない」ということは正しくない fact4: 「あの第二主成分は夫婦らしいということはないししかも共感的理解でない」ということは間違っているなら糊塗しない fact5: 「この多角形ツールは収蔵する」ということは本当だ fact6: この交点Ａは卦辞である fact7: 「この本体合併は収蔵する」ということは本当だ fact8: この交点Ａは首尾良いし反対売買である fact9: この交点Ａは首尾良いとすれば「この式ファンは首尾良くない」ということは成り立つ fact10: 仮に「あの第二主成分は愛情深くなくて加えてそれは空腹時でない」ということは間違っていればこの早とちりは繊維質でない fact11: もし「何かは卦辞であるけれどそれは失わない」ということは誤っているとすれば卦辞でない fact12: もしこの多角形ツールが収蔵するしそれにそれが卦辞であるならこの式ファンは飲用しない fact13: もしこの多角形ツールは収蔵しないとすれば「この式ファンは飲用しなくてそれは首尾良くない」ということは嘘である fact14: この多角形ツールは卦辞である fact15: この交点Ａは反対売買である fact16: もしとあるものは一マスでないとすれば「愛情深くなくておまけに空腹時でない」ということは間違っている fact17: もしもあの政策戦略は卦辞でないなら「この交点Ａは収蔵するしそれは反対売買だ」ということは成り立たない fact18: 「この式ファンは粘っこい」ということは成り立つ
fact5 & fact14 -> int1: この多角形ツールは収蔵するしそれに卦辞だ; int1 & fact12 -> int2: この式ファンは飲用しない; fact8 -> int3: 「この交点Ａは首尾良い」ということは真実である; fact9 & int3 -> int4: この式ファンは首尾良くない; int2 & int4 -> hypothesis;
fact5 & fact14 -> int1: ({A}{a} & {B}{a}); int1 & fact12 -> int2: ¬{C}{b}; fact8 -> int3: {D}{c}; fact9 & int3 -> int4: ¬{D}{b}; int2 & int4 -> hypothesis;
「この式ファンは飲用しなくてかつそれは首尾良いということはない」ということは間違いだ
fact27 -> int5: 仮に「あの政策戦略は卦辞だけれど失わない」ということは成り立つということはないならばそれは卦辞でない; fact26 -> int6: あの第二主成分は一マスでないとすると「愛情深くないしさらに空腹時であるということはない」ということは間違っている; fact20 -> int7: 仮にあの第二主成分が糊塗しないとすればそれは一マスであるということはなくて御櫃でない; fact25 & fact23 -> int8: あの第二主成分は糊塗しない; int7 & int8 -> int9: あの第二主成分は一マスでなくてまた御櫃でない; int9 -> int10: あの第二主成分は一マスでない; int6 & int10 -> int11: 「あの第二主成分は愛情深いということはなくてしかもそれは空腹時でない」ということは確かでない; fact24 & int11 -> int12: この早とちりは繊維質だということはない; fact19 & int12 -> int13: 「あの政策戦略は卦辞だけど失わない」ということは真実でない; int5 & int13 -> int14: あの政策戦略は卦辞でない; fact22 & int14 -> int15: 「この交点Ａは収蔵するしそれにそれは反対売買だ」ということは誤っている; int15 -> int16: 「「収蔵するし加えて反対売買だ」ということは成り立つということはない」物はある;
$facts$ = fact1: 「あの第二主成分は夫婦らしくないしその上それは共感的理解でない」ということは誤りである fact2: 仮にある物が糊塗しないとするとそれは一マスだということはないし御櫃でない fact3: もしもこの早とちりは繊維質でないとすれば「あの政策戦略は卦辞だ一方で失わない」ということは正しくない fact4: 「あの第二主成分は夫婦らしいということはないししかも共感的理解でない」ということは間違っているなら糊塗しない fact5: 「この多角形ツールは収蔵する」ということは本当だ fact6: この交点Ａは卦辞である fact7: 「この本体合併は収蔵する」ということは本当だ fact8: この交点Ａは首尾良いし反対売買である fact9: この交点Ａは首尾良いとすれば「この式ファンは首尾良くない」ということは成り立つ fact10: 仮に「あの第二主成分は愛情深くなくて加えてそれは空腹時でない」ということは間違っていればこの早とちりは繊維質でない fact11: もし「何かは卦辞であるけれどそれは失わない」ということは誤っているとすれば卦辞でない fact12: もしこの多角形ツールが収蔵するしそれにそれが卦辞であるならこの式ファンは飲用しない fact13: もしこの多角形ツールは収蔵しないとすれば「この式ファンは飲用しなくてそれは首尾良くない」ということは嘘である fact14: この多角形ツールは卦辞である fact15: この交点Ａは反対売買である fact16: もしとあるものは一マスでないとすれば「愛情深くなくておまけに空腹時でない」ということは間違っている fact17: もしもあの政策戦略は卦辞でないなら「この交点Ａは収蔵するしそれは反対売買だ」ということは成り立たない fact18: 「この式ファンは粘っこい」ということは成り立つ ; $hypothesis$ = 「この式ファンは飲用しないし首尾良くない」ということは誤っている ; $proof$ = 
fact5 & fact14 -> int1: この多角形ツールは収蔵するしそれに卦辞だ; int1 & fact12 -> int2: この式ファンは飲用しない; fact8 -> int3: 「この交点Ａは首尾良い」ということは真実である; fact9 & int3 -> int4: この式ファンは首尾良くない; int2 & int4 -> hypothesis; __DISPROVED__
事実1: 「あの第二主成分は夫婦らしくないしその上それは共感的理解でない」ということは誤りである
事実2: 仮にある物が糊塗しないとするとそれは一マスだということはないし御櫃でない
事実3: もしもこの早とちりは繊維質でないとすれば「あの政策戦略は卦辞だ一方で失わない」ということは正しくない
事実4: 「あの第二主成分は夫婦らしいということはないししかも共感的理解でない」ということは間違っているなら糊塗しない
事実5: 「この多角形ツールは収蔵する」ということは本当だ
事実6: この交点Ａは卦辞である
事実7: 「この本体合併は収蔵する」ということは本当だ
事実8: この交点Ａは首尾良いし反対売買である
事実9: この交点Ａは首尾良いとすれば「この式ファンは首尾良くない」ということは成り立つ
事実10: 仮に「あの第二主成分は愛情深くなくて加えてそれは空腹時でない」ということは間違っていればこの早とちりは繊維質でない
事実11: もし「何かは卦辞であるけれどそれは失わない」ということは誤っているとすれば卦辞でない
事実12: もしこの多角形ツールが収蔵するしそれにそれが卦辞であるならこの式ファンは飲用しない
事実13: もしこの多角形ツールは収蔵しないとすれば「この式ファンは飲用しなくてそれは首尾良くない」ということは嘘である
事実14: この多角形ツールは卦辞である
事実15: この交点Ａは反対売買である
事実16: もしとあるものは一マスでないとすれば「愛情深くなくておまけに空腹時でない」ということは間違っている
事実17: もしもあの政策戦略は卦辞でないなら「この交点Ａは収蔵するしそれは反対売買だ」ということは成り立たない
事実18: 「この式ファンは粘っこい」ということは成り立つ

仮説: 「この式ファンは飲用しないし首尾良くない」ということは誤っている
1. 事実5と事実14から、推論1: "この多角形ツールは収蔵するしそれに卦辞だ"が導かれる
2. 推論1と事実12から、推論2: "この式ファンは飲用しない"が導かれる
3. 事実8から、推論3: "「この交点Ａは首尾良い」ということは真実である"が導かれる
4. 事実9と推論3から、推論4: "この式ファンは首尾良くない"が導かれる
5. 推論2と推論4から、仮説が否定される

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