その三大都市は雌伏しない一方で仮説する
fact1: このファイアーウォールソフトはばら肉でないならば「その三大都市は雌伏するし更に仮説する」ということは誤っている fact2: もしもあの固執が少なしならこのファイアーウォールソフトはばら肉でない fact3: 仮に何らかの物はばら肉でないならば「仮説する」ということは事実である fact4: 「その三大都市は雌伏するし加えて仮説する」ということは誤りだ fact5: このファイアーウォールソフトはきな臭いかあるいはばら肉でない fact6: もしも「あの固執は少なしない」ということは成り立つとすれば「その三大都市はばら肉であるしその上それは仮説する」ということは誤っている fact7: もしなんらかのものは少なしならば「それは区別しないが仮説する」ということは誤りである fact8: あの固執は雌伏するかまたは少なしないかあるいはどちらもだ fact9: 少なし物がきな臭いなら雌伏しない fact10: もしもあの固執は仮説しないならば「その三大都市はばら肉であるということはない一方で少なし」ということは嘘だ fact11: あの固執はきな臭くない fact12: その三大都市は少なししまたそれはきな臭い fact13: 仮にこのファイアーウォールソフトはばら肉でないとすれば「その三大都市は雌伏しないが仮説する」ということは偽である fact14: あの固執が少なしかきな臭くないならこのファイアーウォールソフトはばら肉でない
fact11 -> int1: あの固執は少なしかきな臭くないか両方ともである; int1 & fact14 -> int2: このファイアーウォールソフトはばら肉でない; int2 & fact13 -> hypothesis;
「その三大都市は区別しない一方でそれは仮説する」ということは成り立たない
fact15 -> int3: もし仮にその三大都市は少なしとすると「それは区別しなくてそれは仮説する」ということは成り立たない;
$facts$ = fact1: このファイアーウォールソフトはばら肉でないならば「その三大都市は雌伏するし更に仮説する」ということは誤っている fact2: もしもあの固執が少なしならこのファイアーウォールソフトはばら肉でない fact3: 仮に何らかの物はばら肉でないならば「仮説する」ということは事実である fact4: 「その三大都市は雌伏するし加えて仮説する」ということは誤りだ fact5: このファイアーウォールソフトはきな臭いかあるいはばら肉でない fact6: もしも「あの固執は少なしない」ということは成り立つとすれば「その三大都市はばら肉であるしその上それは仮説する」ということは誤っている fact7: もしなんらかのものは少なしならば「それは区別しないが仮説する」ということは誤りである fact8: あの固執は雌伏するかまたは少なしないかあるいはどちらもだ fact9: 少なし物がきな臭いなら雌伏しない fact10: もしもあの固執は仮説しないならば「その三大都市はばら肉であるということはない一方で少なし」ということは嘘だ fact11: あの固執はきな臭くない fact12: その三大都市は少なししまたそれはきな臭い fact13: 仮にこのファイアーウォールソフトはばら肉でないとすれば「その三大都市は雌伏しないが仮説する」ということは偽である fact14: あの固執が少なしかきな臭くないならこのファイアーウォールソフトはばら肉でない ; $hypothesis$ = その三大都市は雌伏しない一方で仮説する ; $proof$ = 
fact11 -> int1: あの固執は少なしかきな臭くないか両方ともである; int1 & fact14 -> int2: このファイアーウォールソフトはばら肉でない; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: このファイアーウォールソフトはばら肉でないならば「その三大都市は雌伏するし更に仮説する」ということは誤っている
事実2: もしもあの固執が少なしならこのファイアーウォールソフトはばら肉でない
事実3: 仮に何らかの物はばら肉でないならば「仮説する」ということは事実である
事実4: 「その三大都市は雌伏するし加えて仮説する」ということは誤りだ
事実5: このファイアーウォールソフトはきな臭いかあるいはばら肉でない
事実6: もしも「あの固執は少なしない」ということは成り立つとすれば「その三大都市はばら肉であるしその上それは仮説する」ということは誤っている
事実7: もしなんらかのものは少なしならば「それは区別しないが仮説する」ということは誤りである
事実8: あの固執は雌伏するかまたは少なしないかあるいはどちらもだ
事実9: 少なし物がきな臭いなら雌伏しない
事実10: もしもあの固執は仮説しないならば「その三大都市はばら肉であるということはない一方で少なし」ということは嘘だ
事実11: あの固執はきな臭くない
事実12: その三大都市は少なししまたそれはきな臭い
事実13: 仮にこのファイアーウォールソフトはばら肉でないとすれば「その三大都市は雌伏しないが仮説する」ということは偽である
事実14: あの固執が少なしかきな臭くないならこのファイアーウォールソフトはばら肉でない

仮説: その三大都市は雌伏しない一方で仮説する
1. 事実11から、推論1: "あの固執は少なしかきな臭くないか両方ともである"が導かれる
2. 推論1と事実14から、推論2: "このファイアーウォールソフトはばら肉でない"が導かれる
3. 推論2と事実13から、仮説が否定される

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