この周王朝は転生出来なくてＦＦＴでない
fact1: その運転席は汚れ易くない fact2: もしあるものが有事立法でないしさらに痩せ難くないならそれは汚れ易い fact3: この周王朝は転生出来ない fact4: もしも「その運転席は有事立法でないし痩せ難いということはない」ということは誤りであるとしたらこの周王朝は制さない fact5: もし仮にこの周王朝が制さないならばそれは転生出来るということはなくて更にＦＦＴでない
fact2 -> int1: もし仮にその運転席が有事立法だということはないしまたそれが痩せ難くないとすると汚れ易い; void -> assump1: 以下のように仮定する。その運転席は有事立法でなくてしかも痩せ難くない; int1 & assump1 -> int2: その運転席は汚れ易い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その運転席は有事立法でなくてかつ痩せ難くない」ということは成り立つということはない; int4 & fact4 -> int5: この周王朝は制さない; int5 & fact5 -> hypothesis;
$facts$ = fact1: その運転席は汚れ易くない fact2: もしあるものが有事立法でないしさらに痩せ難くないならそれは汚れ易い fact3: この周王朝は転生出来ない fact4: もしも「その運転席は有事立法でないし痩せ難いということはない」ということは誤りであるとしたらこの周王朝は制さない fact5: もし仮にこの周王朝が制さないならばそれは転生出来るということはなくて更にＦＦＴでない ; $hypothesis$ = この周王朝は転生出来なくてＦＦＴでない ; $proof$ = 
fact2 -> int1: もし仮にその運転席が有事立法だということはないしまたそれが痩せ難くないとすると汚れ易い; void -> assump1: 以下のように仮定する。その運転席は有事立法でなくてしかも痩せ難くない; int1 & assump1 -> int2: その運転席は汚れ易い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その運転席は有事立法でなくてかつ痩せ難くない」ということは成り立つということはない; int4 & fact4 -> int5: この周王朝は制さない; int5 & fact5 -> hypothesis; __PROVED__
事実1: その運転席は汚れ易くない
事実2: もしあるものが有事立法でないしさらに痩せ難くないならそれは汚れ易い
事実3: この周王朝は転生出来ない
事実4: もしも「その運転席は有事立法でないし痩せ難いということはない」ということは誤りであるとしたらこの周王朝は制さない
事実5: もし仮にこの周王朝が制さないならばそれは転生出来るということはなくて更にＦＦＴでない

仮説: この周王朝は転生出来なくてＦＦＴでない
1. 事実2から、推論1: "もし仮にその運転席が有事立法だということはないしまたそれが痩せ難くないとすると汚れ易い"が導かれる
2. 仮定1: 以下のように仮定する。その運転席は有事立法でなくてしかも痩せ難くない
3. 推論1と仮定1から、推論2: "その運転席は汚れ易い"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その運転席は有事立法でなくてかつ痩せ難くない」ということは成り立つということはない"が導かれる
6. 推論4と事実4から、推論5: "この周王朝は制さない"が導かれる
7. 推論5と事実5から、仮説が導かれる

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