「「もしきついとするとオフセットしないしかつ心細い」ものはある」ということは嘘である
fact1: 「その決行はきつい」ということは成り立つとしたら心細い fact2: きつい物はオフセットしないけど心細い fact3: もしも何らかのものがきついとすると心細い fact4: きついものはオフセットするしそれに心細い fact5: 「もし仮に性分らしいなら起き易いし区分所有する」ものはある fact6: 「「ラウンドするとすれば名状し難くないけれどひもじい」物はある」ということは事実と異ならない fact7: 仮にその決行がきついとしたらオフセットするしさらに心細い
fact2 -> int1: もし仮に「その決行はきつい」ということは成り立てばオフセットするということはないし更にそれは心細い; int1 -> hypothesis;
$facts$ = fact1: 「その決行はきつい」ということは成り立つとしたら心細い fact2: きつい物はオフセットしないけど心細い fact3: もしも何らかのものがきついとすると心細い fact4: きついものはオフセットするしそれに心細い fact5: 「もし仮に性分らしいなら起き易いし区分所有する」ものはある fact6: 「「ラウンドするとすれば名状し難くないけれどひもじい」物はある」ということは事実と異ならない fact7: 仮にその決行がきついとしたらオフセットするしさらに心細い ; $hypothesis$ = 「「もしきついとするとオフセットしないしかつ心細い」ものはある」ということは嘘である ; $proof$ = 
fact2 -> int1: もし仮に「その決行はきつい」ということは成り立てばオフセットするということはないし更にそれは心細い; int1 -> hypothesis; __DISPROVED__
事実1: 「その決行はきつい」ということは成り立つとしたら心細い
事実2: きつい物はオフセットしないけど心細い
事実3: もしも何らかのものがきついとすると心細い
事実4: きついものはオフセットするしそれに心細い
事実5: 「もし仮に性分らしいなら起き易いし区分所有する」ものはある
事実6: 「「ラウンドするとすれば名状し難くないけれどひもじい」物はある」ということは事実と異ならない
事実7: 仮にその決行がきついとしたらオフセットするしさらに心細い

仮説: 「「もしきついとするとオフセットしないしかつ心細い」ものはある」ということは嘘である
1. 事実2から、推論1: "もし仮に「その決行はきつい」ということは成り立てばオフセットするということはないし更にそれは心細い"が導かれる
2. 推論1から、仮説が否定される

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