あの都市部は旧本店所在地でそれにそれは引き摺り出す
fact1: もしとあるものが引き摺り出すならそれは飲食する fact2: もし「その日米株価は地中引っ込め線でない一方で没収する」ということは誤りであるならばあの共重合体は聞き取る fact3: 仮にその日暮らしが刮げ取らないならその花卉導入は引き摺り出すしおまけに旧本店所在地だ fact4: もし仮になにがしかのものが聞き取るとするとそれは痛々しくなくて掴み難くない fact5: その二化合物は発泡酒だ fact6: その日暮らしは腕振りだ fact7: もしもその二化合物が発泡酒であるとしたらこの黄金虫は腕振りでないがしかし染み込み易い fact8: この米袋は没収しない fact9: もしその日暮らしが飲食するし腕振りならばこの共重合体は引き摺り出さない fact10: その日暮らしは飲食する fact11: 仮にこの共重合体が痛々しくなくてまた掴み難くないならその日暮らしは痛々しくない fact12: この共重合体は聞き取らない fact13: もしもとあるものが腕振りでないとすれば刮げ取らないか旧本店所在地であるかあるいは両方である fact14: もしもなにかは刮げ取らないかあるいは旧本店所在地であるかまたはどちらもであるとしたらそれは旧本店所在地である fact15: もしその日暮らしが痛々しくないとしたらあの都市部は飲食するしそれは引き摺り出す fact16: もし仮に「「この共重合体は痛々しい一方で刮げ取らない」ということは真実である」ということは成り立たないとすればその日暮らしは刮げ取らない fact17: 仮にこの黄金虫が腕振りでない一方で染み込み易いならあの都市部は腕振りでない fact18: もしもこの共重合体は引き摺り出さないならば「あの都市部は旧本店所在地だしまた引き摺り出す」ということは成り立たない
fact10 & fact6 -> int1: その日暮らしは飲食するしさらに腕振りだ; int1 & fact9 -> int2: 「この共重合体は引き摺り出さない」ということは誤りでない; int2 & fact18 -> hypothesis;
fact10 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact9 -> int2: ¬{C}{b}; int2 & fact18 -> hypothesis;
その花卉導入は腕振りだ
fact20 -> int3: 仮にその花卉導入は引き摺り出せば「飲食する」ということは本当だ;
$facts$ = fact1: もしとあるものが引き摺り出すならそれは飲食する fact2: もし「その日米株価は地中引っ込め線でない一方で没収する」ということは誤りであるならばあの共重合体は聞き取る fact3: 仮にその日暮らしが刮げ取らないならその花卉導入は引き摺り出すしおまけに旧本店所在地だ fact4: もし仮になにがしかのものが聞き取るとするとそれは痛々しくなくて掴み難くない fact5: その二化合物は発泡酒だ fact6: その日暮らしは腕振りだ fact7: もしもその二化合物が発泡酒であるとしたらこの黄金虫は腕振りでないがしかし染み込み易い fact8: この米袋は没収しない fact9: もしその日暮らしが飲食するし腕振りならばこの共重合体は引き摺り出さない fact10: その日暮らしは飲食する fact11: 仮にこの共重合体が痛々しくなくてまた掴み難くないならその日暮らしは痛々しくない fact12: この共重合体は聞き取らない fact13: もしもとあるものが腕振りでないとすれば刮げ取らないか旧本店所在地であるかあるいは両方である fact14: もしもなにかは刮げ取らないかあるいは旧本店所在地であるかまたはどちらもであるとしたらそれは旧本店所在地である fact15: もしその日暮らしが痛々しくないとしたらあの都市部は飲食するしそれは引き摺り出す fact16: もし仮に「「この共重合体は痛々しい一方で刮げ取らない」ということは真実である」ということは成り立たないとすればその日暮らしは刮げ取らない fact17: 仮にこの黄金虫が腕振りでない一方で染み込み易いならあの都市部は腕振りでない fact18: もしもこの共重合体は引き摺り出さないならば「あの都市部は旧本店所在地だしまた引き摺り出す」ということは成り立たない ; $hypothesis$ = あの都市部は旧本店所在地でそれにそれは引き摺り出す ; $proof$ = 
fact10 & fact6 -> int1: その日暮らしは飲食するしさらに腕振りだ; int1 & fact9 -> int2: 「この共重合体は引き摺り出さない」ということは誤りでない; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: もしとあるものが引き摺り出すならそれは飲食する
事実2: もし「その日米株価は地中引っ込め線でない一方で没収する」ということは誤りであるならばあの共重合体は聞き取る
事実3: 仮にその日暮らしが刮げ取らないならその花卉導入は引き摺り出すしおまけに旧本店所在地だ
事実4: もし仮になにがしかのものが聞き取るとするとそれは痛々しくなくて掴み難くない
事実5: その二化合物は発泡酒だ
事実6: その日暮らしは腕振りだ
事実7: もしもその二化合物が発泡酒であるとしたらこの黄金虫は腕振りでないがしかし染み込み易い
事実8: この米袋は没収しない
事実9: もしその日暮らしが飲食するし腕振りならばこの共重合体は引き摺り出さない
事実10: その日暮らしは飲食する
事実11: 仮にこの共重合体が痛々しくなくてまた掴み難くないならその日暮らしは痛々しくない
事実12: この共重合体は聞き取らない
事実13: もしもとあるものが腕振りでないとすれば刮げ取らないか旧本店所在地であるかあるいは両方である
事実14: もしもなにかは刮げ取らないかあるいは旧本店所在地であるかまたはどちらもであるとしたらそれは旧本店所在地である
事実15: もしその日暮らしが痛々しくないとしたらあの都市部は飲食するしそれは引き摺り出す
事実16: もし仮に「「この共重合体は痛々しい一方で刮げ取らない」ということは真実である」ということは成り立たないとすればその日暮らしは刮げ取らない
事実17: 仮にこの黄金虫が腕振りでない一方で染み込み易いならあの都市部は腕振りでない
事実18: もしもこの共重合体は引き摺り出さないならば「あの都市部は旧本店所在地だしまた引き摺り出す」ということは成り立たない

仮説: あの都市部は旧本店所在地でそれにそれは引き摺り出す
1. 事実10と事実6から、推論1: "その日暮らしは飲食するしさらに腕振りだ"が導かれる
2. 推論1と事実9から、推論2: "「この共重合体は引き摺り出さない」ということは誤りでない"が導かれる
3. 推論2と事実18から、仮説が否定される

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