「あの事件記事は弥次るないかあるいは発揮し易くないかどちらもだ」ということは成り立たない
fact1: 「もし仮にあの事件記事は挽くとすると「あの事件記事は無警戒でないか発揮し易いということはないかまたは両方ともだ」ということは成り立たない」ということは間違っていない fact2: もし仮にあの事件記事は賑々しいとすれば「弥次るないかあるいはそれは発揮し易いということはない」ということは間違いである fact3: あの事件記事は賑々しい fact4: 毛深いものは賑々しい fact5: もしもなにかは賑々しいとしたら「発揮し易くないかまたは移転登記するということはないかまたはどちらもである」ということは成り立たない fact6: 「その一罰百戒は置けるということはないかあるいは免れ難いということはない」ということは本当でない
fact2 & fact3 -> hypothesis;
「あのマーカーペンは発揮し易くないかあるいはそれは移転登記しない」ということは成り立たない
fact8 -> int1: 仮にあのマーカーペンは賑々しいとすると「それは発揮し易いということはないかあるいは移転登記しないかあるいはどちらもだ」ということは誤りだ; fact7 -> int2: あのマーカーペンが毛深いなら賑々しい;
$facts$ = fact1: 「もし仮にあの事件記事は挽くとすると「あの事件記事は無警戒でないか発揮し易いということはないかまたは両方ともだ」ということは成り立たない」ということは間違っていない fact2: もし仮にあの事件記事は賑々しいとすれば「弥次るないかあるいはそれは発揮し易いということはない」ということは間違いである fact3: あの事件記事は賑々しい fact4: 毛深いものは賑々しい fact5: もしもなにかは賑々しいとしたら「発揮し易くないかまたは移転登記するということはないかまたはどちらもである」ということは成り立たない fact6: 「その一罰百戒は置けるということはないかあるいは免れ難いということはない」ということは本当でない ; $hypothesis$ = 「あの事件記事は弥次るないかあるいは発揮し易くないかどちらもだ」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 「もし仮にあの事件記事は挽くとすると「あの事件記事は無警戒でないか発揮し易いということはないかまたは両方ともだ」ということは成り立たない」ということは間違っていない
事実2: もし仮にあの事件記事は賑々しいとすれば「弥次るないかあるいはそれは発揮し易いということはない」ということは間違いである
事実3: あの事件記事は賑々しい
事実4: 毛深いものは賑々しい
事実5: もしもなにかは賑々しいとしたら「発揮し易くないかまたは移転登記するということはないかまたはどちらもである」ということは成り立たない
事実6: 「その一罰百戒は置けるということはないかあるいは免れ難いということはない」ということは本当でない

仮説: 「あの事件記事は弥次るないかあるいは発揮し易くないかどちらもだ」ということは成り立たない
1. 事実2と事実3から、仮説が導かれる

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