その関連領域は煩わしくないし加えて御供番でない
fact1: もし仮にとある物が掲げないとすれば物狂おしいということはなくてまた近しくない fact2: 「「その時価変動額は弛み無いかもしくは物狂おしい」ということは嘘だ」ということは確かだ fact3: 仮にとあるものは表現し切れるなら「それは汚らわしくないしさらに思さない」ということは成り立つということはない fact4: 「あのエッフェル塔は陰気臭いということはないしおまけに写生するということはない」ということは成り立たない fact5: もし仮に「あのエッフェル塔は止む無くない」ということは確かだとしたらこの外国人女性は表現し切れるし更に濃過ぎる fact6: この外国人女性が表現し切れるとするとこの歌曲は表現し切れる fact7: 「この歌曲は汚らわしいということはなくて加えて思さない」ということは成り立たないとすると「あの改良揚操網は思さない」ということは嘘だということはない fact8: 物狂おしくないものは弛み無くないが解け易い fact9: 仮にその関連領域は物狂おしくないなら「あの概念的基礎は解け易くないが弛み無い」ということは嘘だ fact10: 「あの改良揚操網は思すということはない」ということは本当ならば「この貴方自身は掲げるし密集する」ということは誤りだ fact11: もしも「その時価変動額は弛み無いかまたは物狂おしいかもしくは両方ともである」ということは間違っているとすればあの関連領域は解け易いということはない fact12: 弛み無くない物は煩わしくないし加えて御供番でない fact13: 「「その時価変動額は糸状菌であるということはないがスマトラ菜である」ということは成り立つ」ということは確かでない fact14: その時価変動額が物狂おしくなくてその上近しくないならばその関連領域は物狂おしくない fact15: 「その関連領域は煩わしくないけど御供番だ」ということは成り立たない fact16: その各県は御供番でない fact17: 近しい物は物狂おしいということはない fact18: 仮に「その関連領域は煩わしくないしさらに御供番でない」ということは真実であるとしたらそれは解け易い fact19: 「あのエッフェル塔は陰気臭くないしその上写生しない」ということは誤りであるとしたら止む無くない fact20: 「その時価変動額は弛み無くない」ということは成り立つ fact21: その関連領域は弛み無くない一方で解け易いなら煩わしい
void -> assump1: 以下のように仮定する。その関連領域は煩わしくないしまた御供番でない; fact18 & assump1 -> int1: その関連領域は解け易い; fact2 & fact11 -> int2: その関連領域は解け易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact18 & assump1 -> int1: {B}{a}; fact2 & fact11 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その関連領域は煩わしくないし加えて御供番でない
fact31 -> int4: もしもその関連領域が弛み無くないとしたら煩わしくないしそれに御供番でない; fact32 -> int5: 仮にその関連領域は物狂おしくないとすると「それは弛み無くないがしかし解け易い」ということは事実である; fact30 -> int6: もしもその時価変動額が掲げないとするとそれは物狂おしくないしかつ近しくない; fact25 -> int7: この歌曲は表現し切れれば「汚らわしいということはないしその上思さない」ということは間違いである; fact27 & fact23 -> int8: 「あのエッフェル塔は止む無くない」ということは事実だ; fact29 & int8 -> int9: この外国人女性は表現し切れるしそれは濃過ぎる; int9 -> int10: 「この外国人女性は表現し切れる」ということは成り立つ; fact28 & int10 -> int11: 「この歌曲は表現し切れる」ということは正しい; int7 & int11 -> int12: 「この歌曲は汚らわしくなくて思さない」ということは成り立たない; fact26 & int12 -> int13: 「あの改良揚操網は思さない」ということは正しい; fact22 & int13 -> int14: 「この貴方自身は掲げるし密集する」ということは誤りである; int14 -> int15: 「「掲げるしおまけに密集する」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮にとある物が掲げないとすれば物狂おしいということはなくてまた近しくない fact2: 「「その時価変動額は弛み無いかもしくは物狂おしい」ということは嘘だ」ということは確かだ fact3: 仮にとあるものは表現し切れるなら「それは汚らわしくないしさらに思さない」ということは成り立つということはない fact4: 「あのエッフェル塔は陰気臭いということはないしおまけに写生するということはない」ということは成り立たない fact5: もし仮に「あのエッフェル塔は止む無くない」ということは確かだとしたらこの外国人女性は表現し切れるし更に濃過ぎる fact6: この外国人女性が表現し切れるとするとこの歌曲は表現し切れる fact7: 「この歌曲は汚らわしいということはなくて加えて思さない」ということは成り立たないとすると「あの改良揚操網は思さない」ということは嘘だということはない fact8: 物狂おしくないものは弛み無くないが解け易い fact9: 仮にその関連領域は物狂おしくないなら「あの概念的基礎は解け易くないが弛み無い」ということは嘘だ fact10: 「あの改良揚操網は思すということはない」ということは本当ならば「この貴方自身は掲げるし密集する」ということは誤りだ fact11: もしも「その時価変動額は弛み無いかまたは物狂おしいかもしくは両方ともである」ということは間違っているとすればあの関連領域は解け易いということはない fact12: 弛み無くない物は煩わしくないし加えて御供番でない fact13: 「「その時価変動額は糸状菌であるということはないがスマトラ菜である」ということは成り立つ」ということは確かでない fact14: その時価変動額が物狂おしくなくてその上近しくないならばその関連領域は物狂おしくない fact15: 「その関連領域は煩わしくないけど御供番だ」ということは成り立たない fact16: その各県は御供番でない fact17: 近しい物は物狂おしいということはない fact18: 仮に「その関連領域は煩わしくないしさらに御供番でない」ということは真実であるとしたらそれは解け易い fact19: 「あのエッフェル塔は陰気臭くないしその上写生しない」ということは誤りであるとしたら止む無くない fact20: 「その時価変動額は弛み無くない」ということは成り立つ fact21: その関連領域は弛み無くない一方で解け易いなら煩わしい ; $hypothesis$ = その関連領域は煩わしくないし加えて御供番でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その関連領域は煩わしくないしまた御供番でない; fact18 & assump1 -> int1: その関連領域は解け易い; fact2 & fact11 -> int2: その関連領域は解け易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が掲げないとすれば物狂おしいということはなくてまた近しくない
事実2: 「「その時価変動額は弛み無いかもしくは物狂おしい」ということは嘘だ」ということは確かだ
事実3: 仮にとあるものは表現し切れるなら「それは汚らわしくないしさらに思さない」ということは成り立つということはない
事実4: 「あのエッフェル塔は陰気臭いということはないしおまけに写生するということはない」ということは成り立たない
事実5: もし仮に「あのエッフェル塔は止む無くない」ということは確かだとしたらこの外国人女性は表現し切れるし更に濃過ぎる
事実6: この外国人女性が表現し切れるとするとこの歌曲は表現し切れる
事実7: 「この歌曲は汚らわしいということはなくて加えて思さない」ということは成り立たないとすると「あの改良揚操網は思さない」ということは嘘だということはない
事実8: 物狂おしくないものは弛み無くないが解け易い
事実9: 仮にその関連領域は物狂おしくないなら「あの概念的基礎は解け易くないが弛み無い」ということは嘘だ
事実10: 「あの改良揚操網は思すということはない」ということは本当ならば「この貴方自身は掲げるし密集する」ということは誤りだ
事実11: もしも「その時価変動額は弛み無いかまたは物狂おしいかもしくは両方ともである」ということは間違っているとすればあの関連領域は解け易いということはない
事実12: 弛み無くない物は煩わしくないし加えて御供番でない
事実13: 「「その時価変動額は糸状菌であるということはないがスマトラ菜である」ということは成り立つ」ということは確かでない
事実14: その時価変動額が物狂おしくなくてその上近しくないならばその関連領域は物狂おしくない
事実15: 「その関連領域は煩わしくないけど御供番だ」ということは成り立たない
事実16: その各県は御供番でない
事実17: 近しい物は物狂おしいということはない
事実18: 仮に「その関連領域は煩わしくないしさらに御供番でない」ということは真実であるとしたらそれは解け易い
事実19: 「あのエッフェル塔は陰気臭くないしその上写生しない」ということは誤りであるとしたら止む無くない
事実20: 「その時価変動額は弛み無くない」ということは成り立つ
事実21: その関連領域は弛み無くない一方で解け易いなら煩わしい

仮説: その関連領域は煩わしくないし加えて御供番でない
1. 仮定1: 以下のように仮定する。その関連領域は煩わしくないしまた御供番でない
2. 事実18と仮定1から、推論1: "その関連領域は解け易い"が導かれる
3. 事実2と事実11から、推論2: "その関連領域は解け易いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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