あの板張り道は灯し難いがロジステックスでない
fact1: 仮に「この排他的証明力は変わり始めない」ということは本当であるとしたらこの積極財産は窮迫するし軽鴨親子である fact2: もしもこのフーが真偽屋だということはないとすればあの排他的証明力は変わり始めないかまたはそれはＲＯＳＩであるか両方だ fact3: もし仮にこの積極財産は圧勝しないとしたら「この排他的証明力はロジステックスである」ということは確かだ fact4: 仮になにがしかの物がめげるなら灯し難くてかつそれはロジステックスでない fact5: 仮に何らかの物は軽鴨親子であるなら「飛行艇でなくて債務者Ａでない」ということは成り立たない fact6: 仮にあのスロットリターンが当主であるけど真偽屋でないとしたらこのフーは真偽屋でない fact7: この排他的証明力はロジステックスであるとしたら「あの板張り道は灯し難いし加えてロジステックスである」ということは成り立たない fact8: 仮にこの積極財産はめげないとすると「天狗らしいということはないが圧勝する」ということは間違いである fact9: 仮にとある物は宜しいとすると「あのスロットリターンは当主であるけれど真偽屋でない」ということは成り立つ fact10: その利用者自らはめげない fact11: この排他的証明力は灯し難くないとしたら「ロジステックスであるということはないけど圧勝する」ということは成り立たない fact12: 仮に「この積極財産は天狗らしくないけれど圧勝する」ということは成り立たないとしたら「この排他的証明力はロジステックスだ」ということは成り立つ fact13: この積極財産はめげない fact14: もしなにがしかの物が変わり始めないかもしくはＲＯＳＩであるかあるいは両方ともであるなら変わり始めない fact15: 仮にこの排他的証明力はロジステックスなら「あの板張り道は灯し難い一方でロジステックスでない」ということは嘘である fact16: 「「その共存共栄は心安いけれどそれはめげない」ということは嘘だ」ということは正しい fact17: 「宜しい」ものはある fact18: 「あの板張り道は灯し難くてかつそれはロジステックスだ」ということは成り立たない
fact8 & fact13 -> int1: 「この積極財産は天狗らしくないが圧勝する」ということは間違いである; int1 & fact12 -> int2: この排他的証明力はロジステックスである; int2 & fact15 -> hypothesis;
fact8 & fact13 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact12 -> int2: {B}{b}; int2 & fact15 -> hypothesis;
あの板張り道は灯し難いがロジステックスでない
fact22 -> int3: 仮にあの板張り道がめげるとすれば灯し難いししかもロジステックスでない; fact24 -> int4: もしこの積極財産は軽鴨親子なら「飛行艇であるということはないし加えて債務者Ａでない」ということは成り立たない; fact19 -> int5: もしもこの排他的証明力は変わり始めないかＲＯＳＩであるかまたは両方ともであるならそれは変わり始めない; fact25 & fact20 -> int6: あのスロットリターンは当主であるけど真偽屋でない; fact26 & int6 -> int7: このフーは真偽屋でない; fact21 & int7 -> int8: この排他的証明力は変わり始めないかあるいはＲＯＳＩである; int5 & int8 -> int9: この排他的証明力は変わり始めない; fact23 & int9 -> int10: この積極財産は窮迫するししかもそれは軽鴨親子だ; int10 -> int11: 「この積極財産は軽鴨親子である」ということは成り立つ; int4 & int11 -> int12: 「この積極財産は飛行艇でなくてその上債務者ａでない」ということは誤りである; int12 -> int13: 「「飛行艇でないしおまけに債務者Ａでない」ということは誤っている」ものはある;
$facts$ = fact1: 仮に「この排他的証明力は変わり始めない」ということは本当であるとしたらこの積極財産は窮迫するし軽鴨親子である fact2: もしもこのフーが真偽屋だということはないとすればあの排他的証明力は変わり始めないかまたはそれはＲＯＳＩであるか両方だ fact3: もし仮にこの積極財産は圧勝しないとしたら「この排他的証明力はロジステックスである」ということは確かだ fact4: 仮になにがしかの物がめげるなら灯し難くてかつそれはロジステックスでない fact5: 仮に何らかの物は軽鴨親子であるなら「飛行艇でなくて債務者Ａでない」ということは成り立たない fact6: 仮にあのスロットリターンが当主であるけど真偽屋でないとしたらこのフーは真偽屋でない fact7: この排他的証明力はロジステックスであるとしたら「あの板張り道は灯し難いし加えてロジステックスである」ということは成り立たない fact8: 仮にこの積極財産はめげないとすると「天狗らしいということはないが圧勝する」ということは間違いである fact9: 仮にとある物は宜しいとすると「あのスロットリターンは当主であるけれど真偽屋でない」ということは成り立つ fact10: その利用者自らはめげない fact11: この排他的証明力は灯し難くないとしたら「ロジステックスであるということはないけど圧勝する」ということは成り立たない fact12: 仮に「この積極財産は天狗らしくないけれど圧勝する」ということは成り立たないとしたら「この排他的証明力はロジステックスだ」ということは成り立つ fact13: この積極財産はめげない fact14: もしなにがしかの物が変わり始めないかもしくはＲＯＳＩであるかあるいは両方ともであるなら変わり始めない fact15: 仮にこの排他的証明力はロジステックスなら「あの板張り道は灯し難い一方でロジステックスでない」ということは嘘である fact16: 「「その共存共栄は心安いけれどそれはめげない」ということは嘘だ」ということは正しい fact17: 「宜しい」ものはある fact18: 「あの板張り道は灯し難くてかつそれはロジステックスだ」ということは成り立たない ; $hypothesis$ = あの板張り道は灯し難いがロジステックスでない ; $proof$ = 
fact8 & fact13 -> int1: 「この積極財産は天狗らしくないが圧勝する」ということは間違いである; int1 & fact12 -> int2: この排他的証明力はロジステックスである; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: 仮に「この排他的証明力は変わり始めない」ということは本当であるとしたらこの積極財産は窮迫するし軽鴨親子である
事実2: もしもこのフーが真偽屋だということはないとすればあの排他的証明力は変わり始めないかまたはそれはＲＯＳＩであるか両方だ
事実3: もし仮にこの積極財産は圧勝しないとしたら「この排他的証明力はロジステックスである」ということは確かだ
事実4: 仮になにがしかの物がめげるなら灯し難くてかつそれはロジステックスでない
事実5: 仮に何らかの物は軽鴨親子であるなら「飛行艇でなくて債務者Ａでない」ということは成り立たない
事実6: 仮にあのスロットリターンが当主であるけど真偽屋でないとしたらこのフーは真偽屋でない
事実7: この排他的証明力はロジステックスであるとしたら「あの板張り道は灯し難いし加えてロジステックスである」ということは成り立たない
事実8: 仮にこの積極財産はめげないとすると「天狗らしいということはないが圧勝する」ということは間違いである
事実9: 仮にとある物は宜しいとすると「あのスロットリターンは当主であるけれど真偽屋でない」ということは成り立つ
事実10: その利用者自らはめげない
事実11: この排他的証明力は灯し難くないとしたら「ロジステックスであるということはないけど圧勝する」ということは成り立たない
事実12: 仮に「この積極財産は天狗らしくないけれど圧勝する」ということは成り立たないとしたら「この排他的証明力はロジステックスだ」ということは成り立つ
事実13: この積極財産はめげない
事実14: もしなにがしかの物が変わり始めないかもしくはＲＯＳＩであるかあるいは両方ともであるなら変わり始めない
事実15: 仮にこの排他的証明力はロジステックスなら「あの板張り道は灯し難い一方でロジステックスでない」ということは嘘である
事実16: 「「その共存共栄は心安いけれどそれはめげない」ということは嘘だ」ということは正しい
事実17: 「宜しい」ものはある
事実18: 「あの板張り道は灯し難くてかつそれはロジステックスだ」ということは成り立たない

仮説: あの板張り道は灯し難いがロジステックスでない
1. 事実8と事実13から、推論1: "「この積極財産は天狗らしくないが圧勝する」ということは間違いである"が導かれる
2. 推論1と事実12から、推論2: "この排他的証明力はロジステックスである"が導かれる
3. 推論2と事実15から、仮説が否定される

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