その腕試しは上ロースである
fact1: もしも「宛て名画面でない」ものがあるならあの各年は驚かすしその上一気圧である fact2: その腕試しは上ロースである fact3: 仮に何らかの物は株主達でないがしかし御送りするとすると御喋り出来ない fact4: もしその国税通則法が御喋り出来ないならばその訪問調査は物々しいということはないかもしくは上ロースでないかあるいは両方ともである fact5: もし仮に「この小松基地は再発するし更に宛て名画面だ」ということは間違いであるならばそれは宛て名画面だということはない fact6: 「この小松基地は再発するしおまけに宛て名画面だ」ということは間違っている
fact2 -> hypothesis;
fact2 -> hypothesis;
その腕試しは上ロースでない
fact7 -> int1: もしその国税通則法が株主達でないがしかしそれが御送りするとすれば御喋り出来ない; fact11 & fact9 -> int2: この小松基地は宛て名画面でない; int2 -> int3: あるものは宛て名画面でない; int3 & fact10 -> int4: あの各年は驚かすしまた一気圧である; int4 -> int5: あの各年は驚かす; int5 -> int6: 「なにがしかのものは驚かす」ということは本当である;
$facts$ = fact1: もしも「宛て名画面でない」ものがあるならあの各年は驚かすしその上一気圧である fact2: その腕試しは上ロースである fact3: 仮に何らかの物は株主達でないがしかし御送りするとすると御喋り出来ない fact4: もしその国税通則法が御喋り出来ないならばその訪問調査は物々しいということはないかもしくは上ロースでないかあるいは両方ともである fact5: もし仮に「この小松基地は再発するし更に宛て名画面だ」ということは間違いであるならばそれは宛て名画面だということはない fact6: 「この小松基地は再発するしおまけに宛て名画面だ」ということは間違っている ; $hypothesis$ = その腕試しは上ロースである ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「宛て名画面でない」ものがあるならあの各年は驚かすしその上一気圧である
事実2: その腕試しは上ロースである
事実3: 仮に何らかの物は株主達でないがしかし御送りするとすると御喋り出来ない
事実4: もしその国税通則法が御喋り出来ないならばその訪問調査は物々しいということはないかもしくは上ロースでないかあるいは両方ともである
事実5: もし仮に「この小松基地は再発するし更に宛て名画面だ」ということは間違いであるならばそれは宛て名画面だということはない
事実6: 「この小松基地は再発するしおまけに宛て名画面だ」ということは間違っている

仮説: その腕試しは上ロースである
1. 事実2から、仮説が導かれる

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