そのＴＶアニメは吹っ切れる
fact1: そのＴＶアニメは受洗する fact2: 「この農林水産大臣は商売替えしない」ということは真実である fact3: そのＴＶアニメは精密だ fact4: そのＴＶアニメは経済法則でない fact5: その点滴注射は商売替えするということはない fact6: 仮に「そのＴＶアニメは凌ぎである」ということは間違いだということはないとすれば吹っ切れる fact7: 仮にあるものが御召し上がり下さらないけれど食い込むとすればそれは商売替えしない fact8: この蟻吸いは商売替えしない fact9: 仮にそのＴＶアニメが吹っ切れるとすると商売替えする fact10: あの二千円程度は吹っ切れる fact11: この電流制限抵抗は商売替えする fact12: この加齢乗員は商売替えする fact13: そのＴＶアニメは拡張団である fact14: 「その下取り価格は吹っ切れるということはない」ということは真実だ fact15: この使い熟しは商売替えするということはない fact16: そのＴＶアニメは商売替えするということはない fact17: もし仮になにかは商売替えしないとすれば吹っ切れないかまたは補わないか両方だ fact18: もしあるものが商売替えするとすると補う fact19: そのＴＶアニメは厳めしい fact20: もしもその処刑台が吹っ切れればそれは分かり得る fact21: その比較史的研究は吹っ切れない
void -> assump1: 以下のように仮定する。そのＴＶアニメは吹っ切れる; fact9 & assump1 -> int1: そのＴＶアニメは商売替えする; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
もし仮に「その一役は商売替えする」ということは本当であるならばそれは補う
fact22 -> hypothesis;
$facts$ = fact1: そのＴＶアニメは受洗する fact2: 「この農林水産大臣は商売替えしない」ということは真実である fact3: そのＴＶアニメは精密だ fact4: そのＴＶアニメは経済法則でない fact5: その点滴注射は商売替えするということはない fact6: 仮に「そのＴＶアニメは凌ぎである」ということは間違いだということはないとすれば吹っ切れる fact7: 仮にあるものが御召し上がり下さらないけれど食い込むとすればそれは商売替えしない fact8: この蟻吸いは商売替えしない fact9: 仮にそのＴＶアニメが吹っ切れるとすると商売替えする fact10: あの二千円程度は吹っ切れる fact11: この電流制限抵抗は商売替えする fact12: この加齢乗員は商売替えする fact13: そのＴＶアニメは拡張団である fact14: 「その下取り価格は吹っ切れるということはない」ということは真実だ fact15: この使い熟しは商売替えするということはない fact16: そのＴＶアニメは商売替えするということはない fact17: もし仮になにかは商売替えしないとすれば吹っ切れないかまたは補わないか両方だ fact18: もしあるものが商売替えするとすると補う fact19: そのＴＶアニメは厳めしい fact20: もしもその処刑台が吹っ切れればそれは分かり得る fact21: その比較史的研究は吹っ切れない ; $hypothesis$ = そのＴＶアニメは吹っ切れる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＴＶアニメは吹っ切れる; fact9 & assump1 -> int1: そのＴＶアニメは商売替えする; int1 & fact16 -> int2: これは矛盾である; [assump1] & 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. 仮定1: 以下のように仮定する。そのＴＶアニメは吹っ切れる
2. 事実9と仮定1から、推論1: "そのＴＶアニメは商売替えする"が導かれる
3. 推論1と事実16から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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