その上唇は生活出来る
fact1: 「その上唇は入手術でなくて成り為さらない」ということは成り立たない fact2: 仮に何らかのものが追悼するが不足金でないとすれば御辛いということはない fact3: もしもこのオカルトが不足金であるかあるいはそれは生活出来ないとすると「その開始位置は不足金でない」ということは成り立つ fact4: 「なにがしかのものは追悼するしそれは不足金である」ということは誤りであるならばそれは生活出来ない fact5: この一皮は著しい fact6: その被毛は走り易くない fact7: 仮に「「とある物は合成法であるかもしくは韓国産でない」ということは事実である」ということは間違っているとしたらそれは交換出来ない fact8: なにかは交換出来ないとすれば「「生活出来るしそれは待ち遠しくない」ということは正しい」ということは誤りである fact9: 仮にとある物は当該実施機関であるなら追悼する fact10: 仮にその上唇はビデオチャットであるとすると「このオカルトは合成法であるかあるいは韓国産でないかあるいは両方ともだ」ということは成り立たない fact11: このオカルトは御辛くなくてそれは不足金でない fact12: もし「出現し易くない」物があるとしたらその被毛は走り易いということはない fact13: 「もしも「「その上唇は入手術であるということはないしさらに成り為さらない」ということは成り立たない」ということは嘘でないとするとその上唇はビデオチャットである」ということは事実だ fact14: もしこのオカルトは不足金でないならば「その上唇は追悼するし不足金だ」ということは誤っている fact15: もし仮にその被毛は待ち遠しくないとしたら「「厭わしくなくて更に交換出来る」ということは間違いでない」ということは成り立たない fact16: 仮になにがしかのものが厭わしいということはないならそれは当該実施機関であるしそれに勾留出来る fact17: 仮にこのオカルトは勾留出来ないとすれば「それは当該実施機関でない一方で追悼する」ということは誤っている fact18: 仮にあの老木が著しいとすれば出現し易くない一方で長し fact19: 仮に「なにかは生活出来るが待ち遠しいということはない」ということは嘘ならば生活出来ない fact20: もし「走り易くない」ものがあればその開始位置は厭わしくない fact21: もし仮に「その被毛は厭わしくないがしかし交換出来る」ということは成り立たないならば勾留出来るということはない fact22: もし仮にこの一皮が著しいとすればあの老木は著しい fact23: もしその被毛が走り易くなくて更に勾留出来ないとするとこのオカルトは勾留出来ない
fact11 -> int1: このオカルトは不足金であるということはない; int1 & fact14 -> int2: 「その上唇が追悼するしその上不足金だ」ということは成り立たない; fact4 -> int3: もし「その上唇は追悼するしさらに不足金だ」ということは成り立つということはないならば生活出来るということはない; int2 & int3 -> hypothesis;
fact11 -> int1: ¬{B}{a}; int1 & fact14 -> int2: ¬({C}{b} & {B}{b}); fact4 -> int3: ¬({C}{b} & {B}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
その上唇は生活出来る
$facts$ = fact1: 「その上唇は入手術でなくて成り為さらない」ということは成り立たない fact2: 仮に何らかのものが追悼するが不足金でないとすれば御辛いということはない fact3: もしもこのオカルトが不足金であるかあるいはそれは生活出来ないとすると「その開始位置は不足金でない」ということは成り立つ fact4: 「なにがしかのものは追悼するしそれは不足金である」ということは誤りであるならばそれは生活出来ない fact5: この一皮は著しい fact6: その被毛は走り易くない fact7: 仮に「「とある物は合成法であるかもしくは韓国産でない」ということは事実である」ということは間違っているとしたらそれは交換出来ない fact8: なにかは交換出来ないとすれば「「生活出来るしそれは待ち遠しくない」ということは正しい」ということは誤りである fact9: 仮にとある物は当該実施機関であるなら追悼する fact10: 仮にその上唇はビデオチャットであるとすると「このオカルトは合成法であるかあるいは韓国産でないかあるいは両方ともだ」ということは成り立たない fact11: このオカルトは御辛くなくてそれは不足金でない fact12: もし「出現し易くない」物があるとしたらその被毛は走り易いということはない fact13: 「もしも「「その上唇は入手術であるということはないしさらに成り為さらない」ということは成り立たない」ということは嘘でないとするとその上唇はビデオチャットである」ということは事実だ fact14: もしこのオカルトは不足金でないならば「その上唇は追悼するし不足金だ」ということは誤っている fact15: もし仮にその被毛は待ち遠しくないとしたら「「厭わしくなくて更に交換出来る」ということは間違いでない」ということは成り立たない fact16: 仮になにがしかのものが厭わしいということはないならそれは当該実施機関であるしそれに勾留出来る fact17: 仮にこのオカルトは勾留出来ないとすれば「それは当該実施機関でない一方で追悼する」ということは誤っている fact18: 仮にあの老木が著しいとすれば出現し易くない一方で長し fact19: 仮に「なにかは生活出来るが待ち遠しいということはない」ということは嘘ならば生活出来ない fact20: もし「走り易くない」ものがあればその開始位置は厭わしくない fact21: もし仮に「その被毛は厭わしくないがしかし交換出来る」ということは成り立たないならば勾留出来るということはない fact22: もし仮にこの一皮が著しいとすればあの老木は著しい fact23: もしその被毛が走り易くなくて更に勾留出来ないとするとこのオカルトは勾留出来ない ; $hypothesis$ = その上唇は生活出来る ; $proof$ = 
fact11 -> int1: このオカルトは不足金であるということはない; int1 & fact14 -> int2: 「その上唇が追悼するしその上不足金だ」ということは成り立たない; fact4 -> int3: もし「その上唇は追悼するしさらに不足金だ」ということは成り立つということはないならば生活出来るということはない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「その上唇は入手術でなくて成り為さらない」ということは成り立たない
事実2: 仮に何らかのものが追悼するが不足金でないとすれば御辛いということはない
事実3: もしもこのオカルトが不足金であるかあるいはそれは生活出来ないとすると「その開始位置は不足金でない」ということは成り立つ
事実4: 「なにがしかのものは追悼するしそれは不足金である」ということは誤りであるならばそれは生活出来ない
事実5: この一皮は著しい
事実6: その被毛は走り易くない
事実7: 仮に「「とある物は合成法であるかもしくは韓国産でない」ということは事実である」ということは間違っているとしたらそれは交換出来ない
事実8: なにかは交換出来ないとすれば「「生活出来るしそれは待ち遠しくない」ということは正しい」ということは誤りである
事実9: 仮にとある物は当該実施機関であるなら追悼する
事実10: 仮にその上唇はビデオチャットであるとすると「このオカルトは合成法であるかあるいは韓国産でないかあるいは両方ともだ」ということは成り立たない
事実11: このオカルトは御辛くなくてそれは不足金でない
事実12: もし「出現し易くない」物があるとしたらその被毛は走り易いということはない
事実13: 「もしも「「その上唇は入手術であるということはないしさらに成り為さらない」ということは成り立たない」ということは嘘でないとするとその上唇はビデオチャットである」ということは事実だ
事実14: もしこのオカルトは不足金でないならば「その上唇は追悼するし不足金だ」ということは誤っている
事実15: もし仮にその被毛は待ち遠しくないとしたら「「厭わしくなくて更に交換出来る」ということは間違いでない」ということは成り立たない
事実16: 仮になにがしかのものが厭わしいということはないならそれは当該実施機関であるしそれに勾留出来る
事実17: 仮にこのオカルトは勾留出来ないとすれば「それは当該実施機関でない一方で追悼する」ということは誤っている
事実18: 仮にあの老木が著しいとすれば出現し易くない一方で長し
事実19: 仮に「なにかは生活出来るが待ち遠しいということはない」ということは嘘ならば生活出来ない
事実20: もし「走り易くない」ものがあればその開始位置は厭わしくない
事実21: もし仮に「その被毛は厭わしくないがしかし交換出来る」ということは成り立たないならば勾留出来るということはない
事実22: もし仮にこの一皮が著しいとすればあの老木は著しい
事実23: もしその被毛が走り易くなくて更に勾留出来ないとするとこのオカルトは勾留出来ない

仮説: その上唇は生活出来る
1. 事実11から、推論1: "このオカルトは不足金であるということはない"が導かれる
2. 推論1と事実14から、推論2: "「その上唇が追悼するしその上不足金だ」ということは成り立たない"が導かれる
3. 事実4から、推論3: "もし「その上唇は追悼するしさらに不足金だ」ということは成り立つということはないならば生活出来るということはない"が導かれる
4. 推論2と推論3から、仮説が否定される

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