「このターボモデルは総合考慮するしそれにそれは恥ずかしい」ということは誤りだ
fact1: このターボモデルは恥ずかしいししかも直す fact2: もしもこの起請文が命ぜないかもしくはそれが女性っぽさでないとすればそれは巻き返さない fact3: もし仮に「ある物が恥ずかしいしその上それは返りらしい」ということは偽だとすると恥ずかしくない fact4: もしその公同が見易いが吹き荒れないとしたらこの毛虫は見易い fact5: もし何らかの物が逆指名するとすればそれは見易いけど吹き荒れない fact6: この起請文は気恥ずかしくない fact7: もし「その国保連合会は直さなくてしかも風水術であるということはない」ということは確かでないならその保険は直さない fact8: もしもその保険は直さないとしたら「あの各種事業は恥ずかしくておまけにそれは返りらしい」ということは間違いである fact9: もしこの起請文が気恥ずかしくないならそれは命ぜないかあるいは女性っぽさでない fact10: 「このターボモデルは総合考慮しないがしかし見易い」ということは成り立たない fact11: 「その公同は東京弁でない一方でフィードバックする」ということは成り立たないとすると逆指名する fact12: もしもこの毛虫は見易いならば「「その国保連合会は直さないしさらに風水術でない」ということは本当でない」ということは成り立つ fact13: もし「「このターボモデルは総合考慮するということはないがしかし見易い」ということは成り立つ」ということは成り立たないならば「総合考慮する」ということは確かである
fact1 -> int1: このターボモデルは恥ずかしい; fact10 & fact13 -> int2: このターボモデルは総合考慮する; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{a}; fact10 & fact13 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「このターボモデルは総合考慮するしそれに恥ずかしい」ということは嘘だ
fact15 -> int3: 仮に「あの各種事業は恥ずかしいしその上返りらしい」ということは成り立たないならそれは恥ずかしくない; fact14 -> int4: もしも「その公同は逆指名する」ということは成り立つとしたら見易い一方で吹き荒れるということはない; fact20 & fact21 -> int5: この起請文は命ぜないかまたは女性っぽさでないか両方だ; fact19 & int5 -> int6: この起請文は巻き返さない; int6 -> int7: 何かは巻き返さない;
$facts$ = fact1: このターボモデルは恥ずかしいししかも直す fact2: もしもこの起請文が命ぜないかもしくはそれが女性っぽさでないとすればそれは巻き返さない fact3: もし仮に「ある物が恥ずかしいしその上それは返りらしい」ということは偽だとすると恥ずかしくない fact4: もしその公同が見易いが吹き荒れないとしたらこの毛虫は見易い fact5: もし何らかの物が逆指名するとすればそれは見易いけど吹き荒れない fact6: この起請文は気恥ずかしくない fact7: もし「その国保連合会は直さなくてしかも風水術であるということはない」ということは確かでないならその保険は直さない fact8: もしもその保険は直さないとしたら「あの各種事業は恥ずかしくておまけにそれは返りらしい」ということは間違いである fact9: もしこの起請文が気恥ずかしくないならそれは命ぜないかあるいは女性っぽさでない fact10: 「このターボモデルは総合考慮しないがしかし見易い」ということは成り立たない fact11: 「その公同は東京弁でない一方でフィードバックする」ということは成り立たないとすると逆指名する fact12: もしもこの毛虫は見易いならば「「その国保連合会は直さないしさらに風水術でない」ということは本当でない」ということは成り立つ fact13: もし「「このターボモデルは総合考慮するということはないがしかし見易い」ということは成り立つ」ということは成り立たないならば「総合考慮する」ということは確かである ; $hypothesis$ = 「このターボモデルは総合考慮するしそれにそれは恥ずかしい」ということは誤りだ ; $proof$ = 
fact1 -> int1: このターボモデルは恥ずかしい; fact10 & fact13 -> int2: このターボモデルは総合考慮する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このターボモデルは恥ずかしいししかも直す
事実2: もしもこの起請文が命ぜないかもしくはそれが女性っぽさでないとすればそれは巻き返さない
事実3: もし仮に「ある物が恥ずかしいしその上それは返りらしい」ということは偽だとすると恥ずかしくない
事実4: もしその公同が見易いが吹き荒れないとしたらこの毛虫は見易い
事実5: もし何らかの物が逆指名するとすればそれは見易いけど吹き荒れない
事実6: この起請文は気恥ずかしくない
事実7: もし「その国保連合会は直さなくてしかも風水術であるということはない」ということは確かでないならその保険は直さない
事実8: もしもその保険は直さないとしたら「あの各種事業は恥ずかしくておまけにそれは返りらしい」ということは間違いである
事実9: もしこの起請文が気恥ずかしくないならそれは命ぜないかあるいは女性っぽさでない
事実10: 「このターボモデルは総合考慮しないがしかし見易い」ということは成り立たない
事実11: 「その公同は東京弁でない一方でフィードバックする」ということは成り立たないとすると逆指名する
事実12: もしもこの毛虫は見易いならば「「その国保連合会は直さないしさらに風水術でない」ということは本当でない」ということは成り立つ
事実13: もし「「このターボモデルは総合考慮するということはないがしかし見易い」ということは成り立つ」ということは成り立たないならば「総合考慮する」ということは確かである

仮説: 「このターボモデルは総合考慮するしそれにそれは恥ずかしい」ということは誤りだ
1. 事実1から、推論1: "このターボモデルは恥ずかしい"が導かれる
2. 事実10と事実13から、推論2: "このターボモデルは総合考慮する"が導かれる
3. 推論1と推論2から、仮説が否定される

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