「注射用抗菌薬だとすると丸くない」物はある
fact1: そのアパルトメントは外化する fact2: もし「ある物は冗談っぽくてそれは宙博士だ」ということは事実と異なるとすればそれはマネタリストでない fact3: 汚らしいものは正座する fact4: 冗談っぽい物が解せらないならばそれは汚らしい fact5: あの青春時代は冗談っぽい fact6: もし仮にそのアパルトメントが注射用抗菌薬であるかもしくは汚らしいとしたらあのさよならは宙博士でない fact7: もし仮にそのアパルトメントが注射用抗菌薬ならば汚らしい fact8: そのアパルトメントは解せらない fact9: あの公田が正座しないとすればそのアパルトメントは注射用抗菌薬であるか汚らしい fact10: もしもあの一般教養科目が丸いかあるいは正座するならあの公田は正座しない fact11: 「このマネーは丸い」ということは真実だ fact12: 「もし火道であるとすると線路である」物はある fact13: あのガラス片は革命論だがしかしそれは来泊するということはない fact14: もしも何かは正座するがマネタリストだということはないならそれは丸くない fact15: そのアパルトメントは丸い fact16: その御産椅子はマネタリストだがしかし悍ましかない fact17: その時数は解せらない fact18: 仮にそのアパルトメントは解せらないならば「それは冗談っぽいしそれに宙博士である」ということは誤りだ fact19: この検地帳は丸い fact20: 仮に「何らかの物は汚らしくてそれは注射用抗菌薬である」ということは成り立たないとしたら「解せるということはない」ということは本当だ fact21: そのアパルトメントが動くとすると丸い
void -> assump1: 以下のように仮定する。そのアパルトメントは注射用抗菌薬だ; fact7 & assump1 -> int1: そのアパルトメントは汚らしい; fact3 -> int2: もしもそのアパルトメントが汚らしいなら正座する; int1 & int2 -> int3: そのアパルトメントは正座する; fact2 -> int4: 「そのアパルトメントは冗談っぽいし宙博士である」ということは偽であるならそれはマネタリストでない; fact18 & fact8 -> int5: 「そのアパルトメントは冗談っぽいしさらに宙博士である」ということは誤っている; int4 & int5 -> int6: そのアパルトメントはマネタリストでない; int3 & int6 -> int7: そのアパルトメントは正座する一方でマネタリストでない; fact14 -> int8: そのアパルトメントが正座するがそれがマネタリストでないとすれば丸くない; int7 & int8 -> int9: そのアパルトメントは丸くない; [assump1] & int9 -> int10: もしそのアパルトメントが注射用抗菌薬ならそれは丸くない; int10 -> 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$ = 
void -> assump1: 以下のように仮定する。そのアパルトメントは注射用抗菌薬だ; fact7 & assump1 -> int1: そのアパルトメントは汚らしい; fact3 -> int2: もしもそのアパルトメントが汚らしいなら正座する; int1 & int2 -> int3: そのアパルトメントは正座する; fact2 -> int4: 「そのアパルトメントは冗談っぽいし宙博士である」ということは偽であるならそれはマネタリストでない; fact18 & fact8 -> int5: 「そのアパルトメントは冗談っぽいしさらに宙博士である」ということは誤っている; int4 & int5 -> int6: そのアパルトメントはマネタリストでない; int3 & int6 -> int7: そのアパルトメントは正座する一方でマネタリストでない; fact14 -> int8: そのアパルトメントが正座するがそれがマネタリストでないとすれば丸くない; int7 & int8 -> int9: そのアパルトメントは丸くない; [assump1] & int9 -> int10: もしそのアパルトメントが注射用抗菌薬ならそれは丸くない; int10 -> hypothesis; __PROVED__
事実1: そのアパルトメントは外化する
事実2: もし「ある物は冗談っぽくてそれは宙博士だ」ということは事実と異なるとすればそれはマネタリストでない
事実3: 汚らしいものは正座する
事実4: 冗談っぽい物が解せらないならばそれは汚らしい
事実5: あの青春時代は冗談っぽい
事実6: もし仮にそのアパルトメントが注射用抗菌薬であるかもしくは汚らしいとしたらあのさよならは宙博士でない
事実7: もし仮にそのアパルトメントが注射用抗菌薬ならば汚らしい
事実8: そのアパルトメントは解せらない
事実9: あの公田が正座しないとすればそのアパルトメントは注射用抗菌薬であるか汚らしい
事実10: もしもあの一般教養科目が丸いかあるいは正座するならあの公田は正座しない
事実11: 「このマネーは丸い」ということは真実だ
事実12: 「もし火道であるとすると線路である」物はある
事実13: あのガラス片は革命論だがしかしそれは来泊するということはない
事実14: もしも何かは正座するがマネタリストだということはないならそれは丸くない
事実15: そのアパルトメントは丸い
事実16: その御産椅子はマネタリストだがしかし悍ましかない
事実17: その時数は解せらない
事実18: 仮にそのアパルトメントは解せらないならば「それは冗談っぽいしそれに宙博士である」ということは誤りだ
事実19: この検地帳は丸い
事実20: 仮に「何らかの物は汚らしくてそれは注射用抗菌薬である」ということは成り立たないとしたら「解せるということはない」ということは本当だ
事実21: そのアパルトメントが動くとすると丸い

仮説: 「注射用抗菌薬だとすると丸くない」物はある
1. 仮定1: 以下のように仮定する。そのアパルトメントは注射用抗菌薬だ
2. 事実7と仮定1から、推論1: "そのアパルトメントは汚らしい"が導かれる
3. 事実3から、推論2: "もしもそのアパルトメントが汚らしいなら正座する"が導かれる
4. 推論1と推論2から、推論3: "そのアパルトメントは正座する"が導かれる
5. 事実2から、推論4: "「そのアパルトメントは冗談っぽいし宙博士である」ということは偽であるならそれはマネタリストでない"が導かれる
6. 事実18と事実8から、推論5: "「そのアパルトメントは冗談っぽいしさらに宙博士である」ということは誤っている"が導かれる
7. 推論4と推論5から、推論6: "そのアパルトメントはマネタリストでない"が導かれる
8. 推論3と推論6から、推論7: "そのアパルトメントは正座する一方でマネタリストでない"が導かれる
9. 事実14から、推論8: "そのアパルトメントが正座するがそれがマネタリストでないとすれば丸くない"が導かれる
10. 推論7と推論8から、推論9: "そのアパルトメントは丸くない"が導かれる
11. [仮定1]と推論9から、推論10: "もしそのアパルトメントが注射用抗菌薬ならそれは丸くない"が導かれる
12. 推論10から、仮説が導かれる

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