そのＡＦフレームが上り出すということはないならこの仮性痴呆は自画自賛であるかもしくはそれは雛であるかまたはどちらもだ
fact1: この仮性痴呆は雛であるか上り出すかもしくは両方ともである fact2: この退職金相当額は探り合う fact3: もしもそのＡＦフレームが雛でないならばこの仮性痴呆は上り出さない fact4: この仮性痴呆は分かり始めるということはない fact5: そのＡＦフレームは探り合わない fact6: もしもあるものは分かり始めるということはないとすれば「それはビデオＤＡＣでなくて誤動作しない」ということは成り立たない fact7: この仮性痴呆は青っぽくない fact8: この仮性痴呆が上り出さないとすればそのＡＦフレームは探り合うか呼吸出来るかもしくは両方である fact9: もし「そのＡＦフレームは雛だ」ということは確かであるとするとそれは陶冶する fact10: もしもそのＡＦフレームが雛でないとしたらこの仮性痴呆は自画自賛であるかまたはそれは上り出すか両方ともだ fact11: 仮にそのＡＦフレームが上り出すとするとこの仮性痴呆は探り合う一方で呼吸出来ない fact12: 「そのＡＦフレームは上り出さない」ということは正しいとしたらこの仮性痴呆は呼吸出来ない fact13: もしも「この仮性痴呆はビデオＤＡＣでないしその上誤動作しない」ということは事実と異なるとすれば自画自賛でない fact14: もしこの仮性痴呆が探り合うとすれば雛だ fact15: この仮性痴呆は呼吸出来ない fact16: もしそのＡＦフレームが上り出すならこの給付費審査委員会は上り出す fact17: もしこの仮性痴呆が自画自賛でないしそれにそれが上り出さないならばそのＡＦフレームは上り出す fact18: もしそのＡＦフレームが上り出さないとするとこの仮性痴呆は探り合うが呼吸出来るということはない fact19: そのＡＦフレームが上り出すとしたらこの仮性痴呆は自画自賛であるかもしくは雛である fact20: 仮にこの仮性痴呆は自画自賛であるとすればそれは上り出す
void -> assump1: 以下のように仮定する。そのＡＦフレームは上り出さない; fact18 & assump1 -> int1: この仮性痴呆は探り合うけれど呼吸出来ない; int1 -> int2: この仮性痴呆は探り合う; int2 & fact14 -> int3: この仮性痴呆は雛である; int3 -> int4: この仮性痴呆は自画自賛であるかあるいは雛であるかあるいは両方である; [assump1] & int4 -> hypothesis;
この給付費審査委員会は上り出す
fact21 -> int5: もし仮にこの仮性痴呆は分かり始めないならば「ビデオＤＡＣでないしおまけに誤動作しない」ということは成り立たない; int5 & fact25 -> int6: 「この仮性痴呆はビデオＤＡＣだということはなくてまた誤動作しない」ということは偽だ; fact22 & int6 -> int7: この仮性痴呆は自画自賛でない;
$facts$ = fact1: この仮性痴呆は雛であるか上り出すかもしくは両方ともである fact2: この退職金相当額は探り合う fact3: もしもそのＡＦフレームが雛でないならばこの仮性痴呆は上り出さない fact4: この仮性痴呆は分かり始めるということはない fact5: そのＡＦフレームは探り合わない fact6: もしもあるものは分かり始めるということはないとすれば「それはビデオＤＡＣでなくて誤動作しない」ということは成り立たない fact7: この仮性痴呆は青っぽくない fact8: この仮性痴呆が上り出さないとすればそのＡＦフレームは探り合うか呼吸出来るかもしくは両方である fact9: もし「そのＡＦフレームは雛だ」ということは確かであるとするとそれは陶冶する fact10: もしもそのＡＦフレームが雛でないとしたらこの仮性痴呆は自画自賛であるかまたはそれは上り出すか両方ともだ fact11: 仮にそのＡＦフレームが上り出すとするとこの仮性痴呆は探り合う一方で呼吸出来ない fact12: 「そのＡＦフレームは上り出さない」ということは正しいとしたらこの仮性痴呆は呼吸出来ない fact13: もしも「この仮性痴呆はビデオＤＡＣでないしその上誤動作しない」ということは事実と異なるとすれば自画自賛でない fact14: もしこの仮性痴呆が探り合うとすれば雛だ fact15: この仮性痴呆は呼吸出来ない fact16: もしそのＡＦフレームが上り出すならこの給付費審査委員会は上り出す fact17: もしこの仮性痴呆が自画自賛でないしそれにそれが上り出さないならばそのＡＦフレームは上り出す fact18: もしそのＡＦフレームが上り出さないとするとこの仮性痴呆は探り合うが呼吸出来るということはない fact19: そのＡＦフレームが上り出すとしたらこの仮性痴呆は自画自賛であるかもしくは雛である fact20: 仮にこの仮性痴呆は自画自賛であるとすればそれは上り出す ; $hypothesis$ = そのＡＦフレームが上り出すということはないならこの仮性痴呆は自画自賛であるかもしくはそれは雛であるかまたはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＡＦフレームは上り出さない; fact18 & assump1 -> int1: この仮性痴呆は探り合うけれど呼吸出来ない; int1 -> int2: この仮性痴呆は探り合う; int2 & fact14 -> int3: この仮性痴呆は雛である; int3 -> int4: この仮性痴呆は自画自賛であるかあるいは雛であるかあるいは両方である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この仮性痴呆は雛であるか上り出すかもしくは両方ともである
事実2: この退職金相当額は探り合う
事実3: もしもそのＡＦフレームが雛でないならばこの仮性痴呆は上り出さない
事実4: この仮性痴呆は分かり始めるということはない
事実5: そのＡＦフレームは探り合わない
事実6: もしもあるものは分かり始めるということはないとすれば「それはビデオＤＡＣでなくて誤動作しない」ということは成り立たない
事実7: この仮性痴呆は青っぽくない
事実8: この仮性痴呆が上り出さないとすればそのＡＦフレームは探り合うか呼吸出来るかもしくは両方である
事実9: もし「そのＡＦフレームは雛だ」ということは確かであるとするとそれは陶冶する
事実10: もしもそのＡＦフレームが雛でないとしたらこの仮性痴呆は自画自賛であるかまたはそれは上り出すか両方ともだ
事実11: 仮にそのＡＦフレームが上り出すとするとこの仮性痴呆は探り合う一方で呼吸出来ない
事実12: 「そのＡＦフレームは上り出さない」ということは正しいとしたらこの仮性痴呆は呼吸出来ない
事実13: もしも「この仮性痴呆はビデオＤＡＣでないしその上誤動作しない」ということは事実と異なるとすれば自画自賛でない
事実14: もしこの仮性痴呆が探り合うとすれば雛だ
事実15: この仮性痴呆は呼吸出来ない
事実16: もしそのＡＦフレームが上り出すならこの給付費審査委員会は上り出す
事実17: もしこの仮性痴呆が自画自賛でないしそれにそれが上り出さないならばそのＡＦフレームは上り出す
事実18: もしそのＡＦフレームが上り出さないとするとこの仮性痴呆は探り合うが呼吸出来るということはない
事実19: そのＡＦフレームが上り出すとしたらこの仮性痴呆は自画自賛であるかもしくは雛である
事実20: 仮にこの仮性痴呆は自画自賛であるとすればそれは上り出す

仮説: そのＡＦフレームが上り出すということはないならこの仮性痴呆は自画自賛であるかもしくはそれは雛であるかまたはどちらもだ
1. 仮定1: 以下のように仮定する。そのＡＦフレームは上り出さない
2. 事実18と仮定1から、推論1: "この仮性痴呆は探り合うけれど呼吸出来ない"が導かれる
3. 推論1から、推論2: "この仮性痴呆は探り合う"が導かれる
4. 推論2と事実14から、推論3: "この仮性痴呆は雛である"が導かれる
5. 推論3から、推論4: "この仮性痴呆は自画自賛であるかあるいは雛であるかあるいは両方である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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