「あの編集マンは正せる」ということは間違いでない
fact1: 仮にとある物が演算要素でないかあるいは正せらないかもしくは両方であるならば正せらない fact2: もし仮にこの輪状披裂関節は正せるということはないなら「あの編集マンは全部員でないか見通せるか両方ともである」ということは誤りである fact3: もし仮にあの編集マンは訓読みするけど見通せないなら「際どい」ということは確かである fact4: 仮にあの編集マンは忍耐強い一方で使い走りでないとすればそれは受け答えする fact5: もしあの編集マンは見通せるがしかし受け答えしないならばそれは正せる fact6: もしも「あの編集マンは全部員でないかあるいは見通せるかあるいは両方ともだ」ということは成り立たないならあの中国領土は見通せる fact7: もしあの編集マンが動かし難いけどそれが吹かないとするとそれは無声化し易い fact8: もしもこの輪状披裂関節は地租改正関係法令であるとしたら演算要素であるということはないかあるいは正せらないか両方ともである fact9: あの編集マンは見通せる一方でそれは受け答えしない
fact5 & fact9 -> hypothesis;
fact5 & fact9 -> hypothesis;
あの中国領土は見通せる
fact12 -> int1: もし仮にこの輪状披裂関節は演算要素でないかまたは正せらないかもしくはどちらもだとしたらそれは正せらない;
$facts$ = fact1: 仮にとある物が演算要素でないかあるいは正せらないかもしくは両方であるならば正せらない fact2: もし仮にこの輪状披裂関節は正せるということはないなら「あの編集マンは全部員でないか見通せるか両方ともである」ということは誤りである fact3: もし仮にあの編集マンは訓読みするけど見通せないなら「際どい」ということは確かである fact4: 仮にあの編集マンは忍耐強い一方で使い走りでないとすればそれは受け答えする fact5: もしあの編集マンは見通せるがしかし受け答えしないならばそれは正せる fact6: もしも「あの編集マンは全部員でないかあるいは見通せるかあるいは両方ともだ」ということは成り立たないならあの中国領土は見通せる fact7: もしあの編集マンが動かし難いけどそれが吹かないとするとそれは無声化し易い fact8: もしもこの輪状披裂関節は地租改正関係法令であるとしたら演算要素であるということはないかあるいは正せらないか両方ともである fact9: あの編集マンは見通せる一方でそれは受け答えしない ; $hypothesis$ = 「あの編集マンは正せる」ということは間違いでない ; $proof$ = 
fact5 & fact9 -> hypothesis; __PROVED__
事実1: 仮にとある物が演算要素でないかあるいは正せらないかもしくは両方であるならば正せらない
事実2: もし仮にこの輪状披裂関節は正せるということはないなら「あの編集マンは全部員でないか見通せるか両方ともである」ということは誤りである
事実3: もし仮にあの編集マンは訓読みするけど見通せないなら「際どい」ということは確かである
事実4: 仮にあの編集マンは忍耐強い一方で使い走りでないとすればそれは受け答えする
事実5: もしあの編集マンは見通せるがしかし受け答えしないならばそれは正せる
事実6: もしも「あの編集マンは全部員でないかあるいは見通せるかあるいは両方ともだ」ということは成り立たないならあの中国領土は見通せる
事実7: もしあの編集マンが動かし難いけどそれが吹かないとするとそれは無声化し易い
事実8: もしもこの輪状披裂関節は地租改正関係法令であるとしたら演算要素であるということはないかあるいは正せらないか両方ともである
事実9: あの編集マンは見通せる一方でそれは受け答えしない

仮説: 「あの編集マンは正せる」ということは間違いでない
1. 事実5と事実9から、仮説が導かれる

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