そのパースは故無くない
fact1: もしも「そのパースは悪しかまたは動機付ける」ということは嘘だとするとその百二ページ参照は動機付けない fact2: そのパースは忍び難い fact3: その百二ページ参照が動機付けるかそれが忍び難いかもしくは両方ならそのパースは故無くない fact4: 何らかのものは忍び難くないかもしくは叶うかまたはどちらもだとすると忍び難いということはない fact5: もし「あのトレモロ奏は親しみ易くないがしかし普遍史的転回だ」ということは正しいならばその防鹿柵はスタート出来ない fact6: 仮になにかはスタート出来ないなら「それは忍び難くないかもしくは叶うか両方だ」ということは本当である fact7: その百二ページ参照は動機付ける fact8: その百二ページ参照は地方出身である fact9: もしも何らかの物が動機付けるとすれば故無い fact10: もし仮にその百二ページ参照が動機付けないならばこのダイリューションは父親不在であるかもしくは故無いかまたはどちらもだ fact11: その百二ページ参照が忍び難いとしたらそのパースは故無くない fact12: その百二ページ参照は故無い fact13: そのパースは故無いかまたは忍び難いかどちらもである fact14: あの竹馬は忍び難くない
fact7 -> int1: 「その百二ページ参照は動機付けるか忍び難い」ということは事実だ; int1 & fact3 -> hypothesis;
そのパースは故無い
fact15 -> int2: もし仮にそのパースが動機付けるとすれば故無い;
$facts$ = fact1: もしも「そのパースは悪しかまたは動機付ける」ということは嘘だとするとその百二ページ参照は動機付けない fact2: そのパースは忍び難い fact3: その百二ページ参照が動機付けるかそれが忍び難いかもしくは両方ならそのパースは故無くない fact4: 何らかのものは忍び難くないかもしくは叶うかまたはどちらもだとすると忍び難いということはない fact5: もし「あのトレモロ奏は親しみ易くないがしかし普遍史的転回だ」ということは正しいならばその防鹿柵はスタート出来ない fact6: 仮になにかはスタート出来ないなら「それは忍び難くないかもしくは叶うか両方だ」ということは本当である fact7: その百二ページ参照は動機付ける fact8: その百二ページ参照は地方出身である fact9: もしも何らかの物が動機付けるとすれば故無い fact10: もし仮にその百二ページ参照が動機付けないならばこのダイリューションは父親不在であるかもしくは故無いかまたはどちらもだ fact11: その百二ページ参照が忍び難いとしたらそのパースは故無くない fact12: その百二ページ参照は故無い fact13: そのパースは故無いかまたは忍び難いかどちらもである fact14: あの竹馬は忍び難くない ; $hypothesis$ = そのパースは故無くない ; $proof$ = 
fact7 -> int1: 「その百二ページ参照は動機付けるか忍び難い」ということは事実だ; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしも「そのパースは悪しかまたは動機付ける」ということは嘘だとするとその百二ページ参照は動機付けない
事実2: そのパースは忍び難い
事実3: その百二ページ参照が動機付けるかそれが忍び難いかもしくは両方ならそのパースは故無くない
事実4: 何らかのものは忍び難くないかもしくは叶うかまたはどちらもだとすると忍び難いということはない
事実5: もし「あのトレモロ奏は親しみ易くないがしかし普遍史的転回だ」ということは正しいならばその防鹿柵はスタート出来ない
事実6: 仮になにかはスタート出来ないなら「それは忍び難くないかもしくは叶うか両方だ」ということは本当である
事実7: その百二ページ参照は動機付ける
事実8: その百二ページ参照は地方出身である
事実9: もしも何らかの物が動機付けるとすれば故無い
事実10: もし仮にその百二ページ参照が動機付けないならばこのダイリューションは父親不在であるかもしくは故無いかまたはどちらもだ
事実11: その百二ページ参照が忍び難いとしたらそのパースは故無くない
事実12: その百二ページ参照は故無い
事実13: そのパースは故無いかまたは忍び難いかどちらもである
事実14: あの竹馬は忍び難くない

仮説: そのパースは故無くない
1. 事実7から、推論1: "「その百二ページ参照は動機付けるか忍び難い」ということは事実だ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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