「「「この所司代様は規定出来なくてその上取り戻せるということはない」ということは成り立たない」ということは成り立つとしたらそのビール瓶は御預けしない」ということは偽だ
fact1: もし「なにがしかのものは大筒だがそれはインド名でない」ということは嘘であるとすると大筒でない fact2: なにがしかのものは大筒であるかまたはインド名であるとしたらそれは御預けしない fact3: もしそのビール瓶がジャバスクリプトだとするとこの所司代様はインド名でない fact4: そのビール瓶は利用され易いか消滅会社だ fact5: 「この所司代様は規定出来ないし取り戻せない」ということは誤りだとしたらそのビール瓶はジャバスクリプトである fact6: 「そのビール瓶は取り戻せるがしかし御預けしない」ということは成り立たない fact7: ジャバスクリプトは大筒である fact8: そのビール瓶が発掘すればそれは規定出来ない fact9: もしもそのビール瓶がインド名だとしたらこの所司代様は大筒である fact10: もし仮に「この所司代様は規定出来るが取り戻せるということはない」ということは成り立たないならそのビール瓶は御預けしない fact11: もし仮に「「そのビール瓶は規定出来ないし更にジャバスクリプトでない」ということは正しい」ということは成り立たないならばこの所司代様はインド名でない
void -> assump1: 以下のように仮定する。「この所司代様は規定出来なくてかつそれは取り戻せるということはない」ということは偽だ; fact5 & assump1 -> int1: そのビール瓶はジャバスクリプトである; fact7 -> int2: もし仮にそのビール瓶はジャバスクリプトだとすれば「それは大筒だ」ということは成り立つ; int1 & int2 -> int3: そのビール瓶は大筒だ; int3 -> int4: そのビール瓶は大筒であるかあるいはインド名であるかもしくは両方ともである; fact2 -> int5: 仮にそのビール瓶が大筒であるかインド名であるならそれは御預けしない; int4 & int5 -> int6: そのビール瓶は御預けしない; [assump1] & int6 -> hypothesis;
その四分一カップは規定出来る
fact12 -> int7: もし「「この所司代様は大筒である一方でインド名でない」ということは本当だ」ということは誤りであるとするとそれは大筒だということはない;
$facts$ = fact1: もし「なにがしかのものは大筒だがそれはインド名でない」ということは嘘であるとすると大筒でない fact2: なにがしかのものは大筒であるかまたはインド名であるとしたらそれは御預けしない fact3: もしそのビール瓶がジャバスクリプトだとするとこの所司代様はインド名でない fact4: そのビール瓶は利用され易いか消滅会社だ fact5: 「この所司代様は規定出来ないし取り戻せない」ということは誤りだとしたらそのビール瓶はジャバスクリプトである fact6: 「そのビール瓶は取り戻せるがしかし御預けしない」ということは成り立たない fact7: ジャバスクリプトは大筒である fact8: そのビール瓶が発掘すればそれは規定出来ない fact9: もしもそのビール瓶がインド名だとしたらこの所司代様は大筒である fact10: もし仮に「この所司代様は規定出来るが取り戻せるということはない」ということは成り立たないならそのビール瓶は御預けしない fact11: もし仮に「「そのビール瓶は規定出来ないし更にジャバスクリプトでない」ということは正しい」ということは成り立たないならばこの所司代様はインド名でない ; $hypothesis$ = 「「「この所司代様は規定出来なくてその上取り戻せるということはない」ということは成り立たない」ということは成り立つとしたらそのビール瓶は御預けしない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この所司代様は規定出来なくてかつそれは取り戻せるということはない」ということは偽だ; fact5 & assump1 -> int1: そのビール瓶はジャバスクリプトである; fact7 -> int2: もし仮にそのビール瓶はジャバスクリプトだとすれば「それは大筒だ」ということは成り立つ; int1 & int2 -> int3: そのビール瓶は大筒だ; int3 -> int4: そのビール瓶は大筒であるかあるいはインド名であるかもしくは両方ともである; fact2 -> int5: 仮にそのビール瓶が大筒であるかインド名であるならそれは御預けしない; int4 & int5 -> int6: そのビール瓶は御預けしない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは大筒だがそれはインド名でない」ということは嘘であるとすると大筒でない
事実2: なにがしかのものは大筒であるかまたはインド名であるとしたらそれは御預けしない
事実3: もしそのビール瓶がジャバスクリプトだとするとこの所司代様はインド名でない
事実4: そのビール瓶は利用され易いか消滅会社だ
事実5: 「この所司代様は規定出来ないし取り戻せない」ということは誤りだとしたらそのビール瓶はジャバスクリプトである
事実6: 「そのビール瓶は取り戻せるがしかし御預けしない」ということは成り立たない
事実7: ジャバスクリプトは大筒である
事実8: そのビール瓶が発掘すればそれは規定出来ない
事実9: もしもそのビール瓶がインド名だとしたらこの所司代様は大筒である
事実10: もし仮に「この所司代様は規定出来るが取り戻せるということはない」ということは成り立たないならそのビール瓶は御預けしない
事実11: もし仮に「「そのビール瓶は規定出来ないし更にジャバスクリプトでない」ということは正しい」ということは成り立たないならばこの所司代様はインド名でない

仮説: 「「「この所司代様は規定出来なくてその上取り戻せるということはない」ということは成り立たない」ということは成り立つとしたらそのビール瓶は御預けしない」ということは偽だ
1. 仮定1: 以下のように仮定する。「この所司代様は規定出来なくてかつそれは取り戻せるということはない」ということは偽だ
2. 事実5と仮定1から、推論1: "そのビール瓶はジャバスクリプトである"が導かれる
3. 事実7から、推論2: "もし仮にそのビール瓶はジャバスクリプトだとすれば「それは大筒だ」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "そのビール瓶は大筒だ"が導かれる
5. 推論3から、推論4: "そのビール瓶は大筒であるかあるいはインド名であるかもしくは両方ともである"が導かれる
6. 事実2から、推論5: "仮にそのビール瓶が大筒であるかインド名であるならそれは御預けしない"が導かれる
7. 推論4と推論5から、推論6: "そのビール瓶は御預けしない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。