あの一夜漬けがむさいということはないしその上それは殴り込みでない
fact1: あの一夜漬けは自然らしくないし更に見窄らしくない fact2: 仮になんらかのものが埋め合わせないとするとそれはむさくなくてそれは殴り込みでない fact3: あの一夜漬けは埋め合わせないしその上それはＰ＆Ｇでない fact4: 仮にとある物が埋め合わせないとすればＰ＆Ｇでなくてそれは殴り込みでない fact5: もしも何らかのものが帰納法でないとすれば再生能だということはないしかつ実証済みでない fact6: あの一夜漬けは採石しない fact7: 何かは埋め合わせるとすれば「むさくないしそれに殴り込みだということはない」ということは成り立たない fact8: あの一夜漬けが埋め合わせないならば殴り込みであるということはない fact9: もしあるものは神秘性でないとしたら解け易いということはない fact10: もしもその捜索隊が埋め合わせないとしたらあの一夜漬けは埋め合わせる fact11: あの予備群はＰ＆Ｇでない
fact2 -> int1: もしあの一夜漬けは埋め合わせないなら「それはむさくないしさらに殴り込みだということはない」ということは成り立つ; fact3 -> int2: あの一夜漬けは埋め合わせない; int1 & int2 -> hypothesis;
「あの一夜漬けはむさくなくて殴り込みでない」ということは偽だ
fact12 -> int3: もしあの一夜漬けは埋め合わせるとすれば「むさくなくて殴り込みでない」ということは確かだということはない;
$facts$ = fact1: あの一夜漬けは自然らしくないし更に見窄らしくない fact2: 仮になんらかのものが埋め合わせないとするとそれはむさくなくてそれは殴り込みでない fact3: あの一夜漬けは埋め合わせないしその上それはＰ＆Ｇでない fact4: 仮にとある物が埋め合わせないとすればＰ＆Ｇでなくてそれは殴り込みでない fact5: もしも何らかのものが帰納法でないとすれば再生能だということはないしかつ実証済みでない fact6: あの一夜漬けは採石しない fact7: 何かは埋め合わせるとすれば「むさくないしそれに殴り込みだということはない」ということは成り立たない fact8: あの一夜漬けが埋め合わせないならば殴り込みであるということはない fact9: もしあるものは神秘性でないとしたら解け易いということはない fact10: もしもその捜索隊が埋め合わせないとしたらあの一夜漬けは埋め合わせる fact11: あの予備群はＰ＆Ｇでない ; $hypothesis$ = あの一夜漬けがむさいということはないしその上それは殴り込みでない ; $proof$ = 
fact2 -> int1: もしあの一夜漬けは埋め合わせないなら「それはむさくないしさらに殴り込みだということはない」ということは成り立つ; fact3 -> int2: あの一夜漬けは埋め合わせない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの一夜漬けは自然らしくないし更に見窄らしくない
事実2: 仮になんらかのものが埋め合わせないとするとそれはむさくなくてそれは殴り込みでない
事実3: あの一夜漬けは埋め合わせないしその上それはＰ＆Ｇでない
事実4: 仮にとある物が埋め合わせないとすればＰ＆Ｇでなくてそれは殴り込みでない
事実5: もしも何らかのものが帰納法でないとすれば再生能だということはないしかつ実証済みでない
事実6: あの一夜漬けは採石しない
事実7: 何かは埋め合わせるとすれば「むさくないしそれに殴り込みだということはない」ということは成り立たない
事実8: あの一夜漬けが埋め合わせないならば殴り込みであるということはない
事実9: もしあるものは神秘性でないとしたら解け易いということはない
事実10: もしもその捜索隊が埋め合わせないとしたらあの一夜漬けは埋め合わせる
事実11: あの予備群はＰ＆Ｇでない

仮説: あの一夜漬けがむさいということはないしその上それは殴り込みでない
1. 事実2から、推論1: "もしあの一夜漬けは埋め合わせないなら「それはむさくないしさらに殴り込みだということはない」ということは成り立つ"が導かれる
2. 事実3から、推論2: "あの一夜漬けは埋め合わせない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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