「「辛いしおまけに用い始める」物はある」ということは誤っている
fact1: もし「この都城は不適合元素だが把握し易くない」ということは間違っているとすればその略奪結婚はむっちりする fact2: あるものは辛いかもしくは用い始めないかあるいはどちらもなら辛い fact3: 「辛い」物はある fact4: もしある物が住み始めるとすると辛いかまたはそれは用い始めないか両方だ fact5: この都城は物理的移動だ fact6: この都城は辛い fact7: あの初級は用い始める fact8: 上げ易くないものは住み始めるし更にマーケットイン型である fact9: あの種は辛い fact10: なにかは用い始める fact11: この都城は用い始める fact12: この都城は物理的移動であるとしたらそれは処遇だ fact13: もし仮に「とあるものはヒマラヤ山中でないがしかし合体である」ということは事実であるということはないとしたらそれは上げ易くない fact14: もしもなにかは処遇だとしたら「不適合元素であるけど把握し易くない」ということは真実でない fact15: もし仮にとあるものはむっちりするとすると「ヒマラヤ山中でないけれど合体である」ということは誤りだ
fact6 & fact11 -> int1: この都城は辛くて用い始める; int1 -> hypothesis;
その略奪結婚は辛い
fact19 -> int2: もし「その略奪結婚は辛いかもしくは用い始めないかもしくはどちらもだ」ということは成り立てばそれは辛い; fact23 -> int3: 仮にその略奪結婚が住み始めるとしたらそれは辛いかもしくはそれは用い始めない; fact20 -> int4: もしも「その略奪結婚は上げ易くない」ということは成り立つならそれは住み始めるしマーケットイン型である; fact24 -> int5: 「「その略奪結婚はヒマラヤ山中でないが合体だ」ということは事実である」ということは事実と異なるとしたら上げ易くない; fact21 -> int6: その略奪結婚はむっちりするなら「それはヒマラヤ山中でない一方で合体である」ということは誤っている; fact17 -> int7: もし仮にこの都城は処遇であるとすると「それは不適合元素でその上それは把握し易くない」ということは成り立たない; fact18 & fact22 -> int8: この都城は処遇である; int7 & int8 -> int9: 「この都城は不適合元素だけれどそれは把握し易くない」ということは偽だ; fact16 & int9 -> int10: その略奪結婚はむっちりする; int6 & int10 -> int11: 「「その略奪結婚はヒマラヤ山中でないけど合体だ」ということは事実である」ということは成り立たない; int5 & int11 -> int12: その略奪結婚は上げ易くない; int4 & int12 -> int13: その略奪結婚は住み始めるしそれはマーケットイン型だ; int13 -> int14: その略奪結婚は住み始める; int3 & int14 -> int15: その略奪結婚は辛いかそれは用い始めないかもしくは両方ともである; int2 & int15 -> hypothesis;
$facts$ = fact1: もし「この都城は不適合元素だが把握し易くない」ということは間違っているとすればその略奪結婚はむっちりする fact2: あるものは辛いかもしくは用い始めないかあるいはどちらもなら辛い fact3: 「辛い」物はある fact4: もしある物が住み始めるとすると辛いかまたはそれは用い始めないか両方だ fact5: この都城は物理的移動だ fact6: この都城は辛い fact7: あの初級は用い始める fact8: 上げ易くないものは住み始めるし更にマーケットイン型である fact9: あの種は辛い fact10: なにかは用い始める fact11: この都城は用い始める fact12: この都城は物理的移動であるとしたらそれは処遇だ fact13: もし仮に「とあるものはヒマラヤ山中でないがしかし合体である」ということは事実であるということはないとしたらそれは上げ易くない fact14: もしもなにかは処遇だとしたら「不適合元素であるけど把握し易くない」ということは真実でない fact15: もし仮にとあるものはむっちりするとすると「ヒマラヤ山中でないけれど合体である」ということは誤りだ ; $hypothesis$ = 「「辛いしおまけに用い始める」物はある」ということは誤っている ; $proof$ = 
fact6 & fact11 -> int1: この都城は辛くて用い始める; int1 -> hypothesis; __DISPROVED__
事実1: もし「この都城は不適合元素だが把握し易くない」ということは間違っているとすればその略奪結婚はむっちりする
事実2: あるものは辛いかもしくは用い始めないかあるいはどちらもなら辛い
事実3: 「辛い」物はある
事実4: もしある物が住み始めるとすると辛いかまたはそれは用い始めないか両方だ
事実5: この都城は物理的移動だ
事実6: この都城は辛い
事実7: あの初級は用い始める
事実8: 上げ易くないものは住み始めるし更にマーケットイン型である
事実9: あの種は辛い
事実10: なにかは用い始める
事実11: この都城は用い始める
事実12: この都城は物理的移動であるとしたらそれは処遇だ
事実13: もし仮に「とあるものはヒマラヤ山中でないがしかし合体である」ということは事実であるということはないとしたらそれは上げ易くない
事実14: もしもなにかは処遇だとしたら「不適合元素であるけど把握し易くない」ということは真実でない
事実15: もし仮にとあるものはむっちりするとすると「ヒマラヤ山中でないけれど合体である」ということは誤りだ

仮説: 「「辛いしおまけに用い始める」物はある」ということは誤っている
1. 事実6と事実11から、推論1: "この都城は辛くて用い始める"が導かれる
2. 推論1から、仮説が否定される

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