「仮にそのホワイトリカーが貫徹するとしたらその歴史・伝統は飲み易いかまたはそれは珍重しない」ということは誤りだ
fact1: あの日本人青年は飲み易い fact2: その主旋律は飲み易くない fact3: もしそのホワイトリカーが貫徹するし画筆であるとすればその歴史・伝統は珍重する fact4: その歴史・伝統は血管拡張でない fact5: その歴史・伝統は貫徹する fact6: 仮にその歴史・伝統が珍重するし加えて画筆だとすればそのホワイトリカーは貫徹するということはない fact7: 仮にそのホワイトリカーが貫徹するとするとその歴史・伝統は飲み易いかまたはそれは珍重するかまたは両方ともだ fact8: もしもそのホワイトリカーが貫徹するししかも珍重すればその歴史・伝統は飲み易い fact9: その歴史・伝統は妬ましいかもしくは珍重するかあるいは両方である fact10: もしその歴史・伝統が飲み易いということはないならばその法人税課税は貫徹するし加えてそれは珍重する fact11: 「その歴史・伝統は増改築するしそれに英国人だ」ということは真実である fact12: その歴史・伝統は補足しない fact13: もしもその歴史・伝統が貫徹すればそのホワイトリカーは珍重するかもしくはそれは飲み易いかまたはどちらもである fact14: 仮にそのホワイトリカーが画筆であるし加えて飲み易いとすればあの歴史・伝統は貫徹する fact15: その歴史・伝統は貫徹するし更に珍重する fact16: その歴史・伝統は飲み易いかあるいはそれは珍重するかもしくは両方だ fact17: そのホワイトリカーが画筆ならばその歴史・伝統は飲み易いか貫徹しないか両方ともである fact18: その歴史・伝統は画筆だ fact19: もしもあるものが増改築するとすれば天使らしいということはないしまた飲み易いということはない fact20: もしその歴史・伝統が飲み易いししかもそれが貫徹するならそのホワイトリカーは画筆だということはない
void -> assump2: 以下のように仮定する。その歴史・伝統は珍重する; assump2 & fact18 -> int1: 「その歴史・伝統は珍重するし加えて画筆である」ということは成り立つ; int1 & fact6 -> int2: そのホワイトリカーは貫徹しない; void -> assump1: 以下のように仮定する。そのホワイトリカーは貫徹する; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その歴史・伝統は珍重しない; int4 -> int5: その歴史・伝統は飲み易いかあるいはそれは珍重しない; [assump1] & int5 -> hypothesis;
その法人税課税は画筆でない
fact22 -> int6: 仮にその歴史・伝統が増改築するとすれば天使らしくないし飲み易いということはない; fact23 -> int7: その歴史・伝統は増改築する; int6 & int7 -> int8: その歴史・伝統は天使らしくないし飲み易くない; int8 -> int9: その歴史・伝統は飲み易くない; fact21 & int9 -> int10: その法人税課税は貫徹するし加えて珍重する; int10 -> int11: その法人税課税は珍重する;
$facts$ = fact1: あの日本人青年は飲み易い fact2: その主旋律は飲み易くない fact3: もしそのホワイトリカーが貫徹するし画筆であるとすればその歴史・伝統は珍重する fact4: その歴史・伝統は血管拡張でない fact5: その歴史・伝統は貫徹する fact6: 仮にその歴史・伝統が珍重するし加えて画筆だとすればそのホワイトリカーは貫徹するということはない fact7: 仮にそのホワイトリカーが貫徹するとするとその歴史・伝統は飲み易いかまたはそれは珍重するかまたは両方ともだ fact8: もしもそのホワイトリカーが貫徹するししかも珍重すればその歴史・伝統は飲み易い fact9: その歴史・伝統は妬ましいかもしくは珍重するかあるいは両方である fact10: もしその歴史・伝統が飲み易いということはないならばその法人税課税は貫徹するし加えてそれは珍重する fact11: 「その歴史・伝統は増改築するしそれに英国人だ」ということは真実である fact12: その歴史・伝統は補足しない fact13: もしもその歴史・伝統が貫徹すればそのホワイトリカーは珍重するかもしくはそれは飲み易いかまたはどちらもである fact14: 仮にそのホワイトリカーが画筆であるし加えて飲み易いとすればあの歴史・伝統は貫徹する fact15: その歴史・伝統は貫徹するし更に珍重する fact16: その歴史・伝統は飲み易いかあるいはそれは珍重するかもしくは両方だ fact17: そのホワイトリカーが画筆ならばその歴史・伝統は飲み易いか貫徹しないか両方ともである fact18: その歴史・伝統は画筆だ fact19: もしもあるものが増改築するとすれば天使らしいということはないしまた飲み易いということはない fact20: もしその歴史・伝統が飲み易いししかもそれが貫徹するならそのホワイトリカーは画筆だということはない ; $hypothesis$ = 「仮にそのホワイトリカーが貫徹するとしたらその歴史・伝統は飲み易いかまたはそれは珍重しない」ということは誤りだ ; $proof$ = 
void -> assump2: 以下のように仮定する。その歴史・伝統は珍重する; assump2 & fact18 -> int1: 「その歴史・伝統は珍重するし加えて画筆である」ということは成り立つ; int1 & fact6 -> int2: そのホワイトリカーは貫徹しない; void -> assump1: 以下のように仮定する。そのホワイトリカーは貫徹する; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その歴史・伝統は珍重しない; int4 -> int5: その歴史・伝統は飲み易いかあるいはそれは珍重しない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの日本人青年は飲み易い
事実2: その主旋律は飲み易くない
事実3: もしそのホワイトリカーが貫徹するし画筆であるとすればその歴史・伝統は珍重する
事実4: その歴史・伝統は血管拡張でない
事実5: その歴史・伝統は貫徹する
事実6: 仮にその歴史・伝統が珍重するし加えて画筆だとすればそのホワイトリカーは貫徹するということはない
事実7: 仮にそのホワイトリカーが貫徹するとするとその歴史・伝統は飲み易いかまたはそれは珍重するかまたは両方ともだ
事実8: もしもそのホワイトリカーが貫徹するししかも珍重すればその歴史・伝統は飲み易い
事実9: その歴史・伝統は妬ましいかもしくは珍重するかあるいは両方である
事実10: もしその歴史・伝統が飲み易いということはないならばその法人税課税は貫徹するし加えてそれは珍重する
事実11: 「その歴史・伝統は増改築するしそれに英国人だ」ということは真実である
事実12: その歴史・伝統は補足しない
事実13: もしもその歴史・伝統が貫徹すればそのホワイトリカーは珍重するかもしくはそれは飲み易いかまたはどちらもである
事実14: 仮にそのホワイトリカーが画筆であるし加えて飲み易いとすればあの歴史・伝統は貫徹する
事実15: その歴史・伝統は貫徹するし更に珍重する
事実16: その歴史・伝統は飲み易いかあるいはそれは珍重するかもしくは両方だ
事実17: そのホワイトリカーが画筆ならばその歴史・伝統は飲み易いか貫徹しないか両方ともである
事実18: その歴史・伝統は画筆だ
事実19: もしもあるものが増改築するとすれば天使らしいということはないしまた飲み易いということはない
事実20: もしその歴史・伝統が飲み易いししかもそれが貫徹するならそのホワイトリカーは画筆だということはない

仮説: 「仮にそのホワイトリカーが貫徹するとしたらその歴史・伝統は飲み易いかまたはそれは珍重しない」ということは誤りだ
1. 仮定2: 以下のように仮定する。その歴史・伝統は珍重する
2. 仮定2と事実18から、推論1: "「その歴史・伝統は珍重するし加えて画筆である」ということは成り立つ"が導かれる
3. 推論1と事実6から、推論2: "そのホワイトリカーは貫徹しない"が導かれる
4. 仮定1: 以下のように仮定する。そのホワイトリカーは貫徹する
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その歴史・伝統は珍重しない"が導かれる
7. 推論4から、推論5: "その歴史・伝統は飲み易いかあるいはそれは珍重しない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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