「その安全性は受くないし自動検出しない」ということは嘘だ
fact1: その略奪者は新沢千塚であるしおまけにそれは他愛無い fact2: もしもその安全性が丸くないならば受くないしさらに自動検出しない fact3: その略奪者が新沢千塚ならばあの競業関係は新沢千塚である fact4: その安全性が丸くないとすればそれは受くない fact5: 構え易くないか丸いかもしくは両方なものは自動検出する fact6: もしもあの説文が末恐ろしいとすればあの有利性は重大化しなくてまたうら若いということはない fact7: 「あの三十日分は厳い」ということは確かならあの説文は末恐ろしい fact8: もしも新沢千塚はうら若いとしたら「それは狭苦しくない」ということは成り立つ fact9: 「その安全性は丸くない」ということは事実だ fact10: もしあの両校がうら若いならその競業関係はうら若い fact11: 仮になにがしかの物が崖伝いであるということはないなら日本人らしくないしベンチマークしない fact12: もし仮にこの二計画がバラワン・デパート・チェーンでないとしたらそれは末恐ろしくなくて丸くない fact13: 仮にその安全性が加わうないならばそれは自動検出しないし更にそれは長ーくない fact14: この有利性は重大化しなくて更にそれはうら若くないなら「あの両校はうら若い」ということは確かだ fact15: その安全性は受くない fact16: 「あの三十日分は厳い」ということは確かである fact17: 狭苦しくない物は構え易くないかまたは丸いかまたは両方ともだ
fact2 & fact9 -> hypothesis;
「その安全性は受くないししかも自動検出しない」ということは間違っている
fact25 -> int1: もし仮にその競業関係が構え易くないかまたはそれが丸いならそれは自動検出する; fact20 -> int2: もし仮にその競業関係が狭苦しいということはないとするとそれは構え易くないかもしくは丸いかまたは両方だ; fact27 -> int3: もしもその競業関係が新沢千塚であるしかつうら若いならそれは狭苦しくない; fact24 -> int4: その略奪者は新沢千塚である; fact26 & int4 -> int5: 「その競業関係は新沢千塚である」ということは真実だ; fact23 & fact21 -> int6: あの説文は末恐ろしい; fact18 & int6 -> int7: この有利性は重大化しなくてそれにうら若くない; fact19 & int7 -> int8: 「あの両校はうら若い」ということは確かである; fact22 & int8 -> int9: その競業関係はうら若い; int5 & int9 -> int10: その競業関係は新沢千塚であるしそれはうら若い; int3 & int10 -> int11: その競業関係は狭苦しいということはない; int2 & int11 -> int12: その競業関係は構え易くないかあるいはそれは丸い; int1 & int12 -> int13: その競業関係は自動検出する; int13 -> int14: 「自動検出する」ものはある;
$facts$ = fact1: その略奪者は新沢千塚であるしおまけにそれは他愛無い fact2: もしもその安全性が丸くないならば受くないしさらに自動検出しない fact3: その略奪者が新沢千塚ならばあの競業関係は新沢千塚である fact4: その安全性が丸くないとすればそれは受くない fact5: 構え易くないか丸いかもしくは両方なものは自動検出する fact6: もしもあの説文が末恐ろしいとすればあの有利性は重大化しなくてまたうら若いということはない fact7: 「あの三十日分は厳い」ということは確かならあの説文は末恐ろしい fact8: もしも新沢千塚はうら若いとしたら「それは狭苦しくない」ということは成り立つ fact9: 「その安全性は丸くない」ということは事実だ fact10: もしあの両校がうら若いならその競業関係はうら若い fact11: 仮になにがしかの物が崖伝いであるということはないなら日本人らしくないしベンチマークしない fact12: もし仮にこの二計画がバラワン・デパート・チェーンでないとしたらそれは末恐ろしくなくて丸くない fact13: 仮にその安全性が加わうないならばそれは自動検出しないし更にそれは長ーくない fact14: この有利性は重大化しなくて更にそれはうら若くないなら「あの両校はうら若い」ということは確かだ fact15: その安全性は受くない fact16: 「あの三十日分は厳い」ということは確かである fact17: 狭苦しくない物は構え易くないかまたは丸いかまたは両方ともだ ; $hypothesis$ = 「その安全性は受くないし自動検出しない」ということは嘘だ ; $proof$ = 
fact2 & fact9 -> hypothesis; __DISPROVED__
事実1: その略奪者は新沢千塚であるしおまけにそれは他愛無い
事実2: もしもその安全性が丸くないならば受くないしさらに自動検出しない
事実3: その略奪者が新沢千塚ならばあの競業関係は新沢千塚である
事実4: その安全性が丸くないとすればそれは受くない
事実5: 構え易くないか丸いかもしくは両方なものは自動検出する
事実6: もしもあの説文が末恐ろしいとすればあの有利性は重大化しなくてまたうら若いということはない
事実7: 「あの三十日分は厳い」ということは確かならあの説文は末恐ろしい
事実8: もしも新沢千塚はうら若いとしたら「それは狭苦しくない」ということは成り立つ
事実9: 「その安全性は丸くない」ということは事実だ
事実10: もしあの両校がうら若いならその競業関係はうら若い
事実11: 仮になにがしかの物が崖伝いであるということはないなら日本人らしくないしベンチマークしない
事実12: もし仮にこの二計画がバラワン・デパート・チェーンでないとしたらそれは末恐ろしくなくて丸くない
事実13: 仮にその安全性が加わうないならばそれは自動検出しないし更にそれは長ーくない
事実14: この有利性は重大化しなくて更にそれはうら若くないなら「あの両校はうら若い」ということは確かだ
事実15: その安全性は受くない
事実16: 「あの三十日分は厳い」ということは確かである
事実17: 狭苦しくない物は構え易くないかまたは丸いかまたは両方ともだ

仮説: 「その安全性は受くないし自動検出しない」ということは嘘だ
1. 事実2と事実9から、仮説が否定される

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