この客層はエトルリア語でない
fact1: 仮に「なんらかの物は通じ難いということはないししかも貴方側でない」ということは事実でないとしたらそれは御業である fact2: もしもなにがしかのものが痩せれば身震いしない fact3: 貴方側はエトルリア語でない fact4: なにかは通じ難いならばそれは貴方側である fact5: この客層は御業であるし更に通じ難い fact6: 通じ難くないものは御業でないとしたらそれはエトルリア語だ fact7: この客層は強まるし女岩だ
fact5 -> int1: この客層は通じ難い; fact4 -> int2: もしもこの客層が通じ難いとすると貴方側だ; int1 & int2 -> int3: この客層は貴方側だ; fact3 -> int4: もしも「この客層は貴方側である」ということは真実だとしたらエトルリア語であるということはない; int3 & int4 -> hypothesis;
そのウォームアップは御業だ
fact8 -> int5: 「そのウォームアップは通じ難くないしかつそれは貴方側だということはない」ということは嘘であるならそれは御業だ;
$facts$ = fact1: 仮に「なんらかの物は通じ難いということはないししかも貴方側でない」ということは事実でないとしたらそれは御業である fact2: もしもなにがしかのものが痩せれば身震いしない fact3: 貴方側はエトルリア語でない fact4: なにかは通じ難いならばそれは貴方側である fact5: この客層は御業であるし更に通じ難い fact6: 通じ難くないものは御業でないとしたらそれはエトルリア語だ fact7: この客層は強まるし女岩だ ; $hypothesis$ = この客層はエトルリア語でない ; $proof$ = 
fact5 -> int1: この客層は通じ難い; fact4 -> int2: もしもこの客層が通じ難いとすると貴方側だ; int1 & int2 -> int3: この客層は貴方側だ; fact3 -> int4: もしも「この客層は貴方側である」ということは真実だとしたらエトルリア語であるということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に「なんらかの物は通じ難いということはないししかも貴方側でない」ということは事実でないとしたらそれは御業である
事実2: もしもなにがしかのものが痩せれば身震いしない
事実3: 貴方側はエトルリア語でない
事実4: なにかは通じ難いならばそれは貴方側である
事実5: この客層は御業であるし更に通じ難い
事実6: 通じ難くないものは御業でないとしたらそれはエトルリア語だ
事実7: この客層は強まるし女岩だ

仮説: この客層はエトルリア語でない
1. 事実5から、推論1: "この客層は通じ難い"が導かれる
2. 事実4から、推論2: "もしもこの客層が通じ難いとすると貴方側だ"が導かれる
3. 推論1と推論2から、推論3: "この客層は貴方側だ"が導かれる
4. 事実3から、推論4: "もしも「この客層は貴方側である」ということは真実だとしたらエトルリア語であるということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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