この祖父母世代は術式でないけれど大吟醸だ
fact1: もし「「観音信仰であるが取り辛くない」ということは成り立たない」ものがあるとするとこの祖父母世代は観音信仰でない fact2: その満潮は二十二ミリメートルＨＧ以上でないとしたら「この祖父母世代は術式でないけど大吟醸である」ということは誤っている fact3: もし仮にこの祖父母世代は術式でないとすると夜遊びでない fact4: もしも何らかのものは中細胞群でないとしたらそれは二十二ミリメートルＨＧ以上でない fact5: この祖父母世代はえげつなくないとすると「それは術式でない」ということは成り立つ fact6: もしもこの祖父母世代は中細胞群でないなら「その満潮は大吟醸でないがしかしそれは二十二ミリメートルＨＧ以上だ」ということは間違いである fact7: 仮にその満潮は二十二ミリメートルＨＧ以上でないとしたら「この祖父母世代は大吟醸だということはないがしかしそれはえげつない」ということは誤りである fact8: なにかは観音信仰でないとしたら中細胞群でないしおまけに術式だということはない fact9: 「この祖父母世代は術式であるしおまけに大吟醸である」ということは成り立たない fact10: 「「観音信仰だしまた取り辛いということはない」ということは成り立たない」物はある fact11: その課題は二十二ミリメートルＨＧ以上だということはない fact12: 「この祖父母世代は大吟醸でないがしかし二十二ミリメートルＨＧ以上である」ということは成り立たない fact13: その満潮は気弱いということはない fact14: もしなんらかのものが大吟醸でないとすれば二十二ミリメートルＨＧ以上でない fact15: その満潮はえげつなくない fact16: 仮にその満潮が大吟醸でないとすればえげつなくない fact17: 「その満潮は中細胞群でないしえげつなくない」ということは確かである fact18: その満潮は二十二ミリメートルＨＧ以上でないならば「この祖父母世代は術式であるし更に大吟醸だ」ということは成り立たない fact19: 「この祖父母世代は大吟醸でないけれど中細胞群である」ということは誤りだ fact20: 「受験科目な」ものはある fact21: もし仮にその満潮がえげつなくないとしたらそれは術式であるということはない
fact17 -> int1: その満潮は中細胞群でない; fact4 -> int2: もしその満潮が中細胞群でないとすれば二十二ミリメートルＨＧ以上でない; int1 & int2 -> int3: その満潮は二十二ミリメートルＨＧ以上でない; int3 & fact2 -> hypothesis;
fact17 -> int1: ¬{A}{a}; fact4 -> int2: ¬{A}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact2 -> hypothesis;
この祖父母世代は術式でない一方で大吟醸である
fact24 -> int4: 仮にこの祖父母世代は観音信仰でないとすると中細胞群でなくてかつ術式でない; fact22 & fact23 -> int5: この祖父母世代は観音信仰でない; int4 & int5 -> int6: この祖父母世代は中細胞群でないししかも術式であるということはない; int6 -> int7: この祖父母世代は術式でない;
$facts$ = fact1: もし「「観音信仰であるが取り辛くない」ということは成り立たない」ものがあるとするとこの祖父母世代は観音信仰でない fact2: その満潮は二十二ミリメートルＨＧ以上でないとしたら「この祖父母世代は術式でないけど大吟醸である」ということは誤っている fact3: もし仮にこの祖父母世代は術式でないとすると夜遊びでない fact4: もしも何らかのものは中細胞群でないとしたらそれは二十二ミリメートルＨＧ以上でない fact5: この祖父母世代はえげつなくないとすると「それは術式でない」ということは成り立つ fact6: もしもこの祖父母世代は中細胞群でないなら「その満潮は大吟醸でないがしかしそれは二十二ミリメートルＨＧ以上だ」ということは間違いである fact7: 仮にその満潮は二十二ミリメートルＨＧ以上でないとしたら「この祖父母世代は大吟醸だということはないがしかしそれはえげつない」ということは誤りである fact8: なにかは観音信仰でないとしたら中細胞群でないしおまけに術式だということはない fact9: 「この祖父母世代は術式であるしおまけに大吟醸である」ということは成り立たない fact10: 「「観音信仰だしまた取り辛いということはない」ということは成り立たない」物はある fact11: その課題は二十二ミリメートルＨＧ以上だということはない fact12: 「この祖父母世代は大吟醸でないがしかし二十二ミリメートルＨＧ以上である」ということは成り立たない fact13: その満潮は気弱いということはない fact14: もしなんらかのものが大吟醸でないとすれば二十二ミリメートルＨＧ以上でない fact15: その満潮はえげつなくない fact16: 仮にその満潮が大吟醸でないとすればえげつなくない fact17: 「その満潮は中細胞群でないしえげつなくない」ということは確かである fact18: その満潮は二十二ミリメートルＨＧ以上でないならば「この祖父母世代は術式であるし更に大吟醸だ」ということは成り立たない fact19: 「この祖父母世代は大吟醸でないけれど中細胞群である」ということは誤りだ fact20: 「受験科目な」ものはある fact21: もし仮にその満潮がえげつなくないとしたらそれは術式であるということはない ; $hypothesis$ = この祖父母世代は術式でないけれど大吟醸だ ; $proof$ = 
fact17 -> int1: その満潮は中細胞群でない; fact4 -> int2: もしその満潮が中細胞群でないとすれば二十二ミリメートルＨＧ以上でない; int1 & int2 -> int3: その満潮は二十二ミリメートルＨＧ以上でない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「「観音信仰であるが取り辛くない」ということは成り立たない」ものがあるとするとこの祖父母世代は観音信仰でない
事実2: その満潮は二十二ミリメートルＨＧ以上でないとしたら「この祖父母世代は術式でないけど大吟醸である」ということは誤っている
事実3: もし仮にこの祖父母世代は術式でないとすると夜遊びでない
事実4: もしも何らかのものは中細胞群でないとしたらそれは二十二ミリメートルＨＧ以上でない
事実5: この祖父母世代はえげつなくないとすると「それは術式でない」ということは成り立つ
事実6: もしもこの祖父母世代は中細胞群でないなら「その満潮は大吟醸でないがしかしそれは二十二ミリメートルＨＧ以上だ」ということは間違いである
事実7: 仮にその満潮は二十二ミリメートルＨＧ以上でないとしたら「この祖父母世代は大吟醸だということはないがしかしそれはえげつない」ということは誤りである
事実8: なにかは観音信仰でないとしたら中細胞群でないしおまけに術式だということはない
事実9: 「この祖父母世代は術式であるしおまけに大吟醸である」ということは成り立たない
事実10: 「「観音信仰だしまた取り辛いということはない」ということは成り立たない」物はある
事実11: その課題は二十二ミリメートルＨＧ以上だということはない
事実12: 「この祖父母世代は大吟醸でないがしかし二十二ミリメートルＨＧ以上である」ということは成り立たない
事実13: その満潮は気弱いということはない
事実14: もしなんらかのものが大吟醸でないとすれば二十二ミリメートルＨＧ以上でない
事実15: その満潮はえげつなくない
事実16: 仮にその満潮が大吟醸でないとすればえげつなくない
事実17: 「その満潮は中細胞群でないしえげつなくない」ということは確かである
事実18: その満潮は二十二ミリメートルＨＧ以上でないならば「この祖父母世代は術式であるし更に大吟醸だ」ということは成り立たない
事実19: 「この祖父母世代は大吟醸でないけれど中細胞群である」ということは誤りだ
事実20: 「受験科目な」ものはある
事実21: もし仮にその満潮がえげつなくないとしたらそれは術式であるということはない

仮説: この祖父母世代は術式でないけれど大吟醸だ
1. 事実17から、推論1: "その満潮は中細胞群でない"が導かれる
2. 事実4から、推論2: "もしその満潮が中細胞群でないとすれば二十二ミリメートルＨＧ以上でない"が導かれる
3. 推論1と推論2から、推論3: "その満潮は二十二ミリメートルＨＧ以上でない"が導かれる
4. 推論3と事実2から、仮説が否定される

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