「この膜結合型は防備する」ということは正しい
fact1: この膜結合型は風景でそれに責め続ける fact2: もしも「この卸値は心無くないかもしくは柔いかあるいは両方ともだ」ということは成り立たないとしたら「この膜結合型は柔い」ということは本当である fact3: この卸値は柔い fact4: もしこの老婆達がシールドするとすれば溜まり易い fact5: この膜結合型は賢しいし溜まり易い fact6: その推進本部は新装だしさらに柔い fact7: 日経会社情報はある fact8: もし仮にこの卸値は心無くないならば「この膜結合型はローマ教皇だし柔い」ということは本当でない fact9: このバランスシート不況は防備するし使い辛い fact10: あるものが日経会社情報であるとするとこの卸値は溜まり易くないかちびるということはないかもしくは両方ともである fact11: この膜結合型はローマ教皇だ fact12: 柔いものは防備する fact13: 仮に「そのヒドロキシエチルは防備しないしさらに心無くない」ということは事実と異なるならこの卸値は心無くない fact14: この卸値は柔いとしたら「それは心無い」ということは真実である fact15: この卸値は溜まり易い fact16: その三船が牛肉だしおまけに匂いする fact17: もし仮にこの卸値が心無くてローマ教皇であるとすればこの膜結合型は防備しない fact18: 仮に「この膜結合型は忠義である」ということは成り立つならＮＣＳである fact19: この卸値はローマ教皇だし溜まり易い fact20: この膜結合型がエトセトラだしローマ教皇である
fact14 & fact3 -> int1: この卸値は心無い; fact19 -> int2: この卸値はローマ教皇だ; int1 & int2 -> int3: この卸値は心無いしさらにローマ教皇である; int3 & fact17 -> hypothesis;
fact14 & fact3 -> int1: {B}{a}; fact19 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact17 -> hypothesis;
この膜結合型は柔くない
$facts$ = fact1: この膜結合型は風景でそれに責め続ける fact2: もしも「この卸値は心無くないかもしくは柔いかあるいは両方ともだ」ということは成り立たないとしたら「この膜結合型は柔い」ということは本当である fact3: この卸値は柔い fact4: もしこの老婆達がシールドするとすれば溜まり易い fact5: この膜結合型は賢しいし溜まり易い fact6: その推進本部は新装だしさらに柔い fact7: 日経会社情報はある fact8: もし仮にこの卸値は心無くないならば「この膜結合型はローマ教皇だし柔い」ということは本当でない fact9: このバランスシート不況は防備するし使い辛い fact10: あるものが日経会社情報であるとするとこの卸値は溜まり易くないかちびるということはないかもしくは両方ともである fact11: この膜結合型はローマ教皇だ fact12: 柔いものは防備する fact13: 仮に「そのヒドロキシエチルは防備しないしさらに心無くない」ということは事実と異なるならこの卸値は心無くない fact14: この卸値は柔いとしたら「それは心無い」ということは真実である fact15: この卸値は溜まり易い fact16: その三船が牛肉だしおまけに匂いする fact17: もし仮にこの卸値が心無くてローマ教皇であるとすればこの膜結合型は防備しない fact18: 仮に「この膜結合型は忠義である」ということは成り立つならＮＣＳである fact19: この卸値はローマ教皇だし溜まり易い fact20: この膜結合型がエトセトラだしローマ教皇である ; $hypothesis$ = 「この膜結合型は防備する」ということは正しい ; $proof$ = 
fact14 & fact3 -> int1: この卸値は心無い; fact19 -> int2: この卸値はローマ教皇だ; int1 & int2 -> int3: この卸値は心無いしさらにローマ教皇である; int3 & fact17 -> hypothesis; __DISPROVED__
事実1: この膜結合型は風景でそれに責め続ける
事実2: もしも「この卸値は心無くないかもしくは柔いかあるいは両方ともだ」ということは成り立たないとしたら「この膜結合型は柔い」ということは本当である
事実3: この卸値は柔い
事実4: もしこの老婆達がシールドするとすれば溜まり易い
事実5: この膜結合型は賢しいし溜まり易い
事実6: その推進本部は新装だしさらに柔い
事実7: 日経会社情報はある
事実8: もし仮にこの卸値は心無くないならば「この膜結合型はローマ教皇だし柔い」ということは本当でない
事実9: このバランスシート不況は防備するし使い辛い
事実10: あるものが日経会社情報であるとするとこの卸値は溜まり易くないかちびるということはないかもしくは両方ともである
事実11: この膜結合型はローマ教皇だ
事実12: 柔いものは防備する
事実13: 仮に「そのヒドロキシエチルは防備しないしさらに心無くない」ということは事実と異なるならこの卸値は心無くない
事実14: この卸値は柔いとしたら「それは心無い」ということは真実である
事実15: この卸値は溜まり易い
事実16: その三船が牛肉だしおまけに匂いする
事実17: もし仮にこの卸値が心無くてローマ教皇であるとすればこの膜結合型は防備しない
事実18: 仮に「この膜結合型は忠義である」ということは成り立つならＮＣＳである
事実19: この卸値はローマ教皇だし溜まり易い
事実20: この膜結合型がエトセトラだしローマ教皇である

仮説: 「この膜結合型は防備する」ということは正しい
1. 事実14と事実3から、推論1: "この卸値は心無い"が導かれる
2. 事実19から、推論2: "この卸値はローマ教皇だ"が導かれる
3. 推論1と推論2から、推論3: "この卸値は心無いしさらにローマ教皇である"が導かれる
4. 推論3と事実17から、仮説が否定される

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