「「もし塩辛くないならば弱しない」ものはある」ということは間違いだ
fact1: 「もし仮に呼び物でないとすれば「有り難くない」ということは成り立つ」ものはある fact2: きったなくない物は募らない fact3: もしもその継ぎ目がダイブしないとしたらそれは弱しということはない fact4: あのピツィチリが塩辛くないならそれは弱し fact5: とあるものが散らからないとしたら蓬莱だということはない fact6: 「もし塩辛いとすると弱しない」物はある fact7: 弱しない物は右折しない fact8: 「塩辛くないなら弱し」ものはある fact9: 仮にあのピツィチリが塩辛いならばそれは弱しということはない fact10: 「仮に甲斐甲斐しかないとすると贈答でない」ものはある fact11: 「もし仮にクランプするということはないとすればオキサトミドな」ものはある fact12: あのピツィチリが塩辛くないとするとそれは弱しということはない
fact12 -> hypothesis;
fact12 -> hypothesis;
あのピツィチリが散らからないならばそれは蓬莱でない
fact13 -> hypothesis;
$facts$ = fact1: 「もし仮に呼び物でないとすれば「有り難くない」ということは成り立つ」ものはある fact2: きったなくない物は募らない fact3: もしもその継ぎ目がダイブしないとしたらそれは弱しということはない fact4: あのピツィチリが塩辛くないならそれは弱し fact5: とあるものが散らからないとしたら蓬莱だということはない fact6: 「もし塩辛いとすると弱しない」物はある fact7: 弱しない物は右折しない fact8: 「塩辛くないなら弱し」ものはある fact9: 仮にあのピツィチリが塩辛いならばそれは弱しということはない fact10: 「仮に甲斐甲斐しかないとすると贈答でない」ものはある fact11: 「もし仮にクランプするということはないとすればオキサトミドな」ものはある fact12: あのピツィチリが塩辛くないとするとそれは弱しということはない ; $hypothesis$ = 「「もし塩辛くないならば弱しない」ものはある」ということは間違いだ ; $proof$ = 
fact12 -> hypothesis; __DISPROVED__
事実1: 「もし仮に呼び物でないとすれば「有り難くない」ということは成り立つ」ものはある
事実2: きったなくない物は募らない
事実3: もしもその継ぎ目がダイブしないとしたらそれは弱しということはない
事実4: あのピツィチリが塩辛くないならそれは弱し
事実5: とあるものが散らからないとしたら蓬莱だということはない
事実6: 「もし塩辛いとすると弱しない」物はある
事実7: 弱しない物は右折しない
事実8: 「塩辛くないなら弱し」ものはある
事実9: 仮にあのピツィチリが塩辛いならばそれは弱しということはない
事実10: 「仮に甲斐甲斐しかないとすると贈答でない」ものはある
事実11: 「もし仮にクランプするということはないとすればオキサトミドな」ものはある
事実12: あのピツィチリが塩辛くないとするとそれは弱しということはない

仮説: 「「もし塩辛くないならば弱しない」ものはある」ということは間違いだ
1. 事実12から、仮説が否定される

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