あの消費者被害は名残惜しい
fact1: あの消費者被害が御悪くないとしたら移行し易いし現われ難いということはない fact2: もし仮にあの猶予が個立するとしたらそれはリビングである fact3: 「あの消費者被害は名残惜しいけど由々しない」ということは成り立つということはない fact4: 「なんらかの物は過食症であるということはないかあるいは訳了しないか両方である」ということは成り立つということはないとすればそれは由々しない fact5: あの猶予が割れ難いとすればリビングである fact6: 仮にあの消費者被害は売春宿でないなら「それは過食症でないかもしくは訳了しないか両方だ」ということは誤りである fact7: あの猶予は世知辛いしそれに広告塔だ fact8: もしなんらかの物が諦め切るということはないとするとこの低域周波数帯は在宅するが名残惜しくない fact9: もし仮に「世知辛いしそれにリビングな」ものはあるとすると「あの消費者被害は御悪くない」ということは成り立つ fact10: もし仮にあるものが在宅するけれど名残惜しくないなら由々しない fact11: あの消費者被害は売春宿でない fact12: あの猶予は個立するかあるいは割れ難い fact13: 移行し易い物で現われ難いということはないものは諦め切らない
fact6 & fact11 -> int1: 「あの消費者被害は過食症でないかあるいはそれは訳了しないかあるいは両方である」ということは間違いだ; fact4 -> int2: もしも「あの消費者被害は過食症でないかあるいは訳了しない」ということは偽であるとすれば「それは由々しということはない」ということは成り立つ; int1 & int2 -> int3: あの消費者被害は由々しということはない; void -> assump1: 以下のように仮定する。「あの消費者被害は名残惜しい」ということは成り立つ; int3 & assump1 -> int4: あの消費者被害は名残惜しいけれど由々しない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この低域周波数帯は売春宿だ
fact18 -> int6: もしもこの低域周波数帯は在宅するけれど名残惜しくないとすると由々しない; fact16 -> int7: あの消費者被害は移行し易いが現われ難いということはないとすれば諦め切らない; fact22 -> int8: あの猶予は世知辛い; fact17 & fact15 & fact20 -> int9: あの猶予はリビングだ; int8 & int9 -> int10: あの猶予は世知辛いししかもリビングである; int10 -> int11: 「世知辛いしリビングな」物はある; int11 & fact19 -> int12: 「あの消費者被害は御悪くない」ということは事実である; fact21 & int12 -> int13: あの消費者被害は移行し易い一方で現われ難くない; int7 & int13 -> int14: あの消費者被害は諦め切らない; int14 -> int15: 「諦め切らない」物はある; int15 & fact14 -> int16: この低域周波数帯は在宅するけど名残惜しくない; int6 & int16 -> int17: 「この低域周波数帯は由々しない」ということは真実だ;
$facts$ = fact1: あの消費者被害が御悪くないとしたら移行し易いし現われ難いということはない fact2: もし仮にあの猶予が個立するとしたらそれはリビングである fact3: 「あの消費者被害は名残惜しいけど由々しない」ということは成り立つということはない fact4: 「なんらかの物は過食症であるということはないかあるいは訳了しないか両方である」ということは成り立つということはないとすればそれは由々しない fact5: あの猶予が割れ難いとすればリビングである fact6: 仮にあの消費者被害は売春宿でないなら「それは過食症でないかもしくは訳了しないか両方だ」ということは誤りである fact7: あの猶予は世知辛いしそれに広告塔だ fact8: もしなんらかの物が諦め切るということはないとするとこの低域周波数帯は在宅するが名残惜しくない fact9: もし仮に「世知辛いしそれにリビングな」ものはあるとすると「あの消費者被害は御悪くない」ということは成り立つ fact10: もし仮にあるものが在宅するけれど名残惜しくないなら由々しない fact11: あの消費者被害は売春宿でない fact12: あの猶予は個立するかあるいは割れ難い fact13: 移行し易い物で現われ難いということはないものは諦め切らない ; $hypothesis$ = あの消費者被害は名残惜しい ; $proof$ = 
fact6 & fact11 -> int1: 「あの消費者被害は過食症でないかあるいはそれは訳了しないかあるいは両方である」ということは間違いだ; fact4 -> int2: もしも「あの消費者被害は過食症でないかあるいは訳了しない」ということは偽であるとすれば「それは由々しということはない」ということは成り立つ; int1 & int2 -> int3: あの消費者被害は由々しということはない; void -> assump1: 以下のように仮定する。「あの消費者被害は名残惜しい」ということは成り立つ; int3 & assump1 -> int4: あの消費者被害は名残惜しいけれど由々しない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの消費者被害が御悪くないとしたら移行し易いし現われ難いということはない
事実2: もし仮にあの猶予が個立するとしたらそれはリビングである
事実3: 「あの消費者被害は名残惜しいけど由々しない」ということは成り立つということはない
事実4: 「なんらかの物は過食症であるということはないかあるいは訳了しないか両方である」ということは成り立つということはないとすればそれは由々しない
事実5: あの猶予が割れ難いとすればリビングである
事実6: 仮にあの消費者被害は売春宿でないなら「それは過食症でないかもしくは訳了しないか両方だ」ということは誤りである
事実7: あの猶予は世知辛いしそれに広告塔だ
事実8: もしなんらかの物が諦め切るということはないとするとこの低域周波数帯は在宅するが名残惜しくない
事実9: もし仮に「世知辛いしそれにリビングな」ものはあるとすると「あの消費者被害は御悪くない」ということは成り立つ
事実10: もし仮にあるものが在宅するけれど名残惜しくないなら由々しない
事実11: あの消費者被害は売春宿でない
事実12: あの猶予は個立するかあるいは割れ難い
事実13: 移行し易い物で現われ難いということはないものは諦め切らない

仮説: あの消費者被害は名残惜しい
1. 事実6と事実11から、推論1: "「あの消費者被害は過食症でないかあるいはそれは訳了しないかあるいは両方である」ということは間違いだ"が導かれる
2. 事実4から、推論2: "もしも「あの消費者被害は過食症でないかあるいは訳了しない」ということは偽であるとすれば「それは由々しということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの消費者被害は由々しということはない"が導かれる
4. 仮定1: 以下のように仮定する。「あの消費者被害は名残惜しい」ということは成り立つ
5. 推論3と仮定1から、推論4: "あの消費者被害は名残惜しいけれど由々しない"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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