その軍紀風紀はコートしない
fact1: 何らかの物は根付くということはないとしたら「それは変え難くてかつ超然主義である」ということは成り立たない fact2: この尊敬は合する fact3: その曲芸は超然主義である fact4: もし仮にその残雪が押し付けがましいとしたらその外側翼突筋は収まり切る fact5: その曲芸が超然主義ならばこの尊敬は合する fact6: 「その軍紀風紀は超然主義でコートする」ということは事実ならそれは合する fact7: もしこの尊敬が根付くとすればあの曲芸は合する fact8: 超然主義でかつ変え難くないものは根付く fact9: 仮に「この尊敬は合する」ということは成り立つならばあの曲芸は根付く fact10: その曲芸が合するとすればその軍紀風紀はコートする fact11: 仮にこの尊敬が超然主義であるし更に変え難いとすると合する fact12: もし仮にその曲芸は変え難いとしたら「この尊敬は合する」ということは事実である fact13: そのダム・河口堰等は化学プラントだ fact14: もしその外側翼突筋は合するしかつ収まり切るとしたら「その曲芸は根付くということはない」ということは嘘でない fact15: あの物心両面は合する fact16: どれもこれもは超然主義であるししかもそれは変え難いということはない fact17: 変え難いものが根付くとすればそれは合する fact18: もしもこの尊敬が合するしコートすれば根付く fact19: あらゆるものは古めかしくない fact20: 「もしそのダム・河口堰等が化学プラントであるとすればあの外側翼突筋は合する」ということは事実だ fact21: その曲芸はコートしない
fact16 -> int1: この尊敬は超然主義である一方で変え難くない; fact8 -> int2: 仮にこの尊敬が超然主義だけれどそれが変え難くないとしたらそれは根付く; int1 & int2 -> int3: この尊敬は根付く; int3 & fact7 -> int4: その曲芸は合する; int4 & fact10 -> hypothesis;
その軍紀風紀はコートしない
fact24 -> int5: もし仮に「その曲芸は根付かない」ということは成り立つとしたら「それは変え難くておまけにそれは超然主義だ」ということは成り立つということはない; fact26 & fact23 -> int6: その外側翼突筋は合する;
$facts$ = fact1: 何らかの物は根付くということはないとしたら「それは変え難くてかつ超然主義である」ということは成り立たない fact2: この尊敬は合する fact3: その曲芸は超然主義である fact4: もし仮にその残雪が押し付けがましいとしたらその外側翼突筋は収まり切る fact5: その曲芸が超然主義ならばこの尊敬は合する fact6: 「その軍紀風紀は超然主義でコートする」ということは事実ならそれは合する fact7: もしこの尊敬が根付くとすればあの曲芸は合する fact8: 超然主義でかつ変え難くないものは根付く fact9: 仮に「この尊敬は合する」ということは成り立つならばあの曲芸は根付く fact10: その曲芸が合するとすればその軍紀風紀はコートする fact11: 仮にこの尊敬が超然主義であるし更に変え難いとすると合する fact12: もし仮にその曲芸は変え難いとしたら「この尊敬は合する」ということは事実である fact13: そのダム・河口堰等は化学プラントだ fact14: もしその外側翼突筋は合するしかつ収まり切るとしたら「その曲芸は根付くということはない」ということは嘘でない fact15: あの物心両面は合する fact16: どれもこれもは超然主義であるししかもそれは変え難いということはない fact17: 変え難いものが根付くとすればそれは合する fact18: もしもこの尊敬が合するしコートすれば根付く fact19: あらゆるものは古めかしくない fact20: 「もしそのダム・河口堰等が化学プラントであるとすればあの外側翼突筋は合する」ということは事実だ fact21: その曲芸はコートしない ; $hypothesis$ = その軍紀風紀はコートしない ; $proof$ = 
fact16 -> int1: この尊敬は超然主義である一方で変え難くない; fact8 -> int2: 仮にこの尊敬が超然主義だけれどそれが変え難くないとしたらそれは根付く; int1 & int2 -> int3: この尊敬は根付く; int3 & fact7 -> int4: その曲芸は合する; int4 & fact10 -> hypothesis; __DISPROVED__
事実1: 何らかの物は根付くということはないとしたら「それは変え難くてかつ超然主義である」ということは成り立たない
事実2: この尊敬は合する
事実3: その曲芸は超然主義である
事実4: もし仮にその残雪が押し付けがましいとしたらその外側翼突筋は収まり切る
事実5: その曲芸が超然主義ならばこの尊敬は合する
事実6: 「その軍紀風紀は超然主義でコートする」ということは事実ならそれは合する
事実7: もしこの尊敬が根付くとすればあの曲芸は合する
事実8: 超然主義でかつ変え難くないものは根付く
事実9: 仮に「この尊敬は合する」ということは成り立つならばあの曲芸は根付く
事実10: その曲芸が合するとすればその軍紀風紀はコートする
事実11: 仮にこの尊敬が超然主義であるし更に変え難いとすると合する
事実12: もし仮にその曲芸は変え難いとしたら「この尊敬は合する」ということは事実である
事実13: そのダム・河口堰等は化学プラントだ
事実14: もしその外側翼突筋は合するしかつ収まり切るとしたら「その曲芸は根付くということはない」ということは嘘でない
事実15: あの物心両面は合する
事実16: どれもこれもは超然主義であるししかもそれは変え難いということはない
事実17: 変え難いものが根付くとすればそれは合する
事実18: もしもこの尊敬が合するしコートすれば根付く
事実19: あらゆるものは古めかしくない
事実20: 「もしそのダム・河口堰等が化学プラントであるとすればあの外側翼突筋は合する」ということは事実だ
事実21: その曲芸はコートしない

仮説: その軍紀風紀はコートしない
1. 事実16から、推論1: "この尊敬は超然主義である一方で変え難くない"が導かれる
2. 事実8から、推論2: "仮にこの尊敬が超然主義だけれどそれが変え難くないとしたらそれは根付く"が導かれる
3. 推論1と推論2から、推論3: "この尊敬は根付く"が導かれる
4. 推論3と事実7から、推論4: "その曲芸は合する"が導かれる
5. 推論4と事実10から、仮説が否定される

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