そのＫｏｊｉｍａ等は消し去る
fact1: 「その打ち首はごわすない」ということは成り立つ fact2: 「「黒くないが奥床しい」ということは成り立たない」物はある fact3: もし仮に「その蝉ダブルは消し去る一方で苦々しかない」ということは成り立たないとするとそのＫｏｊｉｍａ等は消し去る fact4: もし何らかの物は倒立混合するけど解し難くないならば重苦しくない fact5: もしそのＫｏｊｉｍａ等は表面増強効果だということはない一方でごわすとすれば「貧する」ということは偽だということはない fact6: もし仮にあの真菌類が全否定するとすれば上場後でない fact7: 「「黒いということはないし加えて奥床しい」ということは間違いな」物があるとしたらこの亀裂は奥床しくない fact8: そのＫｏｊｉｍａ等は邪魔立てしない fact9: もしある物が貧するなら消し去らない fact10: もしある物が瞠目すとすればそれは重苦しくない fact11: そのデコリンは瞠目す fact12: そのＫｏｊｉｍａ等は表面増強効果でないがしかしそれはごわす fact13: そのＫｏｊｉｍａ等はごわす fact14: 重苦しくない物は貧するししかも瞠目す fact15: 奥床しいということはない物は倒立混合するがしかし解し難くない fact16: そのＫｏｊｉｍａ等は貧しないけれど発起するとすれば万難である fact17: もしもこの乳汁が貧するとしたらそれは迫り来ない fact18: この亀裂は貧するなら「その蝉ダブルは消し去らない一方で苦々しい」ということは間違っている
fact5 & fact12 -> int1: そのＫｏｊｉｍａ等は貧する; fact9 -> int2: もしそのＫｏｊｉｍａ等が貧するとすればそれは消し去らない; int1 & int2 -> hypothesis;
そのＫｏｊｉｍａ等は消し去る
fact19 -> int3: そのデコリンが瞠目すとすると重苦しくない; int3 & fact21 -> int4: そのデコリンは重苦しくない; int4 -> int5: 「重苦しくない」物はある;
$facts$ = fact1: 「その打ち首はごわすない」ということは成り立つ fact2: 「「黒くないが奥床しい」ということは成り立たない」物はある fact3: もし仮に「その蝉ダブルは消し去る一方で苦々しかない」ということは成り立たないとするとそのＫｏｊｉｍａ等は消し去る fact4: もし何らかの物は倒立混合するけど解し難くないならば重苦しくない fact5: もしそのＫｏｊｉｍａ等は表面増強効果だということはない一方でごわすとすれば「貧する」ということは偽だということはない fact6: もし仮にあの真菌類が全否定するとすれば上場後でない fact7: 「「黒いということはないし加えて奥床しい」ということは間違いな」物があるとしたらこの亀裂は奥床しくない fact8: そのＫｏｊｉｍａ等は邪魔立てしない fact9: もしある物が貧するなら消し去らない fact10: もしある物が瞠目すとすればそれは重苦しくない fact11: そのデコリンは瞠目す fact12: そのＫｏｊｉｍａ等は表面増強効果でないがしかしそれはごわす fact13: そのＫｏｊｉｍａ等はごわす fact14: 重苦しくない物は貧するししかも瞠目す fact15: 奥床しいということはない物は倒立混合するがしかし解し難くない fact16: そのＫｏｊｉｍａ等は貧しないけれど発起するとすれば万難である fact17: もしもこの乳汁が貧するとしたらそれは迫り来ない fact18: この亀裂は貧するなら「その蝉ダブルは消し去らない一方で苦々しい」ということは間違っている ; $hypothesis$ = そのＫｏｊｉｍａ等は消し去る ; $proof$ = 
fact5 & fact12 -> int1: そのＫｏｊｉｍａ等は貧する; fact9 -> int2: もしそのＫｏｊｉｍａ等が貧するとすればそれは消し去らない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その打ち首はごわすない」ということは成り立つ
事実2: 「「黒くないが奥床しい」ということは成り立たない」物はある
事実3: もし仮に「その蝉ダブルは消し去る一方で苦々しかない」ということは成り立たないとするとそのＫｏｊｉｍａ等は消し去る
事実4: もし何らかの物は倒立混合するけど解し難くないならば重苦しくない
事実5: もしそのＫｏｊｉｍａ等は表面増強効果だということはない一方でごわすとすれば「貧する」ということは偽だということはない
事実6: もし仮にあの真菌類が全否定するとすれば上場後でない
事実7: 「「黒いということはないし加えて奥床しい」ということは間違いな」物があるとしたらこの亀裂は奥床しくない
事実8: そのＫｏｊｉｍａ等は邪魔立てしない
事実9: もしある物が貧するなら消し去らない
事実10: もしある物が瞠目すとすればそれは重苦しくない
事実11: そのデコリンは瞠目す
事実12: そのＫｏｊｉｍａ等は表面増強効果でないがしかしそれはごわす
事実13: そのＫｏｊｉｍａ等はごわす
事実14: 重苦しくない物は貧するししかも瞠目す
事実15: 奥床しいということはない物は倒立混合するがしかし解し難くない
事実16: そのＫｏｊｉｍａ等は貧しないけれど発起するとすれば万難である
事実17: もしもこの乳汁が貧するとしたらそれは迫り来ない
事実18: この亀裂は貧するなら「その蝉ダブルは消し去らない一方で苦々しい」ということは間違っている

仮説: そのＫｏｊｉｍａ等は消し去る
1. 事実5と事実12から、推論1: "そのＫｏｊｉｍａ等は貧する"が導かれる
2. 事実9から、推論2: "もしそのＫｏｊｉｍａ等が貧するとすればそれは消し去らない"が導かれる
3. 推論1と推論2から、仮説が否定される

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