このＴ工業は奉還する
fact1: このＴ工業は浸出するということはない fact2: もしその谷底が奉還するがしかし無かりしないとするとこのＴ工業は奉還する fact3: あの英語交じりは無かりしない fact4: もしもその本両替は無かりしないとすれば「その谷底は予知するししかもぼろい」ということは成り立たない fact5: 「「ぼろいし予知する」ということは誤りである」ものがあるとするとこのＴ工業は奉還しない fact6: なにかはぼろいしさらにそれは予知する fact7: もし仮にその本両替は奉還しないとすれば「このＴ工業は無かりするし予知する」ということは誤っている fact8: もしその谷底は起立時であるならば奉還するけれど無かりするということはない fact9: もしも「その本両替は予知しない」ということは確かだとすると「その谷底は無かりするしぼろい」ということは事実と異なる fact10: 仮に「「ぼろいしおまけに予知する」ということは事実と異なる」ものがあるとしたらその本両替は無かりしない fact11: 仮になにかは予知しないならこのＴ工業は奉還するということはない fact12: その谷底は無かりしない fact13: 「その谷底は予知するし更に隔地者間だ」ということは嘘だ fact14: 「「奉還するしその上ぼろい」ということは偽な」ものはある fact15: このＴ工業は解決策でない fact16: 「「予知するしさらに奉還する」ということは誤りな」ものはある fact17: 「「ぼろいしまた奉還する」ということは成り立たない」物はある fact18: もしもその谷底はぼろくないなら「その本両替は予知するし無かりする」ということは嘘だ fact19: 「もし仮に「「予知するしぼろい」ということは正しくない」物があればその本両替は無かりしない」ということは成り立つ fact20: もしその谷底は無かりするということはないなら「その本両替はぼろいし予知する」ということは誤っている fact21: その谷底は零れない
fact20 & fact12 -> int1: 「その本両替はぼろくて予知する」ということは間違っている; int1 -> int2: 「「ぼろいし予知する」ということは正しいということはない」ものはある; int2 & fact5 -> hypothesis;
このＴ工業は奉還する
$facts$ = fact1: このＴ工業は浸出するということはない fact2: もしその谷底が奉還するがしかし無かりしないとするとこのＴ工業は奉還する fact3: あの英語交じりは無かりしない fact4: もしもその本両替は無かりしないとすれば「その谷底は予知するししかもぼろい」ということは成り立たない fact5: 「「ぼろいし予知する」ということは誤りである」ものがあるとするとこのＴ工業は奉還しない fact6: なにかはぼろいしさらにそれは予知する fact7: もし仮にその本両替は奉還しないとすれば「このＴ工業は無かりするし予知する」ということは誤っている fact8: もしその谷底は起立時であるならば奉還するけれど無かりするということはない fact9: もしも「その本両替は予知しない」ということは確かだとすると「その谷底は無かりするしぼろい」ということは事実と異なる fact10: 仮に「「ぼろいしおまけに予知する」ということは事実と異なる」ものがあるとしたらその本両替は無かりしない fact11: 仮になにかは予知しないならこのＴ工業は奉還するということはない fact12: その谷底は無かりしない fact13: 「その谷底は予知するし更に隔地者間だ」ということは嘘だ fact14: 「「奉還するしその上ぼろい」ということは偽な」ものはある fact15: このＴ工業は解決策でない fact16: 「「予知するしさらに奉還する」ということは誤りな」ものはある fact17: 「「ぼろいしまた奉還する」ということは成り立たない」物はある fact18: もしもその谷底はぼろくないなら「その本両替は予知するし無かりする」ということは嘘だ fact19: 「もし仮に「「予知するしぼろい」ということは正しくない」物があればその本両替は無かりしない」ということは成り立つ fact20: もしその谷底は無かりするということはないなら「その本両替はぼろいし予知する」ということは誤っている fact21: その谷底は零れない ; $hypothesis$ = このＴ工業は奉還する ; $proof$ = 
fact20 & fact12 -> int1: 「その本両替はぼろくて予知する」ということは間違っている; int1 -> int2: 「「ぼろいし予知する」ということは正しいということはない」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: このＴ工業は浸出するということはない
事実2: もしその谷底が奉還するがしかし無かりしないとするとこのＴ工業は奉還する
事実3: あの英語交じりは無かりしない
事実4: もしもその本両替は無かりしないとすれば「その谷底は予知するししかもぼろい」ということは成り立たない
事実5: 「「ぼろいし予知する」ということは誤りである」ものがあるとするとこのＴ工業は奉還しない
事実6: なにかはぼろいしさらにそれは予知する
事実7: もし仮にその本両替は奉還しないとすれば「このＴ工業は無かりするし予知する」ということは誤っている
事実8: もしその谷底は起立時であるならば奉還するけれど無かりするということはない
事実9: もしも「その本両替は予知しない」ということは確かだとすると「その谷底は無かりするしぼろい」ということは事実と異なる
事実10: 仮に「「ぼろいしおまけに予知する」ということは事実と異なる」ものがあるとしたらその本両替は無かりしない
事実11: 仮になにかは予知しないならこのＴ工業は奉還するということはない
事実12: その谷底は無かりしない
事実13: 「その谷底は予知するし更に隔地者間だ」ということは嘘だ
事実14: 「「奉還するしその上ぼろい」ということは偽な」ものはある
事実15: このＴ工業は解決策でない
事実16: 「「予知するしさらに奉還する」ということは誤りな」ものはある
事実17: 「「ぼろいしまた奉還する」ということは成り立たない」物はある
事実18: もしもその谷底はぼろくないなら「その本両替は予知するし無かりする」ということは嘘だ
事実19: 「もし仮に「「予知するしぼろい」ということは正しくない」物があればその本両替は無かりしない」ということは成り立つ
事実20: もしその谷底は無かりするということはないなら「その本両替はぼろいし予知する」ということは誤っている
事実21: その谷底は零れない

仮説: このＴ工業は奉還する
1. 事実20と事実12から、推論1: "「その本両替はぼろくて予知する」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「ぼろいし予知する」ということは正しいということはない」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

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