「その総供給曲線は糾問しない」ということは事実だ
fact1: その総供給曲線は泣く fact2: もし仮にとある物は尖み付けるとすれば「口惜しくないしかつ糾問するということはない」ということは本当だということはない fact3: その総供給曲線は決定力であるならそれは口惜しい fact4: もしも「とある物は口惜しくて更に決定力である」ということは間違っているとすると糾問しない fact5: その十二．一は口惜しい fact6: もし仮に「なんらかの物は口惜しくなくてそれは糾問するということはない」ということは本当でないなら決定力である fact7: もし仮にその総供給曲線はポリエステルであるとすると「侘しい」ということは成り立つ fact8: この叩き痕は口惜しい fact9: その総供給曲線は決定力だ fact10: 「口惜しいものは決定力である」ということは事実である fact11: 仮にとある物が口惜しいとするとそれは糾問する fact12: もしその総供給曲線が来ればそれは御偉い
fact3 & fact9 -> int1: その総供給曲線は口惜しい; fact11 -> int2: 仮にその総供給曲線が口惜しいとするとそれは糾問する; int1 & int2 -> hypothesis;
その総供給曲線は糾問しない
fact13 -> int3: 仮に「その総供給曲線は口惜しくて決定力である」ということは間違っているとすればそれは糾問しない;
$facts$ = fact1: その総供給曲線は泣く fact2: もし仮にとある物は尖み付けるとすれば「口惜しくないしかつ糾問するということはない」ということは本当だということはない fact3: その総供給曲線は決定力であるならそれは口惜しい fact4: もしも「とある物は口惜しくて更に決定力である」ということは間違っているとすると糾問しない fact5: その十二．一は口惜しい fact6: もし仮に「なんらかの物は口惜しくなくてそれは糾問するということはない」ということは本当でないなら決定力である fact7: もし仮にその総供給曲線はポリエステルであるとすると「侘しい」ということは成り立つ fact8: この叩き痕は口惜しい fact9: その総供給曲線は決定力だ fact10: 「口惜しいものは決定力である」ということは事実である fact11: 仮にとある物が口惜しいとするとそれは糾問する fact12: もしその総供給曲線が来ればそれは御偉い ; $hypothesis$ = 「その総供給曲線は糾問しない」ということは事実だ ; $proof$ = 
fact3 & fact9 -> int1: その総供給曲線は口惜しい; fact11 -> int2: 仮にその総供給曲線が口惜しいとするとそれは糾問する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その総供給曲線は泣く
事実2: もし仮にとある物は尖み付けるとすれば「口惜しくないしかつ糾問するということはない」ということは本当だということはない
事実3: その総供給曲線は決定力であるならそれは口惜しい
事実4: もしも「とある物は口惜しくて更に決定力である」ということは間違っているとすると糾問しない
事実5: その十二．一は口惜しい
事実6: もし仮に「なんらかの物は口惜しくなくてそれは糾問するということはない」ということは本当でないなら決定力である
事実7: もし仮にその総供給曲線はポリエステルであるとすると「侘しい」ということは成り立つ
事実8: この叩き痕は口惜しい
事実9: その総供給曲線は決定力だ
事実10: 「口惜しいものは決定力である」ということは事実である
事実11: 仮にとある物が口惜しいとするとそれは糾問する
事実12: もしその総供給曲線が来ればそれは御偉い

仮説: 「その総供給曲線は糾問しない」ということは事実だ
1. 事実3と事実9から、推論1: "その総供給曲線は口惜しい"が導かれる
2. 事実11から、推論2: "仮にその総供給曲線が口惜しいとするとそれは糾問する"が導かれる
3. 推論1と推論2から、仮説が否定される

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