あの微細は労わないけれど迷信深い
fact1: もし仮にその防御機構は迷信深いとしたら「あの微細は労うということはないけれどそれは迷信深い」ということは嘘である fact2: その教法流布は納得し難いかあるいはそれは他言するかもしくは両方だ fact3: その防御機構が緩いとすれば迷信深い fact4: もしこの腰痛者は分厚くないとすれば「それは絶え難くないし狭苦しい」ということは成り立つということはない fact5: 仮にあるものは納得し難くないなら「「見苦しくなくてそれは全室バス・トイレ付きである」ということは成り立つ」ということは間違っている fact6: もしもとある物が他言しないとすればそれは納得し難いかもしくは緩いかもしくは両方である fact7: 「仮に「何らかの物は包囲線であるということはないしさらに連想し易くない」ということは間違っているとしたら講演する」ということは成り立つ fact8: もし仮にその教法流布が納得し難いとしたらその防御機構は緩い fact9: この腰痛者は分厚いということはない fact10: もし仮にその教法流布が納得し難いとしたらあの微細は労わない一方で迷信深い fact11: その教法流布が他言するとしたらこの締め方は納得し難いということはない fact12: もしも「「絶え難くないがしかし狭苦しい」ということは成り立たない」物があるならあの有効時間は絶え難い fact13: もしもその防御機構は迷信深いとすれば「あの微細は労うししかも迷信深い」ということは確かでない fact14: 仮にあの有効時間が講演するならその長髪は見苦しくないが混ぜ合わす fact15: あの微細は納得し難い fact16: なんらかの物は絶え難いとすると「包囲線でないし連想し易いということはない」ということは誤りだ fact17: 何らかのものが見苦しくないが混ぜ合わすとすればその防御機構は他言しない fact18: もしその教法流布は他言するなら「その防御機構は緩い」ということは本当だ fact19: 「あの微細は労うしおまけに迷信深い」ということは誤っている
fact2 & fact8 & fact18 -> int1: その防御機構は緩い; int1 & fact3 -> int2: その防御機構は迷信深い; int2 & fact1 -> hypothesis;
fact2 & fact8 & fact18 -> int1: {C}{c}; int1 & fact3 -> int2: {D}{c}; int2 & fact1 -> hypothesis;
「この締め方は見苦しくないけど全室バス・トイレ付きである」ということは確かでない
fact20 -> int3: 仮に「この締め方は納得し難いということはない」ということは真実であるとしたら「見苦しいということはないがしかし全室バス・トイレ付きである」ということは成り立たない;
$facts$ = fact1: もし仮にその防御機構は迷信深いとしたら「あの微細は労うということはないけれどそれは迷信深い」ということは嘘である fact2: その教法流布は納得し難いかあるいはそれは他言するかもしくは両方だ fact3: その防御機構が緩いとすれば迷信深い fact4: もしこの腰痛者は分厚くないとすれば「それは絶え難くないし狭苦しい」ということは成り立つということはない fact5: 仮にあるものは納得し難くないなら「「見苦しくなくてそれは全室バス・トイレ付きである」ということは成り立つ」ということは間違っている fact6: もしもとある物が他言しないとすればそれは納得し難いかもしくは緩いかもしくは両方である fact7: 「仮に「何らかの物は包囲線であるということはないしさらに連想し易くない」ということは間違っているとしたら講演する」ということは成り立つ fact8: もし仮にその教法流布が納得し難いとしたらその防御機構は緩い fact9: この腰痛者は分厚いということはない fact10: もし仮にその教法流布が納得し難いとしたらあの微細は労わない一方で迷信深い fact11: その教法流布が他言するとしたらこの締め方は納得し難いということはない fact12: もしも「「絶え難くないがしかし狭苦しい」ということは成り立たない」物があるならあの有効時間は絶え難い fact13: もしもその防御機構は迷信深いとすれば「あの微細は労うししかも迷信深い」ということは確かでない fact14: 仮にあの有効時間が講演するならその長髪は見苦しくないが混ぜ合わす fact15: あの微細は納得し難い fact16: なんらかの物は絶え難いとすると「包囲線でないし連想し易いということはない」ということは誤りだ fact17: 何らかのものが見苦しくないが混ぜ合わすとすればその防御機構は他言しない fact18: もしその教法流布は他言するなら「その防御機構は緩い」ということは本当だ fact19: 「あの微細は労うしおまけに迷信深い」ということは誤っている ; $hypothesis$ = あの微細は労わないけれど迷信深い ; $proof$ = 
fact2 & fact8 & fact18 -> int1: その防御機構は緩い; int1 & fact3 -> int2: その防御機構は迷信深い; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にその防御機構は迷信深いとしたら「あの微細は労うということはないけれどそれは迷信深い」ということは嘘である
事実2: その教法流布は納得し難いかあるいはそれは他言するかもしくは両方だ
事実3: その防御機構が緩いとすれば迷信深い
事実4: もしこの腰痛者は分厚くないとすれば「それは絶え難くないし狭苦しい」ということは成り立つということはない
事実5: 仮にあるものは納得し難くないなら「「見苦しくなくてそれは全室バス・トイレ付きである」ということは成り立つ」ということは間違っている
事実6: もしもとある物が他言しないとすればそれは納得し難いかもしくは緩いかもしくは両方である
事実7: 「仮に「何らかの物は包囲線であるということはないしさらに連想し易くない」ということは間違っているとしたら講演する」ということは成り立つ
事実8: もし仮にその教法流布が納得し難いとしたらその防御機構は緩い
事実9: この腰痛者は分厚いということはない
事実10: もし仮にその教法流布が納得し難いとしたらあの微細は労わない一方で迷信深い
事実11: その教法流布が他言するとしたらこの締め方は納得し難いということはない
事実12: もしも「「絶え難くないがしかし狭苦しい」ということは成り立たない」物があるならあの有効時間は絶え難い
事実13: もしもその防御機構は迷信深いとすれば「あの微細は労うししかも迷信深い」ということは確かでない
事実14: 仮にあの有効時間が講演するならその長髪は見苦しくないが混ぜ合わす
事実15: あの微細は納得し難い
事実16: なんらかの物は絶え難いとすると「包囲線でないし連想し易いということはない」ということは誤りだ
事実17: 何らかのものが見苦しくないが混ぜ合わすとすればその防御機構は他言しない
事実18: もしその教法流布は他言するなら「その防御機構は緩い」ということは本当だ
事実19: 「あの微細は労うしおまけに迷信深い」ということは誤っている

仮説: あの微細は労わないけれど迷信深い
1. 事実2と事実8と事実18から、推論1: "その防御機構は緩い"が導かれる
2. 推論1と事実3から、推論2: "その防御機構は迷信深い"が導かれる
3. 推論2と事実1から、仮説が否定される

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