「そのサリンプラントは蛮勇だしまた穿つ」ということは成り立つということはない
fact1: 甘酸っぱい物は失う fact2: 仮に「あの口述は失う」ということは真実であるとしたらこのマネーサプライは案内広告する fact3: そのサリンプラントは甘酸っぱい fact4: もしもとあるものが失えば蛮勇だ fact5: 「このマネーサプライは失う」ということは事実だ fact6: あの口述は失う fact7: もし「案内広告する」ものはあるとすると「そのサリンプラントが蛮勇だしかつそれは穿つ」ということは間違っている fact8: その軟口蓋は失う fact9: もしとあるものが念じるということはないとするとそれは穿つし更に案内広告する
fact2 & fact6 -> int1: 「このマネーサプライは案内広告する」ということは成り立つ; int1 -> int2: 「案内広告する」ものはある; int2 & fact7 -> hypothesis;
そのサリンプラントが蛮勇だし更にそれは穿つ
fact13 -> int3: 仮にそのサリンプラントが失うならそれは蛮勇である; fact10 -> int4: そのサリンプラントが甘酸っぱいとすればそれは失う; int4 & fact11 -> int5: そのサリンプラントは失う; int3 & int5 -> int6: そのサリンプラントは蛮勇だ; fact12 -> int7: 仮にそのサリンプラントが念じないならそれは穿つし加えて案内広告する;
$facts$ = fact1: 甘酸っぱい物は失う fact2: 仮に「あの口述は失う」ということは真実であるとしたらこのマネーサプライは案内広告する fact3: そのサリンプラントは甘酸っぱい fact4: もしもとあるものが失えば蛮勇だ fact5: 「このマネーサプライは失う」ということは事実だ fact6: あの口述は失う fact7: もし「案内広告する」ものはあるとすると「そのサリンプラントが蛮勇だしかつそれは穿つ」ということは間違っている fact8: その軟口蓋は失う fact9: もしとあるものが念じるということはないとするとそれは穿つし更に案内広告する ; $hypothesis$ = 「そのサリンプラントは蛮勇だしまた穿つ」ということは成り立つということはない ; $proof$ = 
fact2 & fact6 -> int1: 「このマネーサプライは案内広告する」ということは成り立つ; int1 -> int2: 「案内広告する」ものはある; int2 & fact7 -> hypothesis; __PROVED__
事実1: 甘酸っぱい物は失う
事実2: 仮に「あの口述は失う」ということは真実であるとしたらこのマネーサプライは案内広告する
事実3: そのサリンプラントは甘酸っぱい
事実4: もしもとあるものが失えば蛮勇だ
事実5: 「このマネーサプライは失う」ということは事実だ
事実6: あの口述は失う
事実7: もし「案内広告する」ものはあるとすると「そのサリンプラントが蛮勇だしかつそれは穿つ」ということは間違っている
事実8: その軟口蓋は失う
事実9: もしとあるものが念じるということはないとするとそれは穿つし更に案内広告する

仮説: 「そのサリンプラントは蛮勇だしまた穿つ」ということは成り立つということはない
1. 事実2と事実6から、推論1: "「このマネーサプライは案内広告する」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「案内広告する」ものはある"が導かれる
3. 推論2と事実7から、仮説が導かれる

よって、仮説が証明されました。