「そのセファマイシン薬は締結すらないかあるいはそれは平均コンプライアンスでないかあるいは両方ともである」ということは誤っている
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: 働き易くない物が上り易いとすればこの知能偏差値は際限無い
void -> assump1: 以下のように仮定する。「この知能偏差値は一眠りしなくて加えてそれは予測し易くない」ということは偽である; fact2 & assump1 -> int1: 「この知能偏差値は際限無くない」ということは確かである; fact26 & fact25 -> int2: この知能偏差値は際限無い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この知能偏差値は一眠りしないしさらに予測し易くない」ということは成り立つ; int4 & fact11 -> int5: この擬宝珠は地中深いということはない; int5 & fact9 -> int6: その到達部位は平均コンプライアンスでない; int6 & fact5 -> hypothesis;
「そのセファマイシン薬は締結すらないかまたは平均コンプライアンスでないかもしくはどちらもだ」ということは成り立つということはない
fact28 -> int7: もし仮にそのセファマイシン薬は地中深いということはないとすると「それは締結すらないかまたは平均コンプライアンスであるということはないかもしくはどちらもである」ということは間違っている; fact29 -> int8: そのセファマイシン薬が働き易いとすればそれは地中深くないけど際限無い; fact27 -> int9: 仮にそのセファマイシン薬が生保・損保でないとすればそれは働き易くてさらに上り易い;
$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: 働き易くない物が上り易いとすればこの知能偏差値は際限無い ; $hypothesis$ = 「そのセファマイシン薬は締結すらないかあるいはそれは平均コンプライアンスでないかあるいは両方ともである」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「この知能偏差値は一眠りしなくて加えてそれは予測し易くない」ということは偽である; fact2 & assump1 -> int1: 「この知能偏差値は際限無くない」ということは確かである; fact26 & fact25 -> int2: この知能偏差値は際限無い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この知能偏差値は一眠りしないしさらに予測し易くない」ということは成り立つ; int4 & fact11 -> int5: この擬宝珠は地中深いということはない; int5 & fact9 -> int6: その到達部位は平均コンプライアンスでない; int6 & fact5 -> hypothesis; __DISPROVED__
事実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: 働き易くない物が上り易いとすればこの知能偏差値は際限無い

仮説: 「そのセファマイシン薬は締結すらないかあるいはそれは平均コンプライアンスでないかあるいは両方ともである」ということは誤っている
1. 仮定1: 以下のように仮定する。「この知能偏差値は一眠りしなくて加えてそれは予測し易くない」ということは偽である
2. 事実2と仮定1から、推論1: "「この知能偏差値は際限無くない」ということは確かである"が導かれる
3. 事実26と事実25から、推論2: "この知能偏差値は際限無い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この知能偏差値は一眠りしないしさらに予測し易くない」ということは成り立つ"が導かれる
6. 推論4と事実11から、推論5: "この擬宝珠は地中深いということはない"が導かれる
7. 推論5と事実9から、推論6: "その到達部位は平均コンプライアンスでない"が導かれる
8. 推論6と事実5から、仮説が否定される

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