あのボックス内は無し
fact1: この初打席は惨いということはない fact2: あのボックス内は無し fact3: 気安くなくてまた惨くない物はＬＥＳでない fact4: この九十八年以降は無し fact5: あのボックス内は快い fact6: もしも「何らかの物はＬＥＳでないしさらに交わらない」ということは誤っているとしたら交わる fact7: この初打席は気安くない fact8: あのカードＡＭＥＸは無し fact9: なんらかのものはＬＥＳだとしたら「その買い物袋はＬＥＳでないしそれは交わらない」ということは成り立たない fact10: もし仮にあのボックス内は無しけれどざわつくということはないなら「この出玉プレゼントは無し」ということは成り立つ fact11: もしもこの千九百二十年代半ばは借り上げるなら「このシーケンスは合わせ辛いがしかしそれは付け難くない」ということは事実と異なる fact12: もし「なにがしかの物は合わせ辛いがしかしそれは付け難くない」ということは嘘であるとすると複製技術でない fact13: もしも「その買い物袋は交わる」ということは真実であるとすると「あのホルスターはカスプでなくてしかもそれは携帯出来ない」ということは成り立たない fact14: もしも「このシーケンスは複製技術であるということはない」ということは正しいならあのボックス内は無しがざわつかない
fact2 -> hypothesis;
fact2 -> hypothesis;
この出玉プレゼントは無し
fact23 -> int1: もしも「このシーケンスは合わせ辛いけれど付け難くない」ということは誤りだとすると複製技術でない; fact17 -> int2: もしも「その買い物袋はＬＥＳでないしかつ交わらない」ということは間違っているなら交わる; fact21 -> int3: 「仮にこの初打席が気安くないし更に惨くないとすればあの初打席はＬＥＳである」ということは成り立つ; fact24 & fact15 -> int4: この初打席は気安くないしそれは惨くない; int3 & int4 -> int5: 「この初打席はＬＥＳである」ということは本当である; int5 -> int6: ＬＥＳはある; int6 & fact19 -> int7: 「「その買い物袋はＬＥＳでないしかつ交わらない」ということは事実でない」ということは真実である; int2 & int7 -> int8: その買い物袋は交わる; fact18 & int8 -> int9: 「あのホルスターはカスプでないし携帯出来ない」ということは誤っている; int9 -> int10: 「「カスプだということはないし更に携帯出来ない」ということは本当でない」ものはある;
$facts$ = fact1: この初打席は惨いということはない fact2: あのボックス内は無し fact3: 気安くなくてまた惨くない物はＬＥＳでない fact4: この九十八年以降は無し fact5: あのボックス内は快い fact6: もしも「何らかの物はＬＥＳでないしさらに交わらない」ということは誤っているとしたら交わる fact7: この初打席は気安くない fact8: あのカードＡＭＥＸは無し fact9: なんらかのものはＬＥＳだとしたら「その買い物袋はＬＥＳでないしそれは交わらない」ということは成り立たない fact10: もし仮にあのボックス内は無しけれどざわつくということはないなら「この出玉プレゼントは無し」ということは成り立つ fact11: もしもこの千九百二十年代半ばは借り上げるなら「このシーケンスは合わせ辛いがしかしそれは付け難くない」ということは事実と異なる fact12: もし「なにがしかの物は合わせ辛いがしかしそれは付け難くない」ということは嘘であるとすると複製技術でない fact13: もしも「その買い物袋は交わる」ということは真実であるとすると「あのホルスターはカスプでなくてしかもそれは携帯出来ない」ということは成り立たない fact14: もしも「このシーケンスは複製技術であるということはない」ということは正しいならあのボックス内は無しがざわつかない ; $hypothesis$ = あのボックス内は無し ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: この初打席は惨いということはない
事実2: あのボックス内は無し
事実3: 気安くなくてまた惨くない物はＬＥＳでない
事実4: この九十八年以降は無し
事実5: あのボックス内は快い
事実6: もしも「何らかの物はＬＥＳでないしさらに交わらない」ということは誤っているとしたら交わる
事実7: この初打席は気安くない
事実8: あのカードＡＭＥＸは無し
事実9: なんらかのものはＬＥＳだとしたら「その買い物袋はＬＥＳでないしそれは交わらない」ということは成り立たない
事実10: もし仮にあのボックス内は無しけれどざわつくということはないなら「この出玉プレゼントは無し」ということは成り立つ
事実11: もしもこの千九百二十年代半ばは借り上げるなら「このシーケンスは合わせ辛いがしかしそれは付け難くない」ということは事実と異なる
事実12: もし「なにがしかの物は合わせ辛いがしかしそれは付け難くない」ということは嘘であるとすると複製技術でない
事実13: もしも「その買い物袋は交わる」ということは真実であるとすると「あのホルスターはカスプでなくてしかもそれは携帯出来ない」ということは成り立たない
事実14: もしも「このシーケンスは複製技術であるということはない」ということは正しいならあのボックス内は無しがざわつかない

仮説: あのボックス内は無し
1. 事実2から、仮説が導かれる

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