このクイックトラックＳは悔やみ切れる
fact1: そのユーザー名が半減であるとしたらこの耕作は陳述する fact2: 「そのセットプレイ券は梟便である」ということは偽だ fact3: どれもこれもは競争戦略であるが中国各地でない fact4: このクイックトラックＳは訳了する fact5: あらゆる物は陳述するけど悔やみ切れない fact6: このクイックトラックＳは独身女性であるが禁裏周辺でない fact7: もし仮に「この耕作は悔やみ切れないかあるいは生温いかもしくはどちらもである」ということは間違っているとしたらあのバーテックスシェーダは悔やみ切れない fact8: その実効利子率は選任する fact9: もしとある物が収量だということはないとしたら賛成し難いし半減である fact10: このクイックトラックＳはバスガイドさんである fact11: このカリキュラム編成は全面展開するけど悔やみ切れない fact12: 「このクイックトラックＳは緩衝しない」ということは間違っているということはない fact13: 全ての物は混和する
fact5 -> int1: このクイックトラックＳは陳述するが悔やみ切れない; int1 -> hypothesis;
あのバーテックスシェーダは悔やみ切れない
fact16 -> int2: もしそのユーザー名は収量でないとしたらそれは賛成し難いし半減だ;
$facts$ = fact1: そのユーザー名が半減であるとしたらこの耕作は陳述する fact2: 「そのセットプレイ券は梟便である」ということは偽だ fact3: どれもこれもは競争戦略であるが中国各地でない fact4: このクイックトラックＳは訳了する fact5: あらゆる物は陳述するけど悔やみ切れない fact6: このクイックトラックＳは独身女性であるが禁裏周辺でない fact7: もし仮に「この耕作は悔やみ切れないかあるいは生温いかもしくはどちらもである」ということは間違っているとしたらあのバーテックスシェーダは悔やみ切れない fact8: その実効利子率は選任する fact9: もしとある物が収量だということはないとしたら賛成し難いし半減である fact10: このクイックトラックＳはバスガイドさんである fact11: このカリキュラム編成は全面展開するけど悔やみ切れない fact12: 「このクイックトラックＳは緩衝しない」ということは間違っているということはない fact13: 全ての物は混和する ; $hypothesis$ = このクイックトラックＳは悔やみ切れる ; $proof$ = 
fact5 -> int1: このクイックトラックＳは陳述するが悔やみ切れない; int1 -> hypothesis; __DISPROVED__
事実1: そのユーザー名が半減であるとしたらこの耕作は陳述する
事実2: 「そのセットプレイ券は梟便である」ということは偽だ
事実3: どれもこれもは競争戦略であるが中国各地でない
事実4: このクイックトラックＳは訳了する
事実5: あらゆる物は陳述するけど悔やみ切れない
事実6: このクイックトラックＳは独身女性であるが禁裏周辺でない
事実7: もし仮に「この耕作は悔やみ切れないかあるいは生温いかもしくはどちらもである」ということは間違っているとしたらあのバーテックスシェーダは悔やみ切れない
事実8: その実効利子率は選任する
事実9: もしとある物が収量だということはないとしたら賛成し難いし半減である
事実10: このクイックトラックＳはバスガイドさんである
事実11: このカリキュラム編成は全面展開するけど悔やみ切れない
事実12: 「このクイックトラックＳは緩衝しない」ということは間違っているということはない
事実13: 全ての物は混和する

仮説: このクイックトラックＳは悔やみ切れる
1. 事実5から、推論1: "このクイックトラックＳは陳述するが悔やみ切れない"が導かれる
2. 推論1から、仮説が否定される

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