この消費額は苦いということはない
fact1: もしもこのメモリ上が気持ち良いとしたら署名・捺印するがペーパーレス化するということはない fact2: このトロピカルは苦い fact3: もし仮にこの判読不能は悪しいならば「この米国産牛肉は悪しくないしかつ愚かしくない」ということは偽だ fact4: もしも「この判読不能は悪しいが苦くない」ということは真実でないとすれば「この消費額は苦くない」ということは成り立つ fact5: 「この米国産牛肉は悪しくないしそれは愚かしくない」ということは間違いだとしたらこの消費額は苦い fact6: もしもなんらかの物は署名・捺印するがしかしペーパーレス化しないならば唐代でない fact7: 仮にこの米国産牛肉はＯＴＤＲでないならば「この判読不能は悪しい一方で苦いということはない」ということは間違いである fact8: この判読不能は悪しいとすれば「この米国産牛肉は悪しい一方でそれは愚かしくない」ということは間違っている fact9: もし仮に「この米国産牛肉はＯＴＤＲでなくておまけに愚かしくない」ということは正しくないとすればあの判読不能は悪しい fact10: 「この米国産牛肉は悪しいということはないけれど愚かしい」ということは間違いだ fact11: あの自生は苦い fact12: もし仮にこの判読不能はＯＴＤＲだとしたら「この消費額はＯＴＤＲでないしかつ苦くない」ということは嘘だ fact13: この米国産牛肉は苦い fact14: もしもこの判読不能は悪しいならば「この米国産牛肉は悪しくないけれどそれは愚かしい」ということは成り立たない fact15: 「この米国産牛肉は悪しい一方で愚かしいということはない」ということは成り立たない fact16: この判読不能は悪しくてそれはＯＴＤＲだ fact17: この消費額が認定結果だしそれに分封する fact18: 「この判読不能はＯＴＤＲでなくてまたそれは上り易くない」ということは誤りだ fact19: この消費額は合い難い fact20: 仮にこのメモリ上は唐代でないなら「通婚でしかもそれはバッグ前面である」ということは真実である fact21: もし仮に「この米国産牛肉が愚かしいということはないしさらにそれはＯＴＤＲでない」ということは成り立つということはないとすればこの判読不能は悪しい fact22: 「この判読不能はＯＴＤＲである」ということは間違いでない
fact16 -> int1: 「この判読不能は悪しくない」ということは成り立つということはない; int1 & fact3 -> int2: 「この米国産牛肉が悪しくないしさらに愚かしくない」ということは嘘だ; int2 & fact5 -> hypothesis;
fact16 -> int1: {A}{a}; int1 & fact3 -> int2: ¬(¬{A}{b} & ¬{C}{b}); int2 & fact5 -> hypothesis;
この消費額は苦くない
fact27 -> int3: もし仮にこのメモリ上が署名・捺印するけどペーパーレス化するということはないとすると唐代でない;
$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$ = 
fact16 -> int1: 「この判読不能は悪しくない」ということは成り立つということはない; int1 & fact3 -> int2: 「この米国産牛肉が悪しくないしさらに愚かしくない」ということは嘘だ; int2 & fact5 -> 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. 事実16から、推論1: "「この判読不能は悪しくない」ということは成り立つということはない"が導かれる
2. 推論1と事実3から、推論2: "「この米国産牛肉が悪しくないしさらに愚かしくない」ということは嘘だ"が導かれる
3. 推論2と事実5から、仮説が否定される

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