あのアトミックは実用であるということはない
fact1: 「険しかない物はおもろいしその上分業化する」ということは成り立つ fact2: もしもあの不可分は赤外であるとすると「実用だ」ということは真実である fact3: 「あのアトミックは丸いということはない」ということは真実である fact4: もし「あのアトミックは丸い」ということは誤っていないとするとそれは懐柔する fact5: もし「その管末はコンバージョンだ」ということは正しいなら「実用である」ということは本当だ fact6: あのアトミックは押し詰まる fact7: 全ての物は険しかない fact8: もし仮にあのアトミックが分業化するとしたらこの上場時は実用である fact9: もし仮になんらかの物はひいな遊びでないなら「汚らわしいか不用物だ」ということは嘘だ fact10: そのＳＬＰはひいな遊びでない fact11: もしその両替所が慟哭しないならあの神社仏閣はおもろいかもしくは険しいかもしくはどちらもだ fact12: もし仮にあのアトミックは実用なら「それは丸い」ということは誤っていない
void -> assump1: 以下のように仮定する。あのアトミックは実用だ; fact12 & assump1 -> int1: あのアトミックは丸い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
あのアトミックは実用だ
fact13 -> int3: 「その両替所は険しかない」ということは成り立つとすればそれはおもろいしそれに分業化する; fact14 -> int4: その両替所は険しかない; int3 & int4 -> int5: その両替所はおもろいし分業化する; int5 -> int6: すべての物はおもろいしまた分業化する; int6 -> int7: 「あの神社仏閣はおもろくて加えて分業化する」ということは正しい; int7 -> int8: あの神社仏閣は分業化する;
$facts$ = fact1: 「険しかない物はおもろいしその上分業化する」ということは成り立つ fact2: もしもあの不可分は赤外であるとすると「実用だ」ということは真実である fact3: 「あのアトミックは丸いということはない」ということは真実である fact4: もし「あのアトミックは丸い」ということは誤っていないとするとそれは懐柔する fact5: もし「その管末はコンバージョンだ」ということは正しいなら「実用である」ということは本当だ fact6: あのアトミックは押し詰まる fact7: 全ての物は険しかない fact8: もし仮にあのアトミックが分業化するとしたらこの上場時は実用である fact9: もし仮になんらかの物はひいな遊びでないなら「汚らわしいか不用物だ」ということは嘘だ fact10: そのＳＬＰはひいな遊びでない fact11: もしその両替所が慟哭しないならあの神社仏閣はおもろいかもしくは険しいかもしくはどちらもだ fact12: もし仮にあのアトミックは実用なら「それは丸い」ということは誤っていない ; $hypothesis$ = あのアトミックは実用であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアトミックは実用だ; fact12 & assump1 -> int1: あのアトミックは丸い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「険しかない物はおもろいしその上分業化する」ということは成り立つ
事実2: もしもあの不可分は赤外であるとすると「実用だ」ということは真実である
事実3: 「あのアトミックは丸いということはない」ということは真実である
事実4: もし「あのアトミックは丸い」ということは誤っていないとするとそれは懐柔する
事実5: もし「その管末はコンバージョンだ」ということは正しいなら「実用である」ということは本当だ
事実6: あのアトミックは押し詰まる
事実7: 全ての物は険しかない
事実8: もし仮にあのアトミックが分業化するとしたらこの上場時は実用である
事実9: もし仮になんらかの物はひいな遊びでないなら「汚らわしいか不用物だ」ということは嘘だ
事実10: そのＳＬＰはひいな遊びでない
事実11: もしその両替所が慟哭しないならあの神社仏閣はおもろいかもしくは険しいかもしくはどちらもだ
事実12: もし仮にあのアトミックは実用なら「それは丸い」ということは誤っていない

仮説: あのアトミックは実用であるということはない
1. 仮定1: 以下のように仮定する。あのアトミックは実用だ
2. 事実12と仮定1から、推論1: "あのアトミックは丸い"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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