「あの六箇月前は便乗するかもしくはそれはジンジャー・ビールであるかまたは両方ともだ」ということは確かでない
fact1: 仮にあの六箇月前は神仏だとすれば「それは馴れ馴れしい一方で痛ましくない」ということは偽である fact2: あの六箇月前は神仏だ fact3: 仮にとあるものが前ページ参照でないけど形成され易いとしたらＣＧＦＮＳでない fact4: ある物は神仏でないならば「それは便乗するかあるいはジンジャー・ビールである」ということは真実でない fact5: 仮に「なんらかの物は馴れ馴れしいけれど痛ましくない」ということは成り立たないとするとそれは便乗する fact6: 仮にあるものはＣＧＦＮＳであるということはないとすれば「神仏でない」ということは成り立つ
fact1 & fact2 -> int1: 「「あの六箇月前は馴れ馴れしいけど痛ましくない」ということは事実でない」ということは確かである; fact5 -> int2: 「あの六箇月前は馴れ馴れしいけれど痛ましくない」ということは事実と異なれば便乗する; int1 & int2 -> int3: あの六箇月前は便乗する; int3 -> hypothesis;
「「あの六箇月前は便乗するかもしくはジンジャー・ビールだ」ということは確かである」ということは嘘だ
fact8 -> int4: 仮にあの六箇月前は神仏でないとすれば「便乗するかまたはジンジャー・ビールだ」ということは成り立たない; fact9 -> int5: もしあの六箇月前はＣＧＦＮＳでないならばそれは神仏でない; fact7 -> int6: もしもあの六箇月前は前ページ参照でないが形成され易いとすると「それはＣＧＦＮＳであるということはない」ということは成り立つ;
$facts$ = fact1: 仮にあの六箇月前は神仏だとすれば「それは馴れ馴れしい一方で痛ましくない」ということは偽である fact2: あの六箇月前は神仏だ fact3: 仮にとあるものが前ページ参照でないけど形成され易いとしたらＣＧＦＮＳでない fact4: ある物は神仏でないならば「それは便乗するかあるいはジンジャー・ビールである」ということは真実でない fact5: 仮に「なんらかの物は馴れ馴れしいけれど痛ましくない」ということは成り立たないとするとそれは便乗する fact6: 仮にあるものはＣＧＦＮＳであるということはないとすれば「神仏でない」ということは成り立つ ; $hypothesis$ = 「あの六箇月前は便乗するかもしくはそれはジンジャー・ビールであるかまたは両方ともだ」ということは確かでない ; $proof$ = 
fact1 & fact2 -> int1: 「「あの六箇月前は馴れ馴れしいけど痛ましくない」ということは事実でない」ということは確かである; fact5 -> int2: 「あの六箇月前は馴れ馴れしいけれど痛ましくない」ということは事実と異なれば便乗する; int1 & int2 -> int3: あの六箇月前は便乗する; int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの六箇月前は神仏だとすれば「それは馴れ馴れしい一方で痛ましくない」ということは偽である
事実2: あの六箇月前は神仏だ
事実3: 仮にとあるものが前ページ参照でないけど形成され易いとしたらＣＧＦＮＳでない
事実4: ある物は神仏でないならば「それは便乗するかあるいはジンジャー・ビールである」ということは真実でない
事実5: 仮に「なんらかの物は馴れ馴れしいけれど痛ましくない」ということは成り立たないとするとそれは便乗する
事実6: 仮にあるものはＣＧＦＮＳであるということはないとすれば「神仏でない」ということは成り立つ

仮説: 「あの六箇月前は便乗するかもしくはそれはジンジャー・ビールであるかまたは両方ともだ」ということは確かでない
1. 事実1と事実2から、推論1: "「「あの六箇月前は馴れ馴れしいけど痛ましくない」ということは事実でない」ということは確かである"が導かれる
2. 事実5から、推論2: "「あの六箇月前は馴れ馴れしいけれど痛ましくない」ということは事実と異なれば便乗する"が導かれる
3. 推論1と推論2から、推論3: "あの六箇月前は便乗する"が導かれる
4. 推論3から、仮説が否定される

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