「なにかは相応しかない」ということは成り立つ
fact1: 何らかのものは空腹シグナルだ fact2: もしなにかは読了しないならばそれは吊り易い fact3: 「何らかの物は教化するということはなくてそれは気まずくない」ということは事実だとすれば「それは空腹シグナルである」ということは事実である fact4: 「あのメインは核酸塩基でない」ということは成り立つ fact5: 「恥ずかしい」ものはある fact6: 仮に「空腹シグナルで恥ずかしい」ものがあるならばあの立証趣旨は相応しかない fact7: そのサンちゃんは読了するということはない fact8: あの人助けは読了するということはない fact9: 相応しかないものは空腹シグナルであるしコンセプトカーである fact10: もしあのメインは核酸塩基でないならそれはコンセプトカーでない fact11: もしもあの人助けが気まずいならあのメインはコンセプトカーである fact12: もしもあの人助けが読了しないとするとそれは吊り易い fact13: あの人助けは気まずくない fact14: もしあの人助けは教化しないけど気まずいならば空腹シグナルだ fact15: もしもなんらかの物が読了しないなら恥ずかしいしそれは吊り易い fact16: もし仮になにがしかの物は教化しないけど気まずいとすれば空腹シグナルである fact17: あの人助けは吊り易い fact18: 仮に「あの人助けは教化しなくてそれに気まずくない」ということは誤っているとしたらあのメインはコンセプトカーである fact19: 「あの人助けは教化するということはないけれどそれは気まずい」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの人助けは教化しないしさらに気まずくない」ということは誤りである; fact18 & assump1 -> int1: あのメインはコンセプトカーである; fact10 & fact4 -> int2: あのメインはコンセプトカーでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの人助けは教化するということはなくて加えて気まずくない; fact3 -> int5: あの人助けは教化しなくて気まずくないならば空腹シグナルだ; int4 & int5 -> int6: 「あの人助けは空腹シグナルである」ということは成り立つ; fact15 -> int7: もし仮にあの人助けが読了しないとしたら恥ずかしくて更に吊り易い; fact8 & int7 -> int8: あの人助けは恥ずかしいし吊り易い; int8 -> int9: あの人助けは恥ずかしい; int6 & int9 -> int10: あの人助けは空腹シグナルだしまた恥ずかしい; int10 -> int11: なんらかのものは空腹シグナルであるしまたそれは恥ずかしい; int11 & fact6 -> int12: この立証趣旨は相応しかない; int12 -> hypothesis;
あの学外は三回経口投与するし加えてコンセプトカーだ
fact20 -> int13: もし仮にあの人助けが相応しかないとすればそれは空腹シグナルであるしさらにコンセプトカーだ;
$facts$ = fact1: 何らかのものは空腹シグナルだ fact2: もしなにかは読了しないならばそれは吊り易い fact3: 「何らかの物は教化するということはなくてそれは気まずくない」ということは事実だとすれば「それは空腹シグナルである」ということは事実である fact4: 「あのメインは核酸塩基でない」ということは成り立つ fact5: 「恥ずかしい」ものはある fact6: 仮に「空腹シグナルで恥ずかしい」ものがあるならばあの立証趣旨は相応しかない fact7: そのサンちゃんは読了するということはない fact8: あの人助けは読了するということはない fact9: 相応しかないものは空腹シグナルであるしコンセプトカーである fact10: もしあのメインは核酸塩基でないならそれはコンセプトカーでない fact11: もしもあの人助けが気まずいならあのメインはコンセプトカーである fact12: もしもあの人助けが読了しないとするとそれは吊り易い fact13: あの人助けは気まずくない fact14: もしあの人助けは教化しないけど気まずいならば空腹シグナルだ fact15: もしもなんらかの物が読了しないなら恥ずかしいしそれは吊り易い fact16: もし仮になにがしかの物は教化しないけど気まずいとすれば空腹シグナルである fact17: あの人助けは吊り易い fact18: 仮に「あの人助けは教化しなくてそれに気まずくない」ということは誤っているとしたらあのメインはコンセプトカーである fact19: 「あの人助けは教化するということはないけれどそれは気まずい」ということは成り立たない ; $hypothesis$ = 「なにかは相応しかない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの人助けは教化しないしさらに気まずくない」ということは誤りである; fact18 & assump1 -> int1: あのメインはコンセプトカーである; fact10 & fact4 -> int2: あのメインはコンセプトカーでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの人助けは教化するということはなくて加えて気まずくない; fact3 -> int5: あの人助けは教化しなくて気まずくないならば空腹シグナルだ; int4 & int5 -> int6: 「あの人助けは空腹シグナルである」ということは成り立つ; fact15 -> int7: もし仮にあの人助けが読了しないとしたら恥ずかしくて更に吊り易い; fact8 & int7 -> int8: あの人助けは恥ずかしいし吊り易い; int8 -> int9: あの人助けは恥ずかしい; int6 & int9 -> int10: あの人助けは空腹シグナルだしまた恥ずかしい; int10 -> int11: なんらかのものは空腹シグナルであるしまたそれは恥ずかしい; int11 & fact6 -> int12: この立証趣旨は相応しかない; int12 -> hypothesis; __PROVED__
事実1: 何らかのものは空腹シグナルだ
事実2: もしなにかは読了しないならばそれは吊り易い
事実3: 「何らかの物は教化するということはなくてそれは気まずくない」ということは事実だとすれば「それは空腹シグナルである」ということは事実である
事実4: 「あのメインは核酸塩基でない」ということは成り立つ
事実5: 「恥ずかしい」ものはある
事実6: 仮に「空腹シグナルで恥ずかしい」ものがあるならばあの立証趣旨は相応しかない
事実7: そのサンちゃんは読了するということはない
事実8: あの人助けは読了するということはない
事実9: 相応しかないものは空腹シグナルであるしコンセプトカーである
事実10: もしあのメインは核酸塩基でないならそれはコンセプトカーでない
事実11: もしもあの人助けが気まずいならあのメインはコンセプトカーである
事実12: もしもあの人助けが読了しないとするとそれは吊り易い
事実13: あの人助けは気まずくない
事実14: もしあの人助けは教化しないけど気まずいならば空腹シグナルだ
事実15: もしもなんらかの物が読了しないなら恥ずかしいしそれは吊り易い
事実16: もし仮になにがしかの物は教化しないけど気まずいとすれば空腹シグナルである
事実17: あの人助けは吊り易い
事実18: 仮に「あの人助けは教化しなくてそれに気まずくない」ということは誤っているとしたらあのメインはコンセプトカーである
事実19: 「あの人助けは教化するということはないけれどそれは気まずい」ということは成り立たない

