「「もしも「伸し上がるということはないが思い易い」ということは間違いであるとしたら「しょぼくれる」ということは真実な」ものはある」ということは成り立つということはない
fact1: もし「とある物は通常学校でないが浮かぶ」ということは偽であるならば遣り難い fact2: 「もし伸し上がるならしょぼくれる」物はある fact3: 「伸し上がるということはないがしかし思い易いとするとしょぼくれる」ものはある fact4: もしも「なんらかの物は伸し上がらないけれど思い易い」ということは成り立たないならしょぼくれる fact5: もしその生産変動が思い易くないとしたらそれはしょぼくれる fact6: 「もし思い易くないならしょぼくれる」物はある fact7: もしあるものは伸し上がらないがしかし思い易いならそれはしょぼくれる fact8: 「もし及ばさないとすれば惨めったらしい」ものはある fact9: 「「伸し上がるし思い易い」ということは成り立たないとすればしょぼくれる」物はある fact10: 「その生産変動が伸し上がるしその上それは思い易い」ということは間違っているとしたらそれはしょぼくれる fact11: その生産変動は伸し上がらないけれど思い易いならそれはしょぼくれる
fact4 -> int1: 仮に「その生産変動は伸し上がるということはないが思い易い」ということは間違っているとするとしょぼくれる; int1 -> hypothesis;
$facts$ = fact1: もし「とある物は通常学校でないが浮かぶ」ということは偽であるならば遣り難い fact2: 「もし伸し上がるならしょぼくれる」物はある fact3: 「伸し上がるということはないがしかし思い易いとするとしょぼくれる」ものはある fact4: もしも「なんらかの物は伸し上がらないけれど思い易い」ということは成り立たないならしょぼくれる fact5: もしその生産変動が思い易くないとしたらそれはしょぼくれる fact6: 「もし思い易くないならしょぼくれる」物はある fact7: もしあるものは伸し上がらないがしかし思い易いならそれはしょぼくれる fact8: 「もし及ばさないとすれば惨めったらしい」ものはある fact9: 「「伸し上がるし思い易い」ということは成り立たないとすればしょぼくれる」物はある fact10: 「その生産変動が伸し上がるしその上それは思い易い」ということは間違っているとしたらそれはしょぼくれる fact11: その生産変動は伸し上がらないけれど思い易いならそれはしょぼくれる ; $hypothesis$ = 「「もしも「伸し上がるということはないが思い易い」ということは間違いであるとしたら「しょぼくれる」ということは真実な」ものはある」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: 仮に「その生産変動は伸し上がるということはないが思い易い」ということは間違っているとするとしょぼくれる; int1 -> hypothesis; __DISPROVED__
事実1: もし「とある物は通常学校でないが浮かぶ」ということは偽であるならば遣り難い
事実2: 「もし伸し上がるならしょぼくれる」物はある
事実3: 「伸し上がるということはないがしかし思い易いとするとしょぼくれる」ものはある
事実4: もしも「なんらかの物は伸し上がらないけれど思い易い」ということは成り立たないならしょぼくれる
事実5: もしその生産変動が思い易くないとしたらそれはしょぼくれる
事実6: 「もし思い易くないならしょぼくれる」物はある
事実7: もしあるものは伸し上がらないがしかし思い易いならそれはしょぼくれる
事実8: 「もし及ばさないとすれば惨めったらしい」ものはある
事実9: 「「伸し上がるし思い易い」ということは成り立たないとすればしょぼくれる」物はある
事実10: 「その生産変動が伸し上がるしその上それは思い易い」ということは間違っているとしたらそれはしょぼくれる
事実11: その生産変動は伸し上がらないけれど思い易いならそれはしょぼくれる

仮説: 「「もしも「伸し上がるということはないが思い易い」ということは間違いであるとしたら「しょぼくれる」ということは真実な」ものはある」ということは成り立つということはない
1. 事実4から、推論1: "仮に「その生産変動は伸し上がるということはないが思い易い」ということは間違っているとするとしょぼくれる"が導かれる
2. 推論1から、仮説が否定される

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