「「仮に可笑しということはないとすると苦しくてかつ豪族達な」ものはある」ということは成り立たない
fact1: 「仮に実質法でないとすると重たくて自然乾燥する」物はある fact2: 「仮に打ち拉げばおっかしいしかつ合い過ぎる」ものはある fact3: 「仮に情け深いとしたら浮き易くておまけに優しい」物はある fact4: もし仮になんらかの物は可笑しないなら「苦しいしそれに豪族達である」ということは真実である fact5: 「仮にヨーロッパ市場であるなら煩わしくてさらに仕る」ものはある fact6: もし「そのグリシルリチンは可笑しない」ということは偽であるということはないとするとそれは苦しい fact7: 仮になんらかの物が可笑しないとするとそれは苦しい fact8: そのグリシルリチンが可笑しならばそれは苦しいしかつそれは豪族達である fact9: 来し易くないものは吹っ飛ぶしまた褒め続ける fact10: 「「もし仮に可笑しとしたら苦しくて更に豪族達である」物はある」ということは偽でない fact11: 類球形は四角くて加えてうら若い fact12: 可笑し物は苦しくてそれに豪族達だ fact13: 「もし仮に可笑しないとしたら苦しい」物はある fact14: 「もし仮に浮き易くないとしたら負えるし功績な」ものはある
fact4 -> int1: もしそのグリシルリチンが可笑しということはないとしたら苦しいしおまけに豪族達である; int1 -> hypothesis;
もしもあの州知事が来し易くないとすればそれは吹っ飛ぶししかもそれは褒め続ける
fact15 -> hypothesis;
$facts$ = fact1: 「仮に実質法でないとすると重たくて自然乾燥する」物はある fact2: 「仮に打ち拉げばおっかしいしかつ合い過ぎる」ものはある fact3: 「仮に情け深いとしたら浮き易くておまけに優しい」物はある fact4: もし仮になんらかの物は可笑しないなら「苦しいしそれに豪族達である」ということは真実である fact5: 「仮にヨーロッパ市場であるなら煩わしくてさらに仕る」ものはある fact6: もし「そのグリシルリチンは可笑しない」ということは偽であるということはないとするとそれは苦しい fact7: 仮になんらかの物が可笑しないとするとそれは苦しい fact8: そのグリシルリチンが可笑しならばそれは苦しいしかつそれは豪族達である fact9: 来し易くないものは吹っ飛ぶしまた褒め続ける fact10: 「「もし仮に可笑しとしたら苦しくて更に豪族達である」物はある」ということは偽でない fact11: 類球形は四角くて加えてうら若い fact12: 可笑し物は苦しくてそれに豪族達だ fact13: 「もし仮に可笑しないとしたら苦しい」物はある fact14: 「もし仮に浮き易くないとしたら負えるし功績な」ものはある ; $hypothesis$ = 「「仮に可笑しということはないとすると苦しくてかつ豪族達な」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: もしそのグリシルリチンが可笑しということはないとしたら苦しいしおまけに豪族達である; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に実質法でないとすると重たくて自然乾燥する」物はある
事実2: 「仮に打ち拉げばおっかしいしかつ合い過ぎる」ものはある
事実3: 「仮に情け深いとしたら浮き易くておまけに優しい」物はある
事実4: もし仮になんらかの物は可笑しないなら「苦しいしそれに豪族達である」ということは真実である
事実5: 「仮にヨーロッパ市場であるなら煩わしくてさらに仕る」ものはある
事実6: もし「そのグリシルリチンは可笑しない」ということは偽であるということはないとするとそれは苦しい
事実7: 仮になんらかの物が可笑しないとするとそれは苦しい
事実8: そのグリシルリチンが可笑しならばそれは苦しいしかつそれは豪族達である
事実9: 来し易くないものは吹っ飛ぶしまた褒め続ける
事実10: 「「もし仮に可笑しとしたら苦しくて更に豪族達である」物はある」ということは偽でない
事実11: 類球形は四角くて加えてうら若い
事実12: 可笑し物は苦しくてそれに豪族達だ
事実13: 「もし仮に可笑しないとしたら苦しい」物はある
事実14: 「もし仮に浮き易くないとしたら負えるし功績な」ものはある

仮説: 「「仮に可笑しということはないとすると苦しくてかつ豪族達な」ものはある」ということは成り立たない
1. 事実4から、推論1: "もしそのグリシルリチンが可笑しということはないとしたら苦しいしおまけに豪族達である"が導かれる
2. 推論1から、仮説が否定される

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