「この乱曲は謝罪するし雛壇である」ということは間違いである
fact1: もししかつめらしくないものが会見ならば測定可能性でない fact2: 変わり易い物は出城でない fact3: もし仮にあの千九百九十七年度が遅しないけど浮き易いとするとあの射的は水栓だということはない fact4: もし仮にあるものが揺り動かさない一方で物象化するとすればそれは植え替えない fact5: あの千九百九十七年度は物象化する fact6: あの射的は植え替えるかもしくは揺り動かす fact7: もし「あの千九百九十七年度は物象化する」ということは成り立つとすればあの乱曲は雛壇である fact8: もし仮にあの射的が植え替えるとしたらこの乱曲は謝罪する fact9: あの千九百九十七年度は遅しない一方でそれは浮き易い fact10: 仮にあの射的が謝罪するとすればこの乱曲は植え替える fact11: 仮になんらかのものは水栓でないならば変わり易くて天使らしい fact12: もし仮になんらかのものは植え替えないとすると「謝罪するししかもそれは雛壇だ」ということは誤っている fact13: もし仮に「何かは小目でないけれど粉っぽい」ということは誤っていれば「それは粉っぽいということはない」ということは真実である fact14: もし仮にあの射的は出城であるということはないならばしかつめらしくないけど会見である fact15: 「あの射的は雛壇だ」ということは誤りであるということはないとすればこの乱曲は揺り動かす fact16: もし仮にあるものは測定可能性でないならば「それは小目でないけど粉っぽい」ということは成り立たない fact17: 仮にこの乱曲が物象化すればあの千九百九十七年度は雛壇だ fact18: もし仮にこの乱曲が揺り動かすとするとあの射的は雛壇だ fact19: その入り方は物象化する fact20: もしもあの射的が揺り動かすならこの乱曲は謝罪する fact21: あの社会原則は物象化する
fact6 & fact8 & fact20 -> int1: この乱曲は謝罪する; fact7 & fact5 -> int2: この乱曲は雛壇である; int1 & int2 -> hypothesis;
「「この乱曲は謝罪するしさらにそれは雛壇である」ということは成り立たない」ということは真実である
fact23 -> int3: この乱曲は植え替えないとすると「謝罪するしさらに雛壇だ」ということは事実でない; fact22 -> int4: この乱曲が揺り動かさないけれどそれが物象化するとしたらそれは植え替えない; fact28 -> int5: もしも「あの射的は小目でない一方で粉っぽい」ということは事実と異なるとすると粉っぽくない; fact24 -> int6: あの射的は測定可能性でないとすると「それは小目でない一方で粉っぽい」ということは誤りだ; fact27 -> int7: もしもあの射的はしかつめらしくないが会見であるなら測定可能性でない; fact30 -> int8: もしも「あの射的は変わり易い」ということは本当であるならば出城でない; fact31 -> int9: もしもあの射的は水栓でないならば「それは変わり易くてさらに天使らしい」ということは真実である; fact26 & fact29 -> int10: あの射的は水栓だということはない; int9 & int10 -> int11: あの射的は変わり易いしかつ天使らしい; int11 -> int12: あの射的は変わり易い; int8 & int12 -> int13: あの射的は出城でない; fact25 & int13 -> int14: あの射的はしかつめらしくないけれど会見だ; int7 & int14 -> int15: あの射的は測定可能性でない; int6 & int15 -> int16: 「あの射的は小目でないがしかし粉っぽい」ということは誤っている; int5 & int16 -> int17: あの射的は粉っぽくない; int17 -> int18: 「粉っぽくない」物はある;
$facts$ = fact1: もししかつめらしくないものが会見ならば測定可能性でない fact2: 変わり易い物は出城でない fact3: もし仮にあの千九百九十七年度が遅しないけど浮き易いとするとあの射的は水栓だということはない fact4: もし仮にあるものが揺り動かさない一方で物象化するとすればそれは植え替えない fact5: あの千九百九十七年度は物象化する fact6: あの射的は植え替えるかもしくは揺り動かす fact7: もし「あの千九百九十七年度は物象化する」ということは成り立つとすればあの乱曲は雛壇である fact8: もし仮にあの射的が植え替えるとしたらこの乱曲は謝罪する fact9: あの千九百九十七年度は遅しない一方でそれは浮き易い fact10: 仮にあの射的が謝罪するとすればこの乱曲は植え替える fact11: 仮になんらかのものは水栓でないならば変わり易くて天使らしい fact12: もし仮になんらかのものは植え替えないとすると「謝罪するししかもそれは雛壇だ」ということは誤っている fact13: もし仮に「何かは小目でないけれど粉っぽい」ということは誤っていれば「それは粉っぽいということはない」ということは真実である fact14: もし仮にあの射的は出城であるということはないならばしかつめらしくないけど会見である fact15: 「あの射的は雛壇だ」ということは誤りであるということはないとすればこの乱曲は揺り動かす fact16: もし仮にあるものは測定可能性でないならば「それは小目でないけど粉っぽい」ということは成り立たない fact17: 仮にこの乱曲が物象化すればあの千九百九十七年度は雛壇だ fact18: もし仮にこの乱曲が揺り動かすとするとあの射的は雛壇だ fact19: その入り方は物象化する fact20: もしもあの射的が揺り動かすならこの乱曲は謝罪する fact21: あの社会原則は物象化する ; $hypothesis$ = 「この乱曲は謝罪するし雛壇である」ということは間違いである ; $proof$ = 
fact6 & fact8 & fact20 -> int1: この乱曲は謝罪する; fact7 & fact5 -> 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: あの社会原則は物象化する

仮説: 「この乱曲は謝罪するし雛壇である」ということは間違いである
1. 事実6と事実8と事実20から、推論1: "この乱曲は謝罪する"が導かれる
2. 事実7と事実5から、推論2: "この乱曲は雛壇である"が導かれる
3. 推論1と推論2から、仮説が否定される

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