「「この水中糸は失せるしそれはポイントする」ということは誤っている」ということは確かだ
fact1: 仮にこの水中糸は衣装店でないならポイントする fact2: もし仮になにがしかの物は背景でないならば衣装店であるけどちっこくない fact3: この水中糸は十五年戦争であるしさらに悟らす fact4: 仮にこの水中糸が座椅子でないなら厄払いであるししかも金剛杵だ fact5: もしとある物が旧海物語であるということはないとしたら尖み付けるしそれは分町運動である fact6: あのならず者は失せらない fact7: この水中糸はポイントする fact8: この切り札は融資出来るしおまけに払い切れる fact9: もしなにかは衣装店でないとすればそれは失せるしそれはポイントする fact10: この水中糸は河岸蔵でない fact11: もし仮にこの水中糸が成り易くないとすればそれは四月下旬でしかもそれは戦略的目標だ fact12: なんらかの物は衣装店でないならばそれはポイントする fact13: もし仮にこの実用新案法は憲章草案であるということはないとしたら衣装店だしサーチである fact14: もしもこの水中糸が融資出来ないとすると検収だしおまけに衣装店である fact15: あの塗布は衣装店でない fact16: この水中糸は衣装店でない fact17: 仮にこの水中糸が衣装店でないとすればそれは連座するしまた遅し
fact9 -> int1: もしこの水中糸が衣装店でないとしたら失せるしまたそれはポイントする; int1 & fact16 -> hypothesis;
fact9 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact16 -> hypothesis;
「この水中糸は失せるしまたポイントする」ということは真実でない
fact18 -> int2: もしも「その名神は背景でない」ということは本当であるならそれが衣装店だしちっこくない;
$facts$ = fact1: 仮にこの水中糸は衣装店でないならポイントする fact2: もし仮になにがしかの物は背景でないならば衣装店であるけどちっこくない fact3: この水中糸は十五年戦争であるしさらに悟らす fact4: 仮にこの水中糸が座椅子でないなら厄払いであるししかも金剛杵だ fact5: もしとある物が旧海物語であるということはないとしたら尖み付けるしそれは分町運動である fact6: あのならず者は失せらない fact7: この水中糸はポイントする fact8: この切り札は融資出来るしおまけに払い切れる fact9: もしなにかは衣装店でないとすればそれは失せるしそれはポイントする fact10: この水中糸は河岸蔵でない fact11: もし仮にこの水中糸が成り易くないとすればそれは四月下旬でしかもそれは戦略的目標だ fact12: なんらかの物は衣装店でないならばそれはポイントする fact13: もし仮にこの実用新案法は憲章草案であるということはないとしたら衣装店だしサーチである fact14: もしもこの水中糸が融資出来ないとすると検収だしおまけに衣装店である fact15: あの塗布は衣装店でない fact16: この水中糸は衣装店でない fact17: 仮にこの水中糸が衣装店でないとすればそれは連座するしまた遅し ; $hypothesis$ = 「「この水中糸は失せるしそれはポイントする」ということは誤っている」ということは確かだ ; $proof$ = 
fact9 -> int1: もしこの水中糸が衣装店でないとしたら失せるしまたそれはポイントする; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: 仮にこの水中糸は衣装店でないならポイントする
事実2: もし仮になにがしかの物は背景でないならば衣装店であるけどちっこくない
事実3: この水中糸は十五年戦争であるしさらに悟らす
事実4: 仮にこの水中糸が座椅子でないなら厄払いであるししかも金剛杵だ
事実5: もしとある物が旧海物語であるということはないとしたら尖み付けるしそれは分町運動である
事実6: あのならず者は失せらない
事実7: この水中糸はポイントする
事実8: この切り札は融資出来るしおまけに払い切れる
事実9: もしなにかは衣装店でないとすればそれは失せるしそれはポイントする
事実10: この水中糸は河岸蔵でない
事実11: もし仮にこの水中糸が成り易くないとすればそれは四月下旬でしかもそれは戦略的目標だ
事実12: なんらかの物は衣装店でないならばそれはポイントする
事実13: もし仮にこの実用新案法は憲章草案であるということはないとしたら衣装店だしサーチである
事実14: もしもこの水中糸が融資出来ないとすると検収だしおまけに衣装店である
事実15: あの塗布は衣装店でない
事実16: この水中糸は衣装店でない
事実17: 仮にこの水中糸が衣装店でないとすればそれは連座するしまた遅し

仮説: 「「この水中糸は失せるしそれはポイントする」ということは誤っている」ということは確かだ
1. 事実9から、推論1: "もしこの水中糸が衣装店でないとしたら失せるしまたそれはポイントする"が導かれる
2. 推論1と事実16から、仮説が否定される

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