この密輸業者はカプセル化するということはない
fact1: ある物は課税標準でないなら「それは人身であるしまたそれはぼってりする」ということは事実と異なる fact2: 「その男女交互は決め兼ねるがしかし焼き払うということはない」ということは誤っているならばあの輪転機は焼き払わない fact3: 「その声聞師達は惜しい」ということは確かだとすればこの生活指導は身構えるということはない一方で実行例だ fact4: その声聞師達は惜しい fact5: 「「このインバーターはオペレーティングだけれど観光客らしいということはない」ということは真実だ」ということは成り立たないとするとあの任意様式は作品化するということはない fact6: あのオフセット座標はぼってりしない fact7: その児童文学作品はカプセル化しない fact8: このタイムＳはカプセル化しない fact9: もし仮になにがしかの物は焼き払わないとすると「判別し易いがしかし重々しかない」ということは嘘である fact10: この密輸業者は出品者でない fact11: もしもこの同部位が起こし難いならばこの密輸業者は課税標準であるということはない fact12: もしも「この密輸業者は社会教育事業であるかあるいはそれはビジネスプランでない」ということは成り立たないとしたらそれは売り込める fact13: 仮に「「何かは丸っこいかあるいは相次ぐということはない」ということは成り立つ」ということは間違いであるとすれば「それはカプセル化する」ということは本当である fact14: もし仮にこの密輸業者はぼってりしないなら「それは丸っこくない」ということは正しい fact15: この密輸業者はぼってりしない fact16: 「あのインターネットエクスプローラーは取り組み始めるかあるいはぼってりしないか両方ともだ」ということは成り立たない fact17: もしこの密輸業者はぼってりしないとすると「それが丸っこいかあるいは相次はない」ということは偽である fact18: もしも「あの輪転機は判別し易い一方でそれは重々しかない」ということは成り立たないとすればこの同部位は起こし難い fact19: もしもとある物は実行例でないなら「それはオペレーティングであるが観光客らしくない」ということは嘘だ fact20: この生活指導が身構えないけれどそれが実行例だとしたらこのインバーターは実行例であるということはない fact21: この同部位がぼってりするしそれはカプセル化するとしたら「この密輸業者はカプセル化しない」ということは真実である fact22: この密輸業者は丸っこくない
fact13 -> int1: もし「この密輸業者は丸っこいか相次ぐということはないかあるいはどちらもである」ということは誤りだとするとカプセル化する; fact17 & fact15 -> int2: 「この密輸業者が丸っこいかあるいはそれが相次はないかあるいは両方だ」ということは間違っている; int1 & int2 -> hypothesis;
fact13 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact17 & fact15 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
この密輸業者はカプセル化しない
$facts$ = fact1: ある物は課税標準でないなら「それは人身であるしまたそれはぼってりする」ということは事実と異なる fact2: 「その男女交互は決め兼ねるがしかし焼き払うということはない」ということは誤っているならばあの輪転機は焼き払わない fact3: 「その声聞師達は惜しい」ということは確かだとすればこの生活指導は身構えるということはない一方で実行例だ fact4: その声聞師達は惜しい fact5: 「「このインバーターはオペレーティングだけれど観光客らしいということはない」ということは真実だ」ということは成り立たないとするとあの任意様式は作品化するということはない fact6: あのオフセット座標はぼってりしない fact7: その児童文学作品はカプセル化しない fact8: このタイムＳはカプセル化しない fact9: もし仮になにがしかの物は焼き払わないとすると「判別し易いがしかし重々しかない」ということは嘘である fact10: この密輸業者は出品者でない fact11: もしもこの同部位が起こし難いならばこの密輸業者は課税標準であるということはない fact12: もしも「この密輸業者は社会教育事業であるかあるいはそれはビジネスプランでない」ということは成り立たないとしたらそれは売り込める fact13: 仮に「「何かは丸っこいかあるいは相次ぐということはない」ということは成り立つ」ということは間違いであるとすれば「それはカプセル化する」ということは本当である fact14: もし仮にこの密輸業者はぼってりしないなら「それは丸っこくない」ということは正しい fact15: この密輸業者はぼってりしない fact16: 「あのインターネットエクスプローラーは取り組み始めるかあるいはぼってりしないか両方ともだ」ということは成り立たない fact17: もしこの密輸業者はぼってりしないとすると「それが丸っこいかあるいは相次はない」ということは偽である fact18: もしも「あの輪転機は判別し易い一方でそれは重々しかない」ということは成り立たないとすればこの同部位は起こし難い fact19: もしもとある物は実行例でないなら「それはオペレーティングであるが観光客らしくない」ということは嘘だ fact20: この生活指導が身構えないけれどそれが実行例だとしたらこのインバーターは実行例であるということはない fact21: この同部位がぼってりするしそれはカプセル化するとしたら「この密輸業者はカプセル化しない」ということは真実である fact22: この密輸業者は丸っこくない ; $hypothesis$ = この密輸業者はカプセル化するということはない ; $proof$ = 
fact13 -> int1: もし「この密輸業者は丸っこいか相次ぐということはないかあるいはどちらもである」ということは誤りだとするとカプセル化する; fact17 & fact15 -> int2: 「この密輸業者が丸っこいかあるいはそれが相次はないかあるいは両方だ」ということは間違っている; int1 & int2 -> hypothesis; __DISPROVED__
事実1: ある物は課税標準でないなら「それは人身であるしまたそれはぼってりする」ということは事実と異なる
事実2: 「その男女交互は決め兼ねるがしかし焼き払うということはない」ということは誤っているならばあの輪転機は焼き払わない
事実3: 「その声聞師達は惜しい」ということは確かだとすればこの生活指導は身構えるということはない一方で実行例だ
事実4: その声聞師達は惜しい
事実5: 「「このインバーターはオペレーティングだけれど観光客らしいということはない」ということは真実だ」ということは成り立たないとするとあの任意様式は作品化するということはない
事実6: あのオフセット座標はぼってりしない
事実7: その児童文学作品はカプセル化しない
事実8: このタイムＳはカプセル化しない
事実9: もし仮になにがしかの物は焼き払わないとすると「判別し易いがしかし重々しかない」ということは嘘である
事実10: この密輸業者は出品者でない
事実11: もしもこの同部位が起こし難いならばこの密輸業者は課税標準であるということはない
事実12: もしも「この密輸業者は社会教育事業であるかあるいはそれはビジネスプランでない」ということは成り立たないとしたらそれは売り込める
事実13: 仮に「「何かは丸っこいかあるいは相次ぐということはない」ということは成り立つ」ということは間違いであるとすれば「それはカプセル化する」ということは本当である
事実14: もし仮にこの密輸業者はぼってりしないなら「それは丸っこくない」ということは正しい
事実15: この密輸業者はぼってりしない
事実16: 「あのインターネットエクスプローラーは取り組み始めるかあるいはぼってりしないか両方ともだ」ということは成り立たない
事実17: もしこの密輸業者はぼってりしないとすると「それが丸っこいかあるいは相次はない」ということは偽である
事実18: もしも「あの輪転機は判別し易い一方でそれは重々しかない」ということは成り立たないとすればこの同部位は起こし難い
事実19: もしもとある物は実行例でないなら「それはオペレーティングであるが観光客らしくない」ということは嘘だ
事実20: この生活指導が身構えないけれどそれが実行例だとしたらこのインバーターは実行例であるということはない
事実21: この同部位がぼってりするしそれはカプセル化するとしたら「この密輸業者はカプセル化しない」ということは真実である
事実22: この密輸業者は丸っこくない

仮説: この密輸業者はカプセル化するということはない
1. 事実13から、推論1: "もし「この密輸業者は丸っこいか相次ぐということはないかあるいはどちらもである」ということは誤りだとするとカプセル化する"が導かれる
2. 事実17と事実15から、推論2: "「この密輸業者が丸っこいかあるいはそれが相次はないかあるいは両方だ」ということは間違っている"が導かれる
3. 推論1と推論2から、仮説が否定される

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