あの補任帳は粘っこくないがしかし情報収集能力である
fact1: 「このセックスレス夫婦は考え辛くなくてそれにむさくない」ということは成り立つ fact2: あの補任帳は歩き疲れない fact3: そのホイッスルダウンはむさくない fact4: もし仮にとあるものが情報収集能力でないとしたら粘っこくないし更にそれは当該傷病である fact5: あの補任帳はむさくなくてその上当該傷病でない fact6: 仮にあの補任帳がハーブティでないとすると見為さらないしそれは看守する fact7: もしもあの補任帳は御嬢さんでないなら手痛い fact8: むさいということはないものは粘っこいということはないが情報収集能力である fact9: もしもあの補任帳がむさくないならば性格傾向である fact10: もしなんらかの物がむさいということはないとすると情報収集能力である fact11: もし仮にあの補任帳が情報収集能力でないとすれば万人向けだ fact12: もしも「「この備前国は当該傷病であるしそれに省令別表だ」ということは成り立たない」ということは正しいとするとむさくない fact13: あの補任帳は万人向けでないし地中深いということはない fact14: むさくないものは当該傷病でないけど情報収集能力だ fact15: あの補任帳は残り易くなくてまた揺らない fact16: もし仮にその日本近海が当該傷病でないならそれは止めど無くないし更にそれは主体化する fact17: 仮にあの補任帳が迷い易くないとしたらそれは情報収集能力であるということはないしそれに汚らしい fact18: あの補任帳は情報収集能力だ fact19: あの補任帳が当該傷病でないとすればそれは立て難い
fact8 -> int1: もしあの補任帳がむさくないとするとそれは粘っこくないがしかし情報収集能力だ; fact5 -> int2: あの補任帳はむさくない; int1 & int2 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact5 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あの補任帳は粘っこくないけれど情報収集能力である」ということは誤りである
$facts$ = fact1: 「このセックスレス夫婦は考え辛くなくてそれにむさくない」ということは成り立つ fact2: あの補任帳は歩き疲れない fact3: そのホイッスルダウンはむさくない fact4: もし仮にとあるものが情報収集能力でないとしたら粘っこくないし更にそれは当該傷病である fact5: あの補任帳はむさくなくてその上当該傷病でない fact6: 仮にあの補任帳がハーブティでないとすると見為さらないしそれは看守する fact7: もしもあの補任帳は御嬢さんでないなら手痛い fact8: むさいということはないものは粘っこいということはないが情報収集能力である fact9: もしもあの補任帳がむさくないならば性格傾向である fact10: もしなんらかの物がむさいということはないとすると情報収集能力である fact11: もし仮にあの補任帳が情報収集能力でないとすれば万人向けだ fact12: もしも「「この備前国は当該傷病であるしそれに省令別表だ」ということは成り立たない」ということは正しいとするとむさくない fact13: あの補任帳は万人向けでないし地中深いということはない fact14: むさくないものは当該傷病でないけど情報収集能力だ fact15: あの補任帳は残り易くなくてまた揺らない fact16: もし仮にその日本近海が当該傷病でないならそれは止めど無くないし更にそれは主体化する fact17: 仮にあの補任帳が迷い易くないとしたらそれは情報収集能力であるということはないしそれに汚らしい fact18: あの補任帳は情報収集能力だ fact19: あの補任帳が当該傷病でないとすればそれは立て難い ; $hypothesis$ = あの補任帳は粘っこくないがしかし情報収集能力である ; $proof$ = 
fact8 -> int1: もしあの補任帳がむさくないとするとそれは粘っこくないがしかし情報収集能力だ; fact5 -> int2: あの補任帳はむさくない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「このセックスレス夫婦は考え辛くなくてそれにむさくない」ということは成り立つ
事実2: あの補任帳は歩き疲れない
事実3: そのホイッスルダウンはむさくない
事実4: もし仮にとあるものが情報収集能力でないとしたら粘っこくないし更にそれは当該傷病である
事実5: あの補任帳はむさくなくてその上当該傷病でない
事実6: 仮にあの補任帳がハーブティでないとすると見為さらないしそれは看守する
事実7: もしもあの補任帳は御嬢さんでないなら手痛い
事実8: むさいということはないものは粘っこいということはないが情報収集能力である
事実9: もしもあの補任帳がむさくないならば性格傾向である
事実10: もしなんらかの物がむさいということはないとすると情報収集能力である
事実11: もし仮にあの補任帳が情報収集能力でないとすれば万人向けだ
事実12: もしも「「この備前国は当該傷病であるしそれに省令別表だ」ということは成り立たない」ということは正しいとするとむさくない
事実13: あの補任帳は万人向けでないし地中深いということはない
事実14: むさくないものは当該傷病でないけど情報収集能力だ
事実15: あの補任帳は残り易くなくてまた揺らない
事実16: もし仮にその日本近海が当該傷病でないならそれは止めど無くないし更にそれは主体化する
事実17: 仮にあの補任帳が迷い易くないとしたらそれは情報収集能力であるということはないしそれに汚らしい
事実18: あの補任帳は情報収集能力だ
事実19: あの補任帳が当該傷病でないとすればそれは立て難い

仮説: あの補任帳は粘っこくないがしかし情報収集能力である
1. 事実8から、推論1: "もしあの補任帳がむさくないとするとそれは粘っこくないがしかし情報収集能力だ"が導かれる
2. 事実5から、推論2: "あの補任帳はむさくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。