その個人名義は前屈みだ
fact1: 仮に「「複屈折するということはないし更に救い上げる」ということは誤りである」ものがあるとするとあの優良企業は複屈折する fact2: 「あるものは前屈みでないけどそれは成し難い」ということは本当でないとすると成し難くない fact3: もし仮に「何かは塗装面でないしまたそれは懇願しない」ということは嘘ならそれはし辛い fact4: もし何らかのものが信仰深くないならそれは無視する一方で事業代行者であるということはない fact5: そのバンドパスフィルタが引っこ抜かないしそれに素描でないとしたらそのずれ等は引っこ抜かない fact6: 仮に「し辛い」物はあれば「その個人名義は前屈みでない一方で成し難い」ということは正しいということはない fact7: 「あの御忘れ物は前屈みでない」ということは事実である fact8: とあるものがゴムボートだということはないとするとそれは優しくないしかつ抵抗値でない fact9: その個人名義は懇願するということはない fact10: 仮にあの脂肪肉腫は地でないとすれば「この具体像は複屈折しない一方でそれは救い上げる」ということは成り立たない fact11: あのタウ側が懇願しないとするとその個人名義はし辛いし前屈みである fact12: もし仮にそのずれ等が無視するけれど事業代行者でないとすればあの優良企業は悪くない fact13: もしその個人名義は前屈みであるとすれば「し辛い」ということは確かである fact14: そのバンドパスフィルタは引っこ抜かなくてそれは素描でない fact15: この御産椅子が優しくないとすればあの三錠は優しい fact16: あの脂肪肉腫は地でない fact17: もしもあの三錠は優しいなら「「あのタウ側は塗装面でないしおまけに懇願しない」ということは誤りだ」ということは本当である fact18: もしその個人名義がダイブショップならばそれは巡礼する fact19: もしもその個人名義が懇願しないとしたらそれはし辛くない fact20: 仮にあの優良企業が複屈折するけれど悪くないとするとこの御産椅子はゴムボートでない fact21: その個人名義は歌い踊らない fact22: あるものが引っこ抜かないとするとそれは信仰深くないし加えて付き合えない
void -> assump1: 以下のように仮定する。その個人名義は前屈みである; fact13 & assump1 -> int1: その個人名義はし辛い; fact19 & fact9 -> int2: その個人名義はし辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact13 & assump1 -> int1: {B}{a}; fact19 & fact9 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その個人名義は前屈みである
$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: 以下のように仮定する。その個人名義は前屈みである; fact13 & assump1 -> int1: その個人名義はし辛い; fact19 & fact9 -> int2: その個人名義はし辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 事実13と仮定1から、推論1: "その個人名義はし辛い"が導かれる
3. 事実19と事実9から、推論2: "その個人名義はし辛くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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