あの小手先が扶桑略記だけどそれはＳＳγでない
fact1: もしも「あのブラーは民間資金であるということはないしその上めんどくない」ということは間違っているとしたら民間資金である fact2: 「あの小手先は扶桑略記であるしそれにＳＳγだ」ということは成り立たない fact3: 仮にあの英語学習がウエルカムだとしたらあの小手先はウエルカムである fact4: もしあの英語学習は民間資金であるとしたら「利用し易い」ということは事実である fact5: 仮に何かは搬送するならそれは暗い fact6: 何らかのものが搬送しないとすればそれは暗くないかもしくはそれはウエルカムであるか両方だ fact7: もし仮にあの英語学習が搬送するということはなくてしかも利用し易いということはないならばあの小手先は搬送する fact8: もし仮にあの小手先がＳＳγだとすればそれはウエルカムでない fact9: もしあの英語学習が民間資金でないなら搬送しなくて利用し易くない fact10: もしもあのブラーが民間資金であるしそれは愛らしいとすれば「あの英語学習は民間資金でない」ということは嘘でない fact11: あの英語学習は民間資金だ fact12: あの小手先はＳＳγでない fact13: もし仮に「あの小手先は扶桑略記である一方でＳＳγでない」ということは偽ならば「それはウエルカムでない」ということは本当である fact14: あの英語学習はウエルカムであるかもしくは暗い fact15: もしもあの小手先が暗いとすればあの英語学習は扶桑略記である fact16: 「あのブラーは民間資金でないし更にめんどくない」ということは事実と異なる fact17: もし「あのブラーは軍人らしいしその上ウエルカムだ」ということは成り立たないとすればあの英語学習は軍人らしくない fact18: もしあの英語学習が暗いとしたらあの小手先はウエルカムだ fact19: 仮にあの小手先が軍人らしくないならあの活動電位は消化吸収であるけれどそれは余儀無くない fact20: もし何かは軍人らしくないなら「それは扶桑略記であるしＳＳγでない」ということは偽である fact21: もしなにがしかの物が職業書家でない一方で凱歌だとしたらそれは愛らしい fact22: 「利用し易くない」ものはある fact23: もし仮にあのブラーが狭しならそれは職業書家だということはなくてそれにそれは凱歌である
void -> assump1: 以下のように仮定する。「あの小手先は扶桑略記だがしかしＳＳγでない」ということは間違いだ; fact13 & assump1 -> int1: 「あの小手先はウエルカムでない」ということは真実だ; fact14 & fact3 & fact18 -> int2: あの小手先はウエルカムである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact13 & assump1 -> int1: ¬{B}{a}; fact14 & fact3 & fact18 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの小手先は扶桑略記であるがしかしＳＳγでない」ということは嘘である
fact24 -> int4: あの小手先は軍人らしくないならば「扶桑略記だし更にそれはＳＳγでない」ということは間違いである; fact26 -> int5: もしあの小手先が搬送しないとすると暗いということはないかあるいはウエルカムであるかどちらもだ; fact25 & fact27 -> int6: 「あの英語学習は利用し易い」ということは成り立つ; int6 -> int7: 「利用し易い」ものはある;
$facts$ = fact1: もしも「あのブラーは民間資金であるということはないしその上めんどくない」ということは間違っているとしたら民間資金である fact2: 「あの小手先は扶桑略記であるしそれにＳＳγだ」ということは成り立たない fact3: 仮にあの英語学習がウエルカムだとしたらあの小手先はウエルカムである fact4: もしあの英語学習は民間資金であるとしたら「利用し易い」ということは事実である fact5: 仮に何かは搬送するならそれは暗い fact6: 何らかのものが搬送しないとすればそれは暗くないかもしくはそれはウエルカムであるか両方だ fact7: もし仮にあの英語学習が搬送するということはなくてしかも利用し易いということはないならばあの小手先は搬送する fact8: もし仮にあの小手先がＳＳγだとすればそれはウエルカムでない fact9: もしあの英語学習が民間資金でないなら搬送しなくて利用し易くない fact10: もしもあのブラーが民間資金であるしそれは愛らしいとすれば「あの英語学習は民間資金でない」ということは嘘でない fact11: あの英語学習は民間資金だ fact12: あの小手先はＳＳγでない fact13: もし仮に「あの小手先は扶桑略記である一方でＳＳγでない」ということは偽ならば「それはウエルカムでない」ということは本当である fact14: あの英語学習はウエルカムであるかもしくは暗い fact15: もしもあの小手先が暗いとすればあの英語学習は扶桑略記である fact16: 「あのブラーは民間資金でないし更にめんどくない」ということは事実と異なる fact17: もし「あのブラーは軍人らしいしその上ウエルカムだ」ということは成り立たないとすればあの英語学習は軍人らしくない fact18: もしあの英語学習が暗いとしたらあの小手先はウエルカムだ fact19: 仮にあの小手先が軍人らしくないならあの活動電位は消化吸収であるけれどそれは余儀無くない fact20: もし何かは軍人らしくないなら「それは扶桑略記であるしＳＳγでない」ということは偽である fact21: もしなにがしかの物が職業書家でない一方で凱歌だとしたらそれは愛らしい fact22: 「利用し易くない」ものはある fact23: もし仮にあのブラーが狭しならそれは職業書家だということはなくてそれにそれは凱歌である ; $hypothesis$ = あの小手先が扶桑略記だけどそれはＳＳγでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの小手先は扶桑略記だがしかしＳＳγでない」ということは間違いだ; fact13 & assump1 -> int1: 「あの小手先はウエルカムでない」ということは真実だ; fact14 & fact3 & fact18 -> int2: あの小手先はウエルカムである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「あのブラーは民間資金であるということはないしその上めんどくない」ということは間違っているとしたら民間資金である
事実2: 「あの小手先は扶桑略記であるしそれにＳＳγだ」ということは成り立たない
事実3: 仮にあの英語学習がウエルカムだとしたらあの小手先はウエルカムである
事実4: もしあの英語学習は民間資金であるとしたら「利用し易い」ということは事実である
事実5: 仮に何かは搬送するならそれは暗い
事実6: 何らかのものが搬送しないとすればそれは暗くないかもしくはそれはウエルカムであるか両方だ
事実7: もし仮にあの英語学習が搬送するということはなくてしかも利用し易いということはないならばあの小手先は搬送する
事実8: もし仮にあの小手先がＳＳγだとすればそれはウエルカムでない
事実9: もしあの英語学習が民間資金でないなら搬送しなくて利用し易くない
事実10: もしもあのブラーが民間資金であるしそれは愛らしいとすれば「あの英語学習は民間資金でない」ということは嘘でない
事実11: あの英語学習は民間資金だ
事実12: あの小手先はＳＳγでない
事実13: もし仮に「あの小手先は扶桑略記である一方でＳＳγでない」ということは偽ならば「それはウエルカムでない」ということは本当である
事実14: あの英語学習はウエルカムであるかもしくは暗い
事実15: もしもあの小手先が暗いとすればあの英語学習は扶桑略記である
事実16: 「あのブラーは民間資金でないし更にめんどくない」ということは事実と異なる
事実17: もし「あのブラーは軍人らしいしその上ウエルカムだ」ということは成り立たないとすればあの英語学習は軍人らしくない
事実18: もしあの英語学習が暗いとしたらあの小手先はウエルカムだ
事実19: 仮にあの小手先が軍人らしくないならあの活動電位は消化吸収であるけれどそれは余儀無くない
事実20: もし何かは軍人らしくないなら「それは扶桑略記であるしＳＳγでない」ということは偽である
事実21: もしなにがしかの物が職業書家でない一方で凱歌だとしたらそれは愛らしい
事実22: 「利用し易くない」ものはある
事実23: もし仮にあのブラーが狭しならそれは職業書家だということはなくてそれにそれは凱歌である

仮説: あの小手先が扶桑略記だけどそれはＳＳγでない
1. 仮定1: 以下のように仮定する。「あの小手先は扶桑略記だがしかしＳＳγでない」ということは間違いだ
2. 事実13と仮定1から、推論1: "「あの小手先はウエルカムでない」ということは真実だ"が導かれる
3. 事実14と事実3と事実18から、推論2: "あの小手先はウエルカムである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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