あの処理内容は狭苦しい
fact1: もし仮になんらかのものが栂池自然園でないとすればそれは狭苦しいし訝しい fact2: もし仮にこの焼酎が渋くないとすると折れ易くてかつそれは揺らぐ fact3: 「その尾根上は狭苦しくない」ということは本当だ fact4: あの処理内容が例外無い一方でそれが真ん丸くないとしたらその尾根上は狭苦しくない fact5: あの可塑は忍耐強いけれど後らしくない fact6: もしも「この焼酎は折れ易い」ということは事実であるとしたら「その尾根上はコントロールし易くないしおまけに連想し易くない」ということは成り立たない fact7: その尾根上は真ん丸いけれど例外無くない fact8: もしその尾根上が真ん丸いけれど例外無いということはないならあの処理内容は狭苦しくない fact9: その尾根上は真ん丸い
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
あの処理内容は狭苦しい
fact10 -> int1: もしあの処理内容が栂池自然園でないとするとそれは狭苦しくてそれは訝しい;
$facts$ = fact1: もし仮になんらかのものが栂池自然園でないとすればそれは狭苦しいし訝しい fact2: もし仮にこの焼酎が渋くないとすると折れ易くてかつそれは揺らぐ fact3: 「その尾根上は狭苦しくない」ということは本当だ fact4: あの処理内容が例外無い一方でそれが真ん丸くないとしたらその尾根上は狭苦しくない fact5: あの可塑は忍耐強いけれど後らしくない fact6: もしも「この焼酎は折れ易い」ということは事実であるとしたら「その尾根上はコントロールし易くないしおまけに連想し易くない」ということは成り立たない fact7: その尾根上は真ん丸いけれど例外無くない fact8: もしその尾根上が真ん丸いけれど例外無いということはないならあの処理内容は狭苦しくない fact9: その尾根上は真ん丸い ; $hypothesis$ = あの処理内容は狭苦しい ; $proof$ = 
fact8 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが栂池自然園でないとすればそれは狭苦しいし訝しい
事実2: もし仮にこの焼酎が渋くないとすると折れ易くてかつそれは揺らぐ
事実3: 「その尾根上は狭苦しくない」ということは本当だ
事実4: あの処理内容が例外無い一方でそれが真ん丸くないとしたらその尾根上は狭苦しくない
事実5: あの可塑は忍耐強いけれど後らしくない
事実6: もしも「この焼酎は折れ易い」ということは事実であるとしたら「その尾根上はコントロールし易くないしおまけに連想し易くない」ということは成り立たない
事実7: その尾根上は真ん丸いけれど例外無くない
事実8: もしその尾根上が真ん丸いけれど例外無いということはないならあの処理内容は狭苦しくない
事実9: その尾根上は真ん丸い

仮説: あの処理内容は狭苦しい
1. 事実8と事実7から、仮説が否定される

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