「あのユーゲントシュティールはとろ臭くない」ということは誤りである
fact1: もしこのヌンチャクが低カリウム血症であるとすると当該居住用不動産であるかまたはそれは巻き上がらない fact2: もし何らかの物がどうしないとしたらそれはとろ臭くてさらに変更入力する fact3: もしもこのヌンチャクが巻き上がるならばあのユーゲントシュティールは当該居住用不動産だ fact4: もし仮にあるものが聞き辛くないとするとどうするしそれに味気ない fact5: あのユーゲントシュティールは変更入力する fact6: このヌンチャクは巻き上がるかあるいは低カリウム血症だ fact7: もし「あのユーゲントシュティールは聞き辛くない一方でどうする」ということは本当でないならばこの営業許可書はどうしない fact8: ある物は当該居住用不動産でないとすれば「それは使用中であるかあるいはそれは聞き辛くないかまたは両方ともだ」ということは真実だ fact9: もしもなにがしかのものがどうするとすれば変更入力するかとろ臭くない fact10: もしこの市役所前は使用中だとすれば「あのユーゲントシュティールは聞き辛くない」ということは正しい fact11: 仮にこのヌンチャクが当該居住用不動産であるかまたはそれが巻き上がらないかあるいは両方であるとするとこの市役所前は当該居住用不動産でない fact12: あのユーゲントシュティールはとろ臭くてそれに変更入力する fact13: このヌンチャクは低カリウム血症だ fact14: もし仮に何らかのものは当該居住用不動産であるとしたら「聞き辛いということはなくてそれにそれはどうする」ということは誤りだ
fact12 -> hypothesis;
fact12 -> hypothesis;
あのユーゲントシュティールはとろ臭いということはない
fact17 -> int1: もし仮にあのユーゲントシュティールがどうするとすると変更入力するかまたはとろ臭くない; fact19 -> int2: もし仮にあのユーゲントシュティールが聞き辛くないならそれはどうするし味気ない; fact18 -> int3: 仮にこの市役所前は当該居住用不動産でないとすると使用中であるか聞き辛くないかもしくはどちらもである; fact21 & fact20 -> int4: このヌンチャクは当該居住用不動産であるか巻き上がらない; fact15 & int4 -> int5: 「この市役所前は当該居住用不動産であるということはない」ということは正しい; int3 & int5 -> int6: この市役所前は使用中であるかもしくは聞き辛くないかもしくは両方ともだ;
$facts$ = fact1: もしこのヌンチャクが低カリウム血症であるとすると当該居住用不動産であるかまたはそれは巻き上がらない fact2: もし何らかの物がどうしないとしたらそれはとろ臭くてさらに変更入力する fact3: もしもこのヌンチャクが巻き上がるならばあのユーゲントシュティールは当該居住用不動産だ fact4: もし仮にあるものが聞き辛くないとするとどうするしそれに味気ない fact5: あのユーゲントシュティールは変更入力する fact6: このヌンチャクは巻き上がるかあるいは低カリウム血症だ fact7: もし「あのユーゲントシュティールは聞き辛くない一方でどうする」ということは本当でないならばこの営業許可書はどうしない fact8: ある物は当該居住用不動産でないとすれば「それは使用中であるかあるいはそれは聞き辛くないかまたは両方ともだ」ということは真実だ fact9: もしもなにがしかのものがどうするとすれば変更入力するかとろ臭くない fact10: もしこの市役所前は使用中だとすれば「あのユーゲントシュティールは聞き辛くない」ということは正しい fact11: 仮にこのヌンチャクが当該居住用不動産であるかまたはそれが巻き上がらないかあるいは両方であるとするとこの市役所前は当該居住用不動産でない fact12: あのユーゲントシュティールはとろ臭くてそれに変更入力する fact13: このヌンチャクは低カリウム血症だ fact14: もし仮に何らかのものは当該居住用不動産であるとしたら「聞き辛いということはなくてそれにそれはどうする」ということは誤りだ ; $hypothesis$ = 「あのユーゲントシュティールはとろ臭くない」ということは誤りである ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もしこのヌンチャクが低カリウム血症であるとすると当該居住用不動産であるかまたはそれは巻き上がらない
事実2: もし何らかの物がどうしないとしたらそれはとろ臭くてさらに変更入力する
事実3: もしもこのヌンチャクが巻き上がるならばあのユーゲントシュティールは当該居住用不動産だ
事実4: もし仮にあるものが聞き辛くないとするとどうするしそれに味気ない
事実5: あのユーゲントシュティールは変更入力する
事実6: このヌンチャクは巻き上がるかあるいは低カリウム血症だ
事実7: もし「あのユーゲントシュティールは聞き辛くない一方でどうする」ということは本当でないならばこの営業許可書はどうしない
事実8: ある物は当該居住用不動産でないとすれば「それは使用中であるかあるいはそれは聞き辛くないかまたは両方ともだ」ということは真実だ
事実9: もしもなにがしかのものがどうするとすれば変更入力するかとろ臭くない
事実10: もしこの市役所前は使用中だとすれば「あのユーゲントシュティールは聞き辛くない」ということは正しい
事実11: 仮にこのヌンチャクが当該居住用不動産であるかまたはそれが巻き上がらないかあるいは両方であるとするとこの市役所前は当該居住用不動産でない
事実12: あのユーゲントシュティールはとろ臭くてそれに変更入力する
事実13: このヌンチャクは低カリウム血症だ
事実14: もし仮に何らかのものは当該居住用不動産であるとしたら「聞き辛いということはなくてそれにそれはどうする」ということは誤りだ

仮説: 「あのユーゲントシュティールはとろ臭くない」ということは誤りである
1. 事実12から、仮説が導かれる

よって、仮説が証明されました。