この巡回は干拓しない
fact1: 仮にあのゲオポリティクは干拓するとしたら「この巡回は同性である」ということは真実だ fact2: もしこの巡回は同性でないがしかし定位・探索行動ならば住み易い fact3: あの上表参照は暖地である fact4: もしも「何かは定位・探索行動でないけどそれは離れ難い」ということは誤っているとしたら暖地でない fact5: ある物がヒアリングならば教会前でない fact6: もしもこの巡回が住み易いとしたら干拓する fact7: 「とある物はやばいけどヒアリングでない」ということは誤りならばそれはヒアリングだ fact8: もし「富むし更に一日である」ものがあるとするとあのゲオポリティクは政治資金でない fact9: 「同性である」物があるとするとその実現値は暖地であるしさらにそれは住み易い fact10: この非農家は富むししかもそれは一日である fact11: もしもあの上表参照が定位・探索行動でないとすればあの巡回は同性でない一方で定位・探索行動である fact12: もしなにがしかの物が教会前でないならば干拓するかもしくはそれは湾岸危機でないかあるいは両方だ fact13: もし仮にあのゲオポリティクは政治資金でないとすれば「やばいがしかしヒアリングでない」ということは嘘だ
fact4 -> int1: もし仮に「あの上表参照は定位・探索行動でないが離れ難い」ということは誤りだとしたらそれは暖地でない; void -> assump1: 以下のように仮定する。「あの上表参照は定位・探索行動でない一方で離れ難い」ということは成り立たない; int1 & assump1 -> int2: あの上表参照は暖地でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの上表参照は定位・探索行動でないがしかし離れ難い; int4 -> int5: あの上表参照は定位・探索行動でない; int5 & fact11 -> int6: 「この巡回は同性でないがしかしそれは定位・探索行動である」ということは確かである; int6 & fact2 -> int7: この巡回は住み易い; int7 & fact6 -> hypothesis;
その実現値は暖地である
fact16 -> int8: もし仮にあのゲオポリティクが教会前でないならそれは干拓するか湾岸危機でないかまたは両方だ; fact15 -> int9: もしもあのゲオポリティクがヒアリングなら教会前でない; fact20 -> int10: 仮に「あのゲオポリティクはやばい一方でヒアリングでない」ということは誤りならヒアリングである; fact21 -> int11: 何らかの物は富むし一日である; int11 & fact14 -> int12: あのゲオポリティクは政治資金だということはない; fact18 & int12 -> int13: 「あのゲオポリティクはやばい一方でヒアリングでない」ということは成り立たない; int10 & int13 -> int14: あのゲオポリティクはヒアリングである; int9 & int14 -> int15: あのゲオポリティクは教会前でない; int8 & int15 -> int16: あのゲオポリティクは干拓するかもしくは湾岸危機でない;
$facts$ = fact1: 仮にあのゲオポリティクは干拓するとしたら「この巡回は同性である」ということは真実だ fact2: もしこの巡回は同性でないがしかし定位・探索行動ならば住み易い fact3: あの上表参照は暖地である fact4: もしも「何かは定位・探索行動でないけどそれは離れ難い」ということは誤っているとしたら暖地でない fact5: ある物がヒアリングならば教会前でない fact6: もしもこの巡回が住み易いとしたら干拓する fact7: 「とある物はやばいけどヒアリングでない」ということは誤りならばそれはヒアリングだ fact8: もし「富むし更に一日である」ものがあるとするとあのゲオポリティクは政治資金でない fact9: 「同性である」物があるとするとその実現値は暖地であるしさらにそれは住み易い fact10: この非農家は富むししかもそれは一日である fact11: もしもあの上表参照が定位・探索行動でないとすればあの巡回は同性でない一方で定位・探索行動である fact12: もしなにがしかの物が教会前でないならば干拓するかもしくはそれは湾岸危機でないかあるいは両方だ fact13: もし仮にあのゲオポリティクは政治資金でないとすれば「やばいがしかしヒアリングでない」ということは嘘だ ; $hypothesis$ = この巡回は干拓しない ; $proof$ = 
fact4 -> int1: もし仮に「あの上表参照は定位・探索行動でないが離れ難い」ということは誤りだとしたらそれは暖地でない; void -> assump1: 以下のように仮定する。「あの上表参照は定位・探索行動でない一方で離れ難い」ということは成り立たない; int1 & assump1 -> int2: あの上表参照は暖地でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの上表参照は定位・探索行動でないがしかし離れ難い; int4 -> int5: あの上表参照は定位・探索行動でない; int5 & fact11 -> int6: 「この巡回は同性でないがしかしそれは定位・探索行動である」ということは確かである; int6 & fact2 -> int7: この巡回は住み易い; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあのゲオポリティクは干拓するとしたら「この巡回は同性である」ということは真実だ
事実2: もしこの巡回は同性でないがしかし定位・探索行動ならば住み易い
事実3: あの上表参照は暖地である
事実4: もしも「何かは定位・探索行動でないけどそれは離れ難い」ということは誤っているとしたら暖地でない
事実5: ある物がヒアリングならば教会前でない
事実6: もしもこの巡回が住み易いとしたら干拓する
事実7: 「とある物はやばいけどヒアリングでない」ということは誤りならばそれはヒアリングだ
事実8: もし「富むし更に一日である」ものがあるとするとあのゲオポリティクは政治資金でない
事実9: 「同性である」物があるとするとその実現値は暖地であるしさらにそれは住み易い
事実10: この非農家は富むししかもそれは一日である
事実11: もしもあの上表参照が定位・探索行動でないとすればあの巡回は同性でない一方で定位・探索行動である
事実12: もしなにがしかの物が教会前でないならば干拓するかもしくはそれは湾岸危機でないかあるいは両方だ
事実13: もし仮にあのゲオポリティクは政治資金でないとすれば「やばいがしかしヒアリングでない」ということは嘘だ

仮説: この巡回は干拓しない
1. 事実4から、推論1: "もし仮に「あの上表参照は定位・探索行動でないが離れ難い」ということは誤りだとしたらそれは暖地でない"が導かれる
2. 仮定1: 以下のように仮定する。「あの上表参照は定位・探索行動でない一方で離れ難い」ということは成り立たない
3. 推論1と仮定1から、推論2: "あの上表参照は暖地でない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの上表参照は定位・探索行動でないがしかし離れ難い"が導かれる
6. 推論4から、推論5: "あの上表参照は定位・探索行動でない"が導かれる
7. 推論5と事実11から、推論6: "「この巡回は同性でないがしかしそれは定位・探索行動である」ということは確かである"が導かれる
8. 推論6と事実2から、推論7: "この巡回は住み易い"が導かれる
9. 推論7と事実6から、仮説が否定される

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