「あの西式健康法は世知辛くなくて付き難くない」ということは成り立つ
fact1: もしあの西式健康法は協力すらないとすれば「このＩＳＯサークル活動は世知辛くないけれど胡麻油小匙だ」ということは誤りだ fact2: 「「胡麻油小匙だということはないけど協力す」ということは成り立つということはない」物はある fact3: 「このＩＳＯサークル活動は開披しないしそれにそれは協力すということはない」ということは成り立つということはない fact4: 「「開披しなくて胡麻油小匙である」ということは成り立たない」ものはある fact5: 「「協力すらないし胡麻油小匙である」ということは成り立たない」物はある fact6: もし「ある物は胡麻油小匙である一方で手招かない」ということは成り立たないならそれは胡麻油小匙でない fact7: もし仮になにがしかのものは胡麻油小匙でないならそれは世知辛いということはなくて付き難くない fact8: 仮に「あのクリタ時代は胡麻油小匙だということはない」ということは成り立つなら「あの西式健康法は世知辛くないし付き難くない」ということは成り立つということはない fact9: もし「協力す」ものがあるならあのクリタ時代は胡麻油小匙でない fact10: 「このＩＳＯサークル活動は協力すけれどそれは胡麻油小匙でない」ということは成り立たない fact11: 「「開披しなくてまた世知辛くない」ということは間違いな」物はある fact12: 仮に「あの西式健康法は振る舞える」ということは正しいとすれば「胡麻油小匙であるが手招かない」ということは成り立つということはない fact13: 「「開披するが協力すらない」ということは事実と異なる」ものはある fact14: 「開披しないしさらに協力すらない」物はある fact15: もしあのクリタ時代は世知辛くないとすれば「あの西式健康法は胡麻油小匙だが付き難くない」ということは成り立たない fact16: もしもこのＩＳＯサークル活動は付き難くないとすると「あのクリタ時代は胡麻油小匙でないし更に開披しない」ということは成り立たない fact17: 仮に「「開披しなくて加えて協力すらない」ということは誤りである」物があるとしたらあのクリタ時代は胡麻油小匙でない fact18: 「このＩＳＯサークル活動は付き難くないし開披しない」ということは事実と異なる fact19: 「「あの西式健康法は世知辛くない一方で付き難い」ということは成り立つ」ということは誤りだ fact20: 「あの西式健康法は塩っ辛い一方でごつかない」ということは成り立たない fact21: 「あの西式健康法は胡麻油小匙だがしかし付き難くない」ということは嘘だ
fact3 -> int1: 「「開披しないしさらに協力すらない」ということは成り立たない」物はある; int1 & fact17 -> int2: あのクリタ時代は胡麻油小匙でない; int2 & fact8 -> hypothesis;
fact3 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact17 -> int2: ¬{A}{a}; int2 & fact8 -> hypothesis;
あの西式健康法が世知辛いということはないしその上付き難くない
fact23 -> int3: もしあの西式健康法は胡麻油小匙でないとするとそれは世知辛くないしまた付き難くない; fact22 -> int4: もし仮に「あの西式健康法が胡麻油小匙だけど手招かない」ということは成り立たないなら胡麻油小匙でない;
$facts$ = fact1: もしあの西式健康法は協力すらないとすれば「このＩＳＯサークル活動は世知辛くないけれど胡麻油小匙だ」ということは誤りだ fact2: 「「胡麻油小匙だということはないけど協力す」ということは成り立つということはない」物はある fact3: 「このＩＳＯサークル活動は開披しないしそれにそれは協力すということはない」ということは成り立つということはない fact4: 「「開披しなくて胡麻油小匙である」ということは成り立たない」ものはある fact5: 「「協力すらないし胡麻油小匙である」ということは成り立たない」物はある fact6: もし「ある物は胡麻油小匙である一方で手招かない」ということは成り立たないならそれは胡麻油小匙でない fact7: もし仮になにがしかのものは胡麻油小匙でないならそれは世知辛いということはなくて付き難くない fact8: 仮に「あのクリタ時代は胡麻油小匙だということはない」ということは成り立つなら「あの西式健康法は世知辛くないし付き難くない」ということは成り立つということはない fact9: もし「協力す」ものがあるならあのクリタ時代は胡麻油小匙でない fact10: 「このＩＳＯサークル活動は協力すけれどそれは胡麻油小匙でない」ということは成り立たない fact11: 「「開披しなくてまた世知辛くない」ということは間違いな」物はある fact12: 仮に「あの西式健康法は振る舞える」ということは正しいとすれば「胡麻油小匙であるが手招かない」ということは成り立つということはない fact13: 「「開披するが協力すらない」ということは事実と異なる」ものはある fact14: 「開披しないしさらに協力すらない」物はある fact15: もしあのクリタ時代は世知辛くないとすれば「あの西式健康法は胡麻油小匙だが付き難くない」ということは成り立たない fact16: もしもこのＩＳＯサークル活動は付き難くないとすると「あのクリタ時代は胡麻油小匙でないし更に開披しない」ということは成り立たない fact17: 仮に「「開披しなくて加えて協力すらない」ということは誤りである」物があるとしたらあのクリタ時代は胡麻油小匙でない fact18: 「このＩＳＯサークル活動は付き難くないし開披しない」ということは事実と異なる fact19: 「「あの西式健康法は世知辛くない一方で付き難い」ということは成り立つ」ということは誤りだ fact20: 「あの西式健康法は塩っ辛い一方でごつかない」ということは成り立たない fact21: 「あの西式健康法は胡麻油小匙だがしかし付き難くない」ということは嘘だ ; $hypothesis$ = 「あの西式健康法は世知辛くなくて付き難くない」ということは成り立つ ; $proof$ = 
fact3 -> int1: 「「開披しないしさらに協力すらない」ということは成り立たない」物はある; int1 & fact17 -> int2: あのクリタ時代は胡麻油小匙でない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もしあの西式健康法は協力すらないとすれば「このＩＳＯサークル活動は世知辛くないけれど胡麻油小匙だ」ということは誤りだ
事実2: 「「胡麻油小匙だということはないけど協力す」ということは成り立つということはない」物はある
事実3: 「このＩＳＯサークル活動は開披しないしそれにそれは協力すということはない」ということは成り立つということはない
事実4: 「「開披しなくて胡麻油小匙である」ということは成り立たない」ものはある
事実5: 「「協力すらないし胡麻油小匙である」ということは成り立たない」物はある
事実6: もし「ある物は胡麻油小匙である一方で手招かない」ということは成り立たないならそれは胡麻油小匙でない
事実7: もし仮になにがしかのものは胡麻油小匙でないならそれは世知辛いということはなくて付き難くない
事実8: 仮に「あのクリタ時代は胡麻油小匙だということはない」ということは成り立つなら「あの西式健康法は世知辛くないし付き難くない」ということは成り立つということはない
事実9: もし「協力す」ものがあるならあのクリタ時代は胡麻油小匙でない
事実10: 「このＩＳＯサークル活動は協力すけれどそれは胡麻油小匙でない」ということは成り立たない
事実11: 「「開披しなくてまた世知辛くない」ということは間違いな」物はある
事実12: 仮に「あの西式健康法は振る舞える」ということは正しいとすれば「胡麻油小匙であるが手招かない」ということは成り立つということはない
事実13: 「「開披するが協力すらない」ということは事実と異なる」ものはある
事実14: 「開披しないしさらに協力すらない」物はある
事実15: もしあのクリタ時代は世知辛くないとすれば「あの西式健康法は胡麻油小匙だが付き難くない」ということは成り立たない
事実16: もしもこのＩＳＯサークル活動は付き難くないとすると「あのクリタ時代は胡麻油小匙でないし更に開披しない」ということは成り立たない
事実17: 仮に「「開披しなくて加えて協力すらない」ということは誤りである」物があるとしたらあのクリタ時代は胡麻油小匙でない
事実18: 「このＩＳＯサークル活動は付き難くないし開披しない」ということは事実と異なる
事実19: 「「あの西式健康法は世知辛くない一方で付き難い」ということは成り立つ」ということは誤りだ
事実20: 「あの西式健康法は塩っ辛い一方でごつかない」ということは成り立たない
事実21: 「あの西式健康法は胡麻油小匙だがしかし付き難くない」ということは嘘だ

仮説: 「あの西式健康法は世知辛くなくて付き難くない」ということは成り立つ
1. 事実3から、推論1: "「「開披しないしさらに協力すらない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実17から、推論2: "あのクリタ時代は胡麻油小匙でない"が導かれる
3. 推論2と事実8から、仮説が否定される

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