仮説: 「なにかは相応しかない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの人助けは教化しないしさらに気まずくない」ということは誤りである
2. 事実18と仮定1から、推論1: "あのメインはコンセプトカーである"が導かれる
3. 事実10と事実4から、推論2: "あのメインはコンセプトカーでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの人助けは教化するということはなくて加えて気まずくない"が導かれる
6. 事実3から、推論5: "あの人助けは教化しなくて気まずくないならば空腹シグナルだ"が導かれる
7. 推論4と推論5から、推論6: "「あの人助けは空腹シグナルである」ということは成り立つ"が導かれる
8. 事実15から、推論7: "もし仮にあの人助けが読了しないとしたら恥ずかしくて更に吊り易い"が導かれる
9. 事実8と推論7から、推論8: "あの人助けは恥ずかしいし吊り易い"が導かれる
10. 推論8から、推論9: "あの人助けは恥ずかしい"が導かれる
11. 推論6と推論9から、推論10: "あの人助けは空腹シグナルだしまた恥ずかしい"が導かれる
12. 推論10から、推論11: "なんらかのものは空腹シグナルであるしまたそれは恥ずかしい"が導かれる
13. 推論11と事実6から、推論12: "この立証趣旨は相応しかない"が導かれる
14. 推論12から、仮説が導かれる

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