この要項は編み入れない
fact1: この要項は紛失する fact2: もし仮になにがしかのものは浮き易いとしたら「止む無いが編み入れない」ということは誤っている fact3: この未処理は紛失する fact4: その添付書類は編み入れる fact5: 仮にあの器高が止む無くないとすればあの東禅寺事件は紛失しないし編み入れない fact6: ある物が紛失するしかつそれが止む無いとすると編み入れない fact7: この要項は止む無い fact8: 仮に「あのフライドポテトは止む無いけど浮き易くない」ということは偽であるとしたらあの器高は止む無くない fact9: 仮に「この東禅寺事件は紛失しなくてまた編み入れない」ということは確かだとするとこの要項は編み入れる
fact1 & fact7 -> int1: この要項は紛失するし加えて止む無い; fact6 -> int2: もし仮にこの要項が紛失するしそれが止む無いとすればそれは編み入れない; int1 & int2 -> hypothesis;
「この要項は編み入れる」ということは本当だ
$facts$ = fact1: この要項は紛失する fact2: もし仮になにがしかのものは浮き易いとしたら「止む無いが編み入れない」ということは誤っている fact3: この未処理は紛失する fact4: その添付書類は編み入れる fact5: 仮にあの器高が止む無くないとすればあの東禅寺事件は紛失しないし編み入れない fact6: ある物が紛失するしかつそれが止む無いとすると編み入れない fact7: この要項は止む無い fact8: 仮に「あのフライドポテトは止む無いけど浮き易くない」ということは偽であるとしたらあの器高は止む無くない fact9: 仮に「この東禅寺事件は紛失しなくてまた編み入れない」ということは確かだとするとこの要項は編み入れる ; $hypothesis$ = この要項は編み入れない ; $proof$ = 
fact1 & fact7 -> int1: この要項は紛失するし加えて止む無い; fact6 -> int2: もし仮にこの要項が紛失するしそれが止む無いとすればそれは編み入れない; int1 & int2 -> hypothesis; __PROVED__
事実1: この要項は紛失する
事実2: もし仮になにがしかのものは浮き易いとしたら「止む無いが編み入れない」ということは誤っている
事実3: この未処理は紛失する
事実4: その添付書類は編み入れる
事実5: 仮にあの器高が止む無くないとすればあの東禅寺事件は紛失しないし編み入れない
事実6: ある物が紛失するしかつそれが止む無いとすると編み入れない
事実7: この要項は止む無い
事実8: 仮に「あのフライドポテトは止む無いけど浮き易くない」ということは偽であるとしたらあの器高は止む無くない
事実9: 仮に「この東禅寺事件は紛失しなくてまた編み入れない」ということは確かだとするとこの要項は編み入れる

仮説: この要項は編み入れない
1. 事実1と事実7から、推論1: "この要項は紛失するし加えて止む無い"が導かれる
2. 事実6から、推論2: "もし仮にこの要項が紛失するしそれが止む無いとすればそれは編み入れない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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