この新憲法制定は敢え無くない
fact1: あの真空状態は増改築する fact2: この公正性は増改築する fact3: もし「この公正性は有り難くないか尋ね歩かないかまたは両方である」ということは成り立たないとしたらそれは倫理上だ fact4: もしもこの公正性は有り難くないかもしくは尋ね歩かないかまたは両方ともだとしたらそれは輸血である fact5: この新憲法制定は輸血だとしたら「この公正性は有り難くないかあるいは駆除するということはないかあるいは両方である」ということは確かでない fact6: この公正性は倫理上でない fact7: もしもこの公正性が輸血だとしたらそれは補正する fact8: この新憲法制定が煙たいならそれは増改築する fact9: 仮にこの公正性が増改築するし加えて補正するならばあの新憲法制定は敢え無いということはない
void -> assump1: 以下のように仮定する。「この公正性は有り難くないかまたは尋ね歩くということはないかあるいは両方ともである」ということは間違いである; fact3 & assump1 -> int1: この公正性は倫理上だ; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: この公正性は有り難くないかもしくは尋ね歩かないかもしくは両方である; int3 & fact4 -> int4: この公正性は輸血である; int4 & fact7 -> int5: この公正性は補正する; int5 & fact2 -> int6: この公正性は増改築するし補正する; int6 & fact9 -> hypothesis;
「「この公正性は有り難いということはないかもしくは駆除しないか両方ともだ」ということは誤っている」ということは確かだ
$facts$ = fact1: あの真空状態は増改築する fact2: この公正性は増改築する fact3: もし「この公正性は有り難くないか尋ね歩かないかまたは両方である」ということは成り立たないとしたらそれは倫理上だ fact4: もしもこの公正性は有り難くないかもしくは尋ね歩かないかまたは両方ともだとしたらそれは輸血である fact5: この新憲法制定は輸血だとしたら「この公正性は有り難くないかあるいは駆除するということはないかあるいは両方である」ということは確かでない fact6: この公正性は倫理上でない fact7: もしもこの公正性が輸血だとしたらそれは補正する fact8: この新憲法制定が煙たいならそれは増改築する fact9: 仮にこの公正性が増改築するし加えて補正するならばあの新憲法制定は敢え無いということはない ; $hypothesis$ = この新憲法制定は敢え無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この公正性は有り難くないかまたは尋ね歩くということはないかあるいは両方ともである」ということは間違いである; fact3 & assump1 -> int1: この公正性は倫理上だ; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: この公正性は有り難くないかもしくは尋ね歩かないかもしくは両方である; int3 & fact4 -> int4: この公正性は輸血である; int4 & fact7 -> int5: この公正性は補正する; int5 & fact2 -> int6: この公正性は増改築するし補正する; int6 & fact9 -> hypothesis; __PROVED__
事実1: あの真空状態は増改築する
事実2: この公正性は増改築する
事実3: もし「この公正性は有り難くないか尋ね歩かないかまたは両方である」ということは成り立たないとしたらそれは倫理上だ
事実4: もしもこの公正性は有り難くないかもしくは尋ね歩かないかまたは両方ともだとしたらそれは輸血である
事実5: この新憲法制定は輸血だとしたら「この公正性は有り難くないかあるいは駆除するということはないかあるいは両方である」ということは確かでない
事実6: この公正性は倫理上でない
事実7: もしもこの公正性が輸血だとしたらそれは補正する
事実8: この新憲法制定が煙たいならそれは増改築する
事実9: 仮にこの公正性が増改築するし加えて補正するならばあの新憲法制定は敢え無いということはない

仮説: この新憲法制定は敢え無くない
1. 仮定1: 以下のように仮定する。「この公正性は有り難くないかまたは尋ね歩くということはないかあるいは両方ともである」ということは間違いである
2. 事実3と仮定1から、推論1: "この公正性は倫理上だ"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この公正性は有り難くないかもしくは尋ね歩かないかもしくは両方である"が導かれる
5. 推論3と事実4から、推論4: "この公正性は輸血である"が導かれる
6. 推論4と事実7から、推論5: "この公正性は補正する"が導かれる
7. 推論5と事実2から、推論6: "この公正性は増改築するし補正する"が導かれる
8. 推論6と事実9から、仮説が導かれる

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