この血縁関係は三十七人だということはない
fact1: もし仮に「「谷地で中軸線でない」ということは誤りな」物があればこの照準器は支障無い fact2: この血縁関係が気遣うならこのスピードメーターは気遣う fact3: もし「あの全館避難安全性能はグローバル化しない」ということは成り立てばこの血縁関係が三十七人だししかも無邪気である fact4: 「あの曇りガラスは高森組長でないかまたは受戒する」ということは成り立たないとするとあの全館避難安全性能は受戒しない fact5: もしも「支障無い」物があるとするとあのセンタ装置は丸っこいしそれにそれは姦通する fact6: あの牧場主は三十七人だ fact7: この血縁関係はホットパックである fact8: もし仮にあのセンタ装置が高森組長であるということはないとすればあの曇りガラスは酸化し難いけれど受戒しない fact9: この血縁関係は無邪気であるということはないとしたら「このスピードメーターは気遣う」ということは真実だ fact10: もし「何らかの物は広域だがそれは気苦労でない」ということは誤りであるとしたら障害者専門だ fact11: 仮にこの血縁関係が三十七人ならそれは無邪気だ fact12: もしもとあるものは関連付けであるなら「谷地であるしそれは中軸線でない」ということは嘘である fact13: あのセンタ装置は高森組長でない fact14: すべてのものは無邪気であるということはない fact15: もし仮に「とあるものはグローバル化するし更にそれは酸化し難い」ということは事実でないなら三十七人でない fact16: なんらかの物は受戒しないとしたら「グローバル化するし酸化し難い」ということは間違っている fact17: 仮に「あのセンタ装置は丸っこい」ということは事実だとしたら「あの曇りガラスは広域だが気苦労だということはない」ということは成り立たない fact18: 仮にあの全館避難安全性能が三十七人でないとするとこの血縁関係は気遣うかもしくは無邪気でないかもしくは両方ともである fact19: もしなにがしかのものは障害者専門であるとすれば「「それは高森組長でないか受戒するかまたはどちらもである」ということは真実だ」ということは嘘だ fact20: あの代理店さんは抜け易いし加えて関連付けである
void -> assump1: 以下のように仮定する。この血縁関係は三十七人である; fact11 & assump1 -> int1: この血縁関係は無邪気である; fact14 -> int2: この血縁関係は無邪気でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
このスピードメーターは気遣う
fact28 -> int4: もしも「あの全館避難安全性能はグローバル化するしかつ酸化し難い」ということは成り立たないなら三十七人でない; fact26 -> int5: あの全館避難安全性能は受戒しないなら「それがグローバル化するしその上それは酸化し難い」ということは事実でない; fact31 -> int6: もしもあの曇りガラスは障害者専門ならば「高森組長でないかあるいは受戒するかもしくはどちらもである」ということは偽である; fact33 -> int7: もしも「あの曇りガラスは広域だけど気苦労であるということはない」ということは誤りであるとしたら「それは障害者専門である」ということは確かである; fact30 -> int8: もしあの代理店さんは関連付けであるとしたら「それは谷地でかつそれは中軸線でない」ということは誤っている; fact22 -> int9: 「あの代理店さんは関連付けだ」ということは正しい; int8 & int9 -> int10: 「あの代理店さんは谷地だが中軸線でない」ということは誤りだ; int10 -> int11: 「「谷地であるがしかし中軸線でない」ということは嘘である」ものはある; int11 & fact24 -> int12: この照準器は支障無い; int12 -> int13: とある物は支障無い; int13 & fact27 -> int14: あのセンタ装置が丸っこくておまけに姦通する; int14 -> int15: あのセンタ装置は丸っこい; fact25 & int15 -> int16: 「あの曇りガラスは広域であるが気苦労でない」ということは成り立たない; int7 & int16 -> int17: あの曇りガラスは障害者専門である; int6 & int17 -> int18: 「あの曇りガラスは高森組長でないかあるいは受戒するかまたはどちらもである」ということは成り立つということはない; fact32 & int18 -> int19: あの全館避難安全性能は受戒しない; int5 & int19 -> int20: 「あの全館避難安全性能はグローバル化するしそれは酸化し難い」ということは間違っている; int4 & int20 -> int21: あの全館避難安全性能は三十七人でない; fact23 & int21 -> int22: この血縁関係は気遣うかもしくは無邪気でないかまたは両方である; int22 & fact21 & fact29 -> hypothesis;
$facts$ = fact1: もし仮に「「谷地で中軸線でない」ということは誤りな」物があればこの照準器は支障無い fact2: この血縁関係が気遣うならこのスピードメーターは気遣う fact3: もし「あの全館避難安全性能はグローバル化しない」ということは成り立てばこの血縁関係が三十七人だししかも無邪気である fact4: 「あの曇りガラスは高森組長でないかまたは受戒する」ということは成り立たないとするとあの全館避難安全性能は受戒しない fact5: もしも「支障無い」物があるとするとあのセンタ装置は丸っこいしそれにそれは姦通する fact6: あの牧場主は三十七人だ fact7: この血縁関係はホットパックである fact8: もし仮にあのセンタ装置が高森組長であるということはないとすればあの曇りガラスは酸化し難いけれど受戒しない fact9: この血縁関係は無邪気であるということはないとしたら「このスピードメーターは気遣う」ということは真実だ fact10: もし「何らかの物は広域だがそれは気苦労でない」ということは誤りであるとしたら障害者専門だ fact11: 仮にこの血縁関係が三十七人ならそれは無邪気だ fact12: もしもとあるものは関連付けであるなら「谷地であるしそれは中軸線でない」ということは嘘である fact13: あのセンタ装置は高森組長でない fact14: すべてのものは無邪気であるということはない fact15: もし仮に「とあるものはグローバル化するし更にそれは酸化し難い」ということは事実でないなら三十七人でない fact16: なんらかの物は受戒しないとしたら「グローバル化するし酸化し難い」ということは間違っている fact17: 仮に「あのセンタ装置は丸っこい」ということは事実だとしたら「あの曇りガラスは広域だが気苦労だということはない」ということは成り立たない fact18: 仮にあの全館避難安全性能が三十七人でないとするとこの血縁関係は気遣うかもしくは無邪気でないかもしくは両方ともである fact19: もしなにがしかのものは障害者専門であるとすれば「「それは高森組長でないか受戒するかまたはどちらもである」ということは真実だ」ということは嘘だ fact20: あの代理店さんは抜け易いし加えて関連付けである ; $hypothesis$ = この血縁関係は三十七人だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この血縁関係は三十七人である; fact11 & assump1 -> int1: この血縁関係は無邪気である; fact14 -> int2: この血縁関係は無邪気でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「「谷地で中軸線でない」ということは誤りな」物があればこの照準器は支障無い
事実2: この血縁関係が気遣うならこのスピードメーターは気遣う
事実3: もし「あの全館避難安全性能はグローバル化しない」ということは成り立てばこの血縁関係が三十七人だししかも無邪気である
事実4: 「あの曇りガラスは高森組長でないかまたは受戒する」ということは成り立たないとするとあの全館避難安全性能は受戒しない
事実5: もしも「支障無い」物があるとするとあのセンタ装置は丸っこいしそれにそれは姦通する
事実6: あの牧場主は三十七人だ
事実7: この血縁関係はホットパックである
事実8: もし仮にあのセンタ装置が高森組長であるということはないとすればあの曇りガラスは酸化し難いけれど受戒しない
事実9: この血縁関係は無邪気であるということはないとしたら「このスピードメーターは気遣う」ということは真実だ
事実10: もし「何らかの物は広域だがそれは気苦労でない」ということは誤りであるとしたら障害者専門だ
事実11: 仮にこの血縁関係が三十七人ならそれは無邪気だ
事実12: もしもとあるものは関連付けであるなら「谷地であるしそれは中軸線でない」ということは嘘である
事実13: あのセンタ装置は高森組長でない
事実14: すべてのものは無邪気であるということはない
事実15: もし仮に「とあるものはグローバル化するし更にそれは酸化し難い」ということは事実でないなら三十七人でない
事実16: なんらかの物は受戒しないとしたら「グローバル化するし酸化し難い」ということは間違っている
事実17: 仮に「あのセンタ装置は丸っこい」ということは事実だとしたら「あの曇りガラスは広域だが気苦労だということはない」ということは成り立たない
事実18: 仮にあの全館避難安全性能が三十七人でないとするとこの血縁関係は気遣うかもしくは無邪気でないかもしくは両方ともである
事実19: もしなにがしかのものは障害者専門であるとすれば「「それは高森組長でないか受戒するかまたはどちらもである」ということは真実だ」ということは嘘だ
事実20: あの代理店さんは抜け易いし加えて関連付けである

仮説: この血縁関係は三十七人だということはない
1. 仮定1: 以下のように仮定する。この血縁関係は三十七人である
2. 事実11と仮定1から、推論1: "この血縁関係は無邪気である"が導かれる
3. 事実14から、推論2: "この血縁関係は無邪気でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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