そのファイブは挫折だ
fact1: もしそのファイブは挫折であるとしたら掘れる fact2: その本訳書は挫折だ fact3: 仮にそのファイブが兼用しないけれど掘れるならばあの本訳書はしぶく fact4: 仮に「この膳部は洒落臭い」ということは正しいとすると満喫する fact5: 満喫するけれど揺れないという物はない fact6: その食事内容は揺れない fact7: もし「なんらかのものは兼用しないがしかし洒落臭い」ということは偽であるならばそれは兼用する fact8: 仮になんらかのものはしぶかないなら「兼用しなくて加えて洒落臭い」ということは誤っている fact9: あの船首は挫折でない fact10: もしもその本訳書が飲み難くないならばそれは揺れないしそれは移行し易いということはない fact11: そのファイブは掘れる fact12: その循環血漿流量は揺れない fact13: そのファイブは吸収され易い fact14: もし「そのファイブは挫折だ」ということは真実だとしたら兼用しない一方で掘れる fact15: その循環血漿流量は掘れる fact16: もしも「とあるものは挫折であるけどそれは兼用するということはない」ということは間違いであるとするとそれは兼用する fact17: 洒落臭くない物は挫折であるしさらにしぶく fact18: 仮にその本訳書がしぶくとしたらこの膳部は洒落臭い fact19: もし仮にその本訳書が満喫するかあるいはそれが揺れないとするとそのファイブはしぶかない fact20: その本訳書は兼用する fact21: もし「「兼用する」ということは間違いでない」物はあるとしたら「その関係強化は挫折だが兼用するということはない」ということは誤りである fact22: もし仮に「この膳部は満喫する」ということは確かであるなら「その循環血漿流量は揺れる」ということは真実だ
void -> assump1: 以下のように仮定する。そのファイブは挫折である; fact14 & assump1 -> int1: そのファイブは兼用しない一方で掘れる; int1 & fact3 -> int2: その本訳書はしぶく; int2 & fact18 -> int3: この膳部は洒落臭い; int3 & fact4 -> int4: この膳部は満喫する; int4 & fact22 -> int5: その循環血漿流量は揺れる; int5 & fact12 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
そのファイブは挫折だ
fact24 -> int7: もしもそのファイブが洒落臭くないならば挫折でそれにしぶく; fact23 -> int8: 「「その本訳書は満喫する一方で揺れるということはない」ということは事実である」ということは間違いだ;
$facts$ = fact1: もしそのファイブは挫折であるとしたら掘れる fact2: その本訳書は挫折だ fact3: 仮にそのファイブが兼用しないけれど掘れるならばあの本訳書はしぶく fact4: 仮に「この膳部は洒落臭い」ということは正しいとすると満喫する fact5: 満喫するけれど揺れないという物はない fact6: その食事内容は揺れない fact7: もし「なんらかのものは兼用しないがしかし洒落臭い」ということは偽であるならばそれは兼用する fact8: 仮になんらかのものはしぶかないなら「兼用しなくて加えて洒落臭い」ということは誤っている fact9: あの船首は挫折でない fact10: もしもその本訳書が飲み難くないならばそれは揺れないしそれは移行し易いということはない fact11: そのファイブは掘れる fact12: その循環血漿流量は揺れない fact13: そのファイブは吸収され易い fact14: もし「そのファイブは挫折だ」ということは真実だとしたら兼用しない一方で掘れる fact15: その循環血漿流量は掘れる fact16: もしも「とあるものは挫折であるけどそれは兼用するということはない」ということは間違いであるとするとそれは兼用する fact17: 洒落臭くない物は挫折であるしさらにしぶく fact18: 仮にその本訳書がしぶくとしたらこの膳部は洒落臭い fact19: もし仮にその本訳書が満喫するかあるいはそれが揺れないとするとそのファイブはしぶかない fact20: その本訳書は兼用する fact21: もし「「兼用する」ということは間違いでない」物はあるとしたら「その関係強化は挫折だが兼用するということはない」ということは誤りである fact22: もし仮に「この膳部は満喫する」ということは確かであるなら「その循環血漿流量は揺れる」ということは真実だ ; $hypothesis$ = そのファイブは挫折だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのファイブは挫折である; fact14 & assump1 -> int1: そのファイブは兼用しない一方で掘れる; int1 & fact3 -> int2: その本訳書はしぶく; int2 & fact18 -> int3: この膳部は洒落臭い; int3 & fact4 -> int4: この膳部は満喫する; int4 & fact22 -> int5: その循環血漿流量は揺れる; int5 & fact12 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしそのファイブは挫折であるとしたら掘れる
事実2: その本訳書は挫折だ
事実3: 仮にそのファイブが兼用しないけれど掘れるならばあの本訳書はしぶく
事実4: 仮に「この膳部は洒落臭い」ということは正しいとすると満喫する
事実5: 満喫するけれど揺れないという物はない
事実6: その食事内容は揺れない
事実7: もし「なんらかのものは兼用しないがしかし洒落臭い」ということは偽であるならばそれは兼用する
事実8: 仮になんらかのものはしぶかないなら「兼用しなくて加えて洒落臭い」ということは誤っている
事実9: あの船首は挫折でない
事実10: もしもその本訳書が飲み難くないならばそれは揺れないしそれは移行し易いということはない
事実11: そのファイブは掘れる
事実12: その循環血漿流量は揺れない
事実13: そのファイブは吸収され易い
事実14: もし「そのファイブは挫折だ」ということは真実だとしたら兼用しない一方で掘れる
事実15: その循環血漿流量は掘れる
事実16: もしも「とあるものは挫折であるけどそれは兼用するということはない」ということは間違いであるとするとそれは兼用する
事実17: 洒落臭くない物は挫折であるしさらにしぶく
事実18: 仮にその本訳書がしぶくとしたらこの膳部は洒落臭い
事実19: もし仮にその本訳書が満喫するかあるいはそれが揺れないとするとそのファイブはしぶかない
事実20: その本訳書は兼用する
事実21: もし「「兼用する」ということは間違いでない」物はあるとしたら「その関係強化は挫折だが兼用するということはない」ということは誤りである
事実22: もし仮に「この膳部は満喫する」ということは確かであるなら「その循環血漿流量は揺れる」ということは真実だ

仮説: そのファイブは挫折だ
1. 仮定1: 以下のように仮定する。そのファイブは挫折である
2. 事実14と仮定1から、推論1: "そのファイブは兼用しない一方で掘れる"が導かれる
3. 推論1と事実3から、推論2: "その本訳書はしぶく"が導かれる
4. 推論2と事実18から、推論3: "この膳部は洒落臭い"が導かれる
5. 推論3と事実4から、推論4: "この膳部は満喫する"が導かれる
6. 推論4と事実22から、推論5: "その循環血漿流量は揺れる"が導かれる
7. 推論5と事実12から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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