そのコンパクト形状は役員賞与金であるかもしくはしょんぼりしない
fact1: 「あの反抗的人間は乗り変わる」ということは成り立つ fact2: もし仮に「あの反抗的人間は溶接出来るけれどそれはさり気無くない」ということは誤りであるとするとそのコンパクト形状は乗り変わる fact3: あの負は黒ずむ fact4: もし仮にその大建中湯が没収だが入力軸でないとしたらあのケージは没収でない fact5: 「乗り変わる」物はある fact6: 仮にあの負が寵愛するがしかし誇りっぽくないとすればその大建中湯は寵愛しない fact7: もしもなんらかのものが寵愛しないとしたら取れ難くてかつ一次部品企業だ fact8: そのコンパクト形状は役員賞与金であるかまたはしょんぼりするか両方である fact9: 「取れ難いものは没収だ一方で入力軸でない」ということは事実である fact10: あの反抗的人間は溶接出来る fact11: もしもあの負が黒ずむなら寵愛するし更に誇りっぽくない fact12: もし仮に「乗り変わるししかも溶接出来る」ものがあるならばあのコンパクト形状は役員賞与金だ fact13: 仮にあるものが没収でないとすれば大学生活である fact14: もしもあのケージが大学生活であるならばこの航空安全委員会は発掘調査しない fact15: 「あの周波数分析器は乗り変わる」ということは成り立つ fact16: もし仮にある物は乗り変わるとすれば「それは役員賞与金であるかまたはしょんぼりするということはないかもしくは両方だ」ということは間違いである fact17: 「溶接出来る」ものはある
fact1 & fact10 -> int1: あの反抗的人間は乗り変わるしかつ溶接出来る; int1 -> int2: 「乗り変わるし溶接出来る」ものはある; int2 & fact12 -> int3: そのコンパクト形状は役員賞与金である; int3 -> hypothesis;
「そのコンパクト形状は役員賞与金であるかあるいはしょんぼりしないかもしくはどちらもだ」ということは成り立たない
fact25 -> int4: 仮にそのコンパクト形状は乗り変わるとすると「役員賞与金であるかもしくはしょんぼりしないか両方ともだ」ということは成り立たない; fact22 -> int5: もし仮にあのケージは没収でないならばそれは大学生活だ; fact18 -> int6: その大建中湯が取れ難いとすると没収であるしその上それは入力軸でない; fact23 -> int7: 仮にその大建中湯が寵愛するということはないとすればそれは取れ難いしそれは一次部品企業である; fact19 & fact26 -> int8: あの負は寵愛するがしかし誇りっぽくない; fact20 & int8 -> int9: その大建中湯は寵愛しない; int7 & int9 -> int10: その大建中湯は取れ難いしおまけに一次部品企業だ; int10 -> int11: 「その大建中湯は取れ難い」ということは成り立つ; int6 & int11 -> int12: その大建中湯は没収であるけど入力軸でない; fact27 & int12 -> int13: あのケージは没収でない; int5 & int13 -> int14: あのケージは大学生活だ; fact21 & int14 -> int15: この航空安全委員会は発掘調査しない; int15 -> int16: 「発掘調査しない」ものはある;
$facts$ = fact1: 「あの反抗的人間は乗り変わる」ということは成り立つ fact2: もし仮に「あの反抗的人間は溶接出来るけれどそれはさり気無くない」ということは誤りであるとするとそのコンパクト形状は乗り変わる fact3: あの負は黒ずむ fact4: もし仮にその大建中湯が没収だが入力軸でないとしたらあのケージは没収でない fact5: 「乗り変わる」物はある fact6: 仮にあの負が寵愛するがしかし誇りっぽくないとすればその大建中湯は寵愛しない fact7: もしもなんらかのものが寵愛しないとしたら取れ難くてかつ一次部品企業だ fact8: そのコンパクト形状は役員賞与金であるかまたはしょんぼりするか両方である fact9: 「取れ難いものは没収だ一方で入力軸でない」ということは事実である fact10: あの反抗的人間は溶接出来る fact11: もしもあの負が黒ずむなら寵愛するし更に誇りっぽくない fact12: もし仮に「乗り変わるししかも溶接出来る」ものがあるならばあのコンパクト形状は役員賞与金だ fact13: 仮にあるものが没収でないとすれば大学生活である fact14: もしもあのケージが大学生活であるならばこの航空安全委員会は発掘調査しない fact15: 「あの周波数分析器は乗り変わる」ということは成り立つ fact16: もし仮にある物は乗り変わるとすれば「それは役員賞与金であるかまたはしょんぼりするということはないかもしくは両方だ」ということは間違いである fact17: 「溶接出来る」ものはある ; $hypothesis$ = そのコンパクト形状は役員賞与金であるかもしくはしょんぼりしない ; $proof$ = 
fact1 & fact10 -> int1: あの反抗的人間は乗り変わるしかつ溶接出来る; int1 -> int2: 「乗り変わるし溶接出来る」ものはある; int2 & fact12 -> int3: そのコンパクト形状は役員賞与金である; int3 -> hypothesis; __PROVED__
事実1: 「あの反抗的人間は乗り変わる」ということは成り立つ
事実2: もし仮に「あの反抗的人間は溶接出来るけれどそれはさり気無くない」ということは誤りであるとするとそのコンパクト形状は乗り変わる
事実3: あの負は黒ずむ
事実4: もし仮にその大建中湯が没収だが入力軸でないとしたらあのケージは没収でない
事実5: 「乗り変わる」物はある
事実6: 仮にあの負が寵愛するがしかし誇りっぽくないとすればその大建中湯は寵愛しない
事実7: もしもなんらかのものが寵愛しないとしたら取れ難くてかつ一次部品企業だ
事実8: そのコンパクト形状は役員賞与金であるかまたはしょんぼりするか両方である
事実9: 「取れ難いものは没収だ一方で入力軸でない」ということは事実である
事実10: あの反抗的人間は溶接出来る
事実11: もしもあの負が黒ずむなら寵愛するし更に誇りっぽくない
事実12: もし仮に「乗り変わるししかも溶接出来る」ものがあるならばあのコンパクト形状は役員賞与金だ
事実13: 仮にあるものが没収でないとすれば大学生活である
事実14: もしもあのケージが大学生活であるならばこの航空安全委員会は発掘調査しない
事実15: 「あの周波数分析器は乗り変わる」ということは成り立つ
事実16: もし仮にある物は乗り変わるとすれば「それは役員賞与金であるかまたはしょんぼりするということはないかもしくは両方だ」ということは間違いである
事実17: 「溶接出来る」ものはある

仮説: そのコンパクト形状は役員賞与金であるかもしくはしょんぼりしない
1. 事実1と事実10から、推論1: "あの反抗的人間は乗り変わるしかつ溶接出来る"が導かれる
2. 推論1から、推論2: "「乗り変わるし溶接出来る」ものはある"が導かれる
3. 推論2と事実12から、推論3: "そのコンパクト形状は役員賞与金である"が導かれる
4. 推論3から、仮説が導かれる

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