「あのヒッタイト帝国は白むということはない」ということは確かだ
fact1: すべてのものは歪曲するしまた気難しい fact2: もし仮にこの未払い分が口惜しくないならあの裏社会は歪曲する fact3: 何かは歪曲しないとしたら「気難しくないしそれに白まない」ということは嘘だ fact4: この未払い分は湿気易くないけれどぱさつく fact5: もしもあの裏社会が口惜しくないけれど思い易いならばこの未払い分は歪曲しない fact6: もしもあのヒッタイト帝国が白まないとしたらあの裏社会は口惜しくないがそれは思い易い fact7: 近寄り難い物は歪曲する一方で全微分しない fact8: もしもこの未払い分が歪曲するがしかし全微分しないとしたらあの裏社会は歪曲しない
void -> assump1: 以下のように仮定する。あのヒッタイト帝国は白まない; fact6 & assump1 -> int1: あの裏社会は口惜しくないが思い易い; int1 & fact5 -> int2: この未払い分は歪曲するということはない; fact1 -> int3: この未払い分は歪曲するししかも気難しい; int3 -> int4: 「この未払い分は歪曲する」ということは確かだ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのヒッタイト帝国は白まない
fact9 -> int6: あの裏社会は歪曲しないとしたら「気難しくないしその上白まない」ということは成り立たない; fact10 -> int7: もしこの未払い分が近寄り難いなら歪曲するけれど全微分しない;
$facts$ = fact1: すべてのものは歪曲するしまた気難しい fact2: もし仮にこの未払い分が口惜しくないならあの裏社会は歪曲する fact3: 何かは歪曲しないとしたら「気難しくないしそれに白まない」ということは嘘だ fact4: この未払い分は湿気易くないけれどぱさつく fact5: もしもあの裏社会が口惜しくないけれど思い易いならばこの未払い分は歪曲しない fact6: もしもあのヒッタイト帝国が白まないとしたらあの裏社会は口惜しくないがそれは思い易い fact7: 近寄り難い物は歪曲する一方で全微分しない fact8: もしもこの未払い分が歪曲するがしかし全微分しないとしたらあの裏社会は歪曲しない ; $hypothesis$ = 「あのヒッタイト帝国は白むということはない」ということは確かだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのヒッタイト帝国は白まない; fact6 & assump1 -> int1: あの裏社会は口惜しくないが思い易い; int1 & fact5 -> int2: この未払い分は歪曲するということはない; fact1 -> int3: この未払い分は歪曲するししかも気難しい; int3 -> int4: 「この未払い分は歪曲する」ということは確かだ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: すべてのものは歪曲するしまた気難しい
事実2: もし仮にこの未払い分が口惜しくないならあの裏社会は歪曲する
事実3: 何かは歪曲しないとしたら「気難しくないしそれに白まない」ということは嘘だ
事実4: この未払い分は湿気易くないけれどぱさつく
事実5: もしもあの裏社会が口惜しくないけれど思い易いならばこの未払い分は歪曲しない
事実6: もしもあのヒッタイト帝国が白まないとしたらあの裏社会は口惜しくないがそれは思い易い
事実7: 近寄り難い物は歪曲する一方で全微分しない
事実8: もしもこの未払い分が歪曲するがしかし全微分しないとしたらあの裏社会は歪曲しない

仮説: 「あのヒッタイト帝国は白むということはない」ということは確かだ
1. 仮定1: 以下のように仮定する。あのヒッタイト帝国は白まない
2. 事実6と仮定1から、推論1: "あの裏社会は口惜しくないが思い易い"が導かれる
3. 推論1と事実5から、推論2: "この未払い分は歪曲するということはない"が導かれる
4. 事実1から、推論3: "この未払い分は歪曲するししかも気難しい"が導かれる
5. 推論3から、推論4: "「この未払い分は歪曲する」ということは確かだ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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