その平泉駅下車は賎しむか護持するかまたは両方である
fact1: もしあの伝統性はバウンドしないならば「その平泉駅下車は傾聴しない」ということは真実だ fact2: もしもなんらかの物は受け取り手形割り引き高であるとしたら「それは自縄自縛であるしそれは東急ハンズでない」ということは確かでない fact3: 仮に「あの伝統性は駆潜艇でないかあるいは戯画化しないかあるいは両方だ」ということは成り立たないならそれは寄与度だ fact4: この電話機は丸いし傾聴する fact5: その労働団体は自縄自縛であるし更に忌まわしい fact6: もし仮にあの伝統性が寄与度であるならそのアロマホップは傾聴する fact7: もし「あの伝統性は護持しないかもしくはバウンドしないかもしくは両方だ」ということは誤っているとしたらそれは戯画化する fact8: もしもそのアロマホップが傾聴するとすればあの労働団体はバウンドする fact9: もしも「そのアロマホップは護持しないかもしくは駆潜艇でないかまたは両方ともだ」ということは成り立たないとすれば傾聴する fact10: もし仮に何らかの物が婚姻するしまた忌まわしいとするとその平泉駅下車は賎しむ fact11: その労働団体は自縄自縛だ fact12: もしなにかは傾聴しないなら「それは賎しむかもしくは護持するかまたは両方である」ということは成り立たない fact13: この公開授業は婚姻する fact14: 仮に「寄与度でない」ものがあるとしたらあの伝統性はバウンドしないかまたは寄与度だということはないかもしくはどちらもである fact15: 仮に「あの伝統性は駆潜艇でないかもしくは戯画化するかまたは両方だ」ということは事実と異なるとすると寄与度である fact16: 「あの伝統性は駆潜艇でないかまたは戯画化するということはないかまたは両方だ」ということは事実と異なる fact17: 仮に「その労働団体は忌まわしくないかあるいはそれはバウンドするということはない」ということは誤りだとすると駆潜艇だ fact18: そのアロマホップが大人気無くないならばそれは受け取り手形割り引き高だしさらに編集出来る fact19: 仮に「なにがしかのものは自縄自縛であるけどそれは東急ハンズでない」ということは成り立たないとしたらそれは婚姻しない fact20: あの伝統性は戯画化する fact21: 何かは忌まわしい fact22: 「あの伝統性はバウンドしないかあるいは駆潜艇であるということはないか両方だ」ということは事実と異なるなら賎しむ fact23: そのアロマホップは大人気無くない fact24: もしもとある物がバウンドするし忌まわしいとすればあの伝統性は寄与度である fact25: 「婚姻する」物はある fact26: もしその労働団体が駆潜艇ならばあの伝統性はバウンドする fact27: 仮にその労働団体がバウンドするとしたら婚姻する
fact3 & fact16 -> int1: あの伝統性は寄与度である; int1 & fact6 -> int2: そのアロマホップは傾聴する; int2 & fact8 -> int3: その労働団体はバウンドする; int3 & fact27 -> int4: その労働団体は婚姻する; fact5 -> int5: その労働団体は忌まわしい; int4 & int5 -> int6: その労働団体が婚姻するしその上忌まわしい; int6 -> int7: なにかは婚姻するし加えて忌まわしい; int7 & fact10 -> int8: その平泉駅下車は賎しむ; int8 -> hypothesis;
「その平泉駅下車は賎しむかまたはそれは護持する」ということは成り立たない
fact34 -> int9: もしも「その平泉駅下車は傾聴しない」ということは正しいとすれば「それは賎しむかもしくは護持する」ということは事実と異なる; fact28 -> int10: もし仮に「そのアロマホップは自縄自縛である一方で東急ハンズでない」ということは誤りであるとすると婚姻しない; fact29 -> int11: もし仮にそのアロマホップは受け取り手形割り引き高ならば「それは自縄自縛だがしかし東急ハンズでない」ということは成り立たない; fact30 & fact33 -> int12: そのアロマホップは受け取り手形割り引き高であるしおまけに編集出来る; int12 -> int13: そのアロマホップは受け取り手形割り引き高だ; int11 & int13 -> int14: 「そのアロマホップは自縄自縛であるけど東急ハンズでない」ということは間違いである; int10 & int14 -> int15: そのアロマホップは婚姻しない; int15 -> int16: そのアロマホップは婚姻しないか忌まわしくないかあるいは両方ともだ;
$facts$ = fact1: もしあの伝統性はバウンドしないならば「その平泉駅下車は傾聴しない」ということは真実だ fact2: もしもなんらかの物は受け取り手形割り引き高であるとしたら「それは自縄自縛であるしそれは東急ハンズでない」ということは確かでない fact3: 仮に「あの伝統性は駆潜艇でないかあるいは戯画化しないかあるいは両方だ」ということは成り立たないならそれは寄与度だ fact4: この電話機は丸いし傾聴する fact5: その労働団体は自縄自縛であるし更に忌まわしい fact6: もし仮にあの伝統性が寄与度であるならそのアロマホップは傾聴する fact7: もし「あの伝統性は護持しないかもしくはバウンドしないかもしくは両方だ」ということは誤っているとしたらそれは戯画化する fact8: もしもそのアロマホップが傾聴するとすればあの労働団体はバウンドする fact9: もしも「そのアロマホップは護持しないかもしくは駆潜艇でないかまたは両方ともだ」ということは成り立たないとすれば傾聴する fact10: もし仮に何らかの物が婚姻するしまた忌まわしいとするとその平泉駅下車は賎しむ fact11: その労働団体は自縄自縛だ fact12: もしなにかは傾聴しないなら「それは賎しむかもしくは護持するかまたは両方である」ということは成り立たない fact13: この公開授業は婚姻する fact14: 仮に「寄与度でない」ものがあるとしたらあの伝統性はバウンドしないかまたは寄与度だということはないかもしくはどちらもである fact15: 仮に「あの伝統性は駆潜艇でないかもしくは戯画化するかまたは両方だ」ということは事実と異なるとすると寄与度である fact16: 「あの伝統性は駆潜艇でないかまたは戯画化するということはないかまたは両方だ」ということは事実と異なる fact17: 仮に「その労働団体は忌まわしくないかあるいはそれはバウンドするということはない」ということは誤りだとすると駆潜艇だ fact18: そのアロマホップが大人気無くないならばそれは受け取り手形割り引き高だしさらに編集出来る fact19: 仮に「なにがしかのものは自縄自縛であるけどそれは東急ハンズでない」ということは成り立たないとしたらそれは婚姻しない fact20: あの伝統性は戯画化する fact21: 何かは忌まわしい fact22: 「あの伝統性はバウンドしないかあるいは駆潜艇であるということはないか両方だ」ということは事実と異なるなら賎しむ fact23: そのアロマホップは大人気無くない fact24: もしもとある物がバウンドするし忌まわしいとすればあの伝統性は寄与度である fact25: 「婚姻する」物はある fact26: もしその労働団体が駆潜艇ならばあの伝統性はバウンドする fact27: 仮にその労働団体がバウンドするとしたら婚姻する ; $hypothesis$ = その平泉駅下車は賎しむか護持するかまたは両方である ; $proof$ = 
fact3 & fact16 -> int1: あの伝統性は寄与度である; int1 & fact6 -> int2: そのアロマホップは傾聴する; int2 & fact8 -> int3: その労働団体はバウンドする; int3 & fact27 -> int4: その労働団体は婚姻する; fact5 -> int5: その労働団体は忌まわしい; int4 & int5 -> int6: その労働団体が婚姻するしその上忌まわしい; int6 -> int7: なにかは婚姻するし加えて忌まわしい; int7 & fact10 -> int8: その平泉駅下車は賎しむ; int8 -> hypothesis; __PROVED__
事実1: もしあの伝統性はバウンドしないならば「その平泉駅下車は傾聴しない」ということは真実だ
事実2: もしもなんらかの物は受け取り手形割り引き高であるとしたら「それは自縄自縛であるしそれは東急ハンズでない」ということは確かでない
事実3: 仮に「あの伝統性は駆潜艇でないかあるいは戯画化しないかあるいは両方だ」ということは成り立たないならそれは寄与度だ
事実4: この電話機は丸いし傾聴する
事実5: その労働団体は自縄自縛であるし更に忌まわしい
事実6: もし仮にあの伝統性が寄与度であるならそのアロマホップは傾聴する
事実7: もし「あの伝統性は護持しないかもしくはバウンドしないかもしくは両方だ」ということは誤っているとしたらそれは戯画化する
事実8: もしもそのアロマホップが傾聴するとすればあの労働団体はバウンドする
事実9: もしも「そのアロマホップは護持しないかもしくは駆潜艇でないかまたは両方ともだ」ということは成り立たないとすれば傾聴する
事実10: もし仮に何らかの物が婚姻するしまた忌まわしいとするとその平泉駅下車は賎しむ
事実11: その労働団体は自縄自縛だ
事実12: もしなにかは傾聴しないなら「それは賎しむかもしくは護持するかまたは両方である」ということは成り立たない
事実13: この公開授業は婚姻する
事実14: 仮に「寄与度でない」ものがあるとしたらあの伝統性はバウンドしないかまたは寄与度だということはないかもしくはどちらもである
事実15: 仮に「あの伝統性は駆潜艇でないかもしくは戯画化するかまたは両方だ」ということは事実と異なるとすると寄与度である
事実16: 「あの伝統性は駆潜艇でないかまたは戯画化するということはないかまたは両方だ」ということは事実と異なる
事実17: 仮に「その労働団体は忌まわしくないかあるいはそれはバウンドするということはない」ということは誤りだとすると駆潜艇だ
事実18: そのアロマホップが大人気無くないならばそれは受け取り手形割り引き高だしさらに編集出来る
事実19: 仮に「なにがしかのものは自縄自縛であるけどそれは東急ハンズでない」ということは成り立たないとしたらそれは婚姻しない
事実20: あの伝統性は戯画化する
事実21: 何かは忌まわしい
事実22: 「あの伝統性はバウンドしないかあるいは駆潜艇であるということはないか両方だ」ということは事実と異なるなら賎しむ
事実23: そのアロマホップは大人気無くない
事実24: もしもとある物がバウンドするし忌まわしいとすればあの伝統性は寄与度である
事実25: 「婚姻する」物はある
事実26: もしその労働団体が駆潜艇ならばあの伝統性はバウンドする
事実27: 仮にその労働団体がバウンドするとしたら婚姻する

仮説: その平泉駅下車は賎しむか護持するかまたは両方である
1. 事実3と事実16から、推論1: "あの伝統性は寄与度である"が導かれる
2. 推論1と事実6から、推論2: "そのアロマホップは傾聴する"が導かれる
3. 推論2と事実8から、推論3: "その労働団体はバウンドする"が導かれる
4. 推論3と事実27から、推論4: "その労働団体は婚姻する"が導かれる
5. 事実5から、推論5: "その労働団体は忌まわしい"が導かれる
6. 推論4と推論5から、推論6: "その労働団体が婚姻するしその上忌まわしい"が導かれる
7. 推論6から、推論7: "なにかは婚姻するし加えて忌まわしい"が導かれる
8. 推論7と事実10から、推論8: "その平泉駅下車は賎しむ"が導かれる
9. 推論8から、仮説が導かれる

よって、仮説が証明されました。