このマイルが御休み為さらないしさらに一般化しない
fact1: 重しない物は早期発見するかもしくは住み難いかもしくは両方だ fact2: 仮に何かは直視するということはないとすると付着であるしそれにそれは立ち始める fact3: もしもその御殿が平べったいとすればあのマイルは御休み為さらないししかも一般化しない fact4: 仮に何かは早期発見するとすれば豚達だ fact5: このマイルは平べったくない fact6: もしもあるものは豚達であるならそれは疑わしい fact7: もし仮にあの安全対策が植民地化するとすればその御殿は平べったい fact8: もし仮にその五文字が直視しないかまたは疑わしいかもしくはどちらもであるとしたらそのアソシアシオンは直視しない fact9: もし仮にこの論壇が早期発見するならその五文字は早期発見する fact10: 仮にこの論壇はあぐねるが貧しくないとすれば重しない fact11: もしもこの論壇が建設するとしたらそれはあぐねるしまた貧しくない fact12: この論壇は建設する fact13: もしもそのアソシアシオンが付着だとしたらあの安全対策は植民地化する fact14: 仮にこのマイルは平べったくないならば「それは御休み為さるということはないしかつそれは一般化しない」ということは嘘である
fact14 & fact5 -> hypothesis;
fact14 & fact5 -> hypothesis;
このマイルは御休み為さらないしそれは一般化しない
fact20 -> int1: もしそのアソシアシオンが直視しないとすれば付着だし加えて立ち始める; fact15 -> int2: もしもその五文字が豚達だとするとそれは疑わしい; fact21 -> int3: もし仮に「その五文字は早期発見する」ということは真実であるとすれば豚達だ; fact26 -> int4: 仮にこの論壇が重しないなら早期発見するかあるいはそれは住み難い; fact22 & fact19 -> int5: この論壇はあぐねるがそれは貧しいということはない; fact18 & int5 -> int6: この論壇は重しない; int4 & int6 -> int7: この論壇は早期発見するかまたは住み難い;
$facts$ = fact1: 重しない物は早期発見するかもしくは住み難いかもしくは両方だ fact2: 仮に何かは直視するということはないとすると付着であるしそれにそれは立ち始める fact3: もしもその御殿が平べったいとすればあのマイルは御休み為さらないししかも一般化しない fact4: 仮に何かは早期発見するとすれば豚達だ fact5: このマイルは平べったくない fact6: もしもあるものは豚達であるならそれは疑わしい fact7: もし仮にあの安全対策が植民地化するとすればその御殿は平べったい fact8: もし仮にその五文字が直視しないかまたは疑わしいかもしくはどちらもであるとしたらそのアソシアシオンは直視しない fact9: もし仮にこの論壇が早期発見するならその五文字は早期発見する fact10: 仮にこの論壇はあぐねるが貧しくないとすれば重しない fact11: もしもこの論壇が建設するとしたらそれはあぐねるしまた貧しくない fact12: この論壇は建設する fact13: もしもそのアソシアシオンが付着だとしたらあの安全対策は植民地化する fact14: 仮にこのマイルは平べったくないならば「それは御休み為さるということはないしかつそれは一般化しない」ということは嘘である ; $hypothesis$ = このマイルが御休み為さらないしさらに一般化しない ; $proof$ = 
fact14 & fact5 -> hypothesis; __DISPROVED__
事実1: 重しない物は早期発見するかもしくは住み難いかもしくは両方だ
事実2: 仮に何かは直視するということはないとすると付着であるしそれにそれは立ち始める
事実3: もしもその御殿が平べったいとすればあのマイルは御休み為さらないししかも一般化しない
事実4: 仮に何かは早期発見するとすれば豚達だ
事実5: このマイルは平べったくない
事実6: もしもあるものは豚達であるならそれは疑わしい
事実7: もし仮にあの安全対策が植民地化するとすればその御殿は平べったい
事実8: もし仮にその五文字が直視しないかまたは疑わしいかもしくはどちらもであるとしたらそのアソシアシオンは直視しない
事実9: もし仮にこの論壇が早期発見するならその五文字は早期発見する
事実10: 仮にこの論壇はあぐねるが貧しくないとすれば重しない
事実11: もしもこの論壇が建設するとしたらそれはあぐねるしまた貧しくない
事実12: この論壇は建設する
事実13: もしもそのアソシアシオンが付着だとしたらあの安全対策は植民地化する
事実14: 仮にこのマイルは平べったくないならば「それは御休み為さるということはないしかつそれは一般化しない」ということは嘘である

仮説: このマイルが御休み為さらないしさらに一般化しない
1. 事実14と事実5から、仮説が否定される

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