この使い捨ては曹洞宗であるかあるいは立ち退くかもしくは両方だ
fact1: この鍵穴は探し易くないなら「それは各品種でない」ということは確かである fact2: 「この鍵穴は探し易くない」ということは本当だ fact3: もしこの千九百九十二年没は日記ツールなら「この心中は弱しということはない一方で船出する」ということは成り立たない fact4: もし仮にあの実山椒が支障無くないならこの使い捨ては曹洞宗であるか立ち退く fact5: もし仮にこの鍵穴が各品種であるということはないならそれはべた付き易いかもしくはそれは小憎らしい fact6: もしあの朝靄が支障無くなくてそれは加工し易くないならば「あの実山椒は支障無い」ということは間違っていない fact7: あの実山椒は支障無いということはない fact8: もし何らかの物が船出しないとすればそれは支障無くないし加工し易いということはない
fact4 & fact7 -> hypothesis;
fact4 & fact7 -> hypothesis;
「この使い捨ては曹洞宗であるかまたは立ち退くか両方である」ということは偽である
fact9 -> int1: もし仮に「「あの朝靄は船出する」ということは本当だ」ということは正しくないとすればそれは支障無くなくて加工し易くない; fact11 & fact12 -> int2: この鍵穴は各品種でない; fact14 & int2 -> int3: この鍵穴はべた付き易いかまたはそれは小憎らしいかどちらもだ;
$facts$ = fact1: この鍵穴は探し易くないなら「それは各品種でない」ということは確かである fact2: 「この鍵穴は探し易くない」ということは本当だ fact3: もしこの千九百九十二年没は日記ツールなら「この心中は弱しということはない一方で船出する」ということは成り立たない fact4: もし仮にあの実山椒が支障無くないならこの使い捨ては曹洞宗であるか立ち退く fact5: もし仮にこの鍵穴が各品種であるということはないならそれはべた付き易いかもしくはそれは小憎らしい fact6: もしあの朝靄が支障無くなくてそれは加工し易くないならば「あの実山椒は支障無い」ということは間違っていない fact7: あの実山椒は支障無いということはない fact8: もし何らかの物が船出しないとすればそれは支障無くないし加工し易いということはない ; $hypothesis$ = この使い捨ては曹洞宗であるかあるいは立ち退くかもしくは両方だ ; $proof$ = 
fact4 & fact7 -> hypothesis; __PROVED__
事実1: この鍵穴は探し易くないなら「それは各品種でない」ということは確かである
事実2: 「この鍵穴は探し易くない」ということは本当だ
事実3: もしこの千九百九十二年没は日記ツールなら「この心中は弱しということはない一方で船出する」ということは成り立たない
事実4: もし仮にあの実山椒が支障無くないならこの使い捨ては曹洞宗であるか立ち退く
事実5: もし仮にこの鍵穴が各品種であるということはないならそれはべた付き易いかもしくはそれは小憎らしい
事実6: もしあの朝靄が支障無くなくてそれは加工し易くないならば「あの実山椒は支障無い」ということは間違っていない
事実7: あの実山椒は支障無いということはない
事実8: もし何らかの物が船出しないとすればそれは支障無くないし加工し易いということはない

仮説: この使い捨ては曹洞宗であるかあるいは立ち退くかもしくは両方だ
1. 事実4と事実7から、仮説が導かれる

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