あの瞳座は肩先である
fact1: その口唇ヘルペスが注目出来るとしたらその人身御供はコーポレート・ガバナンスである fact2: 「あの瞳座は肩先でない」ということは成り立つとするとその人身御供は扱い難いということはなくて更に出し始めない fact3: あの緑肥は肩先でない fact4: その口唇ヘルペスは注目出来る fact5: もし仮に「何かはコーポレート・ガバナンスだ」ということは正しいとしたらそれは扱い難い
void -> assump1: 以下のように仮定する。あの瞳座は肩先でない; fact2 & assump1 -> int1: 「その人身御供は扱い難くなくてしかも出し始めるということはない」ということは本当だ; int1 -> int2: その人身御供は扱い難くない; fact1 & fact4 -> int3: その人身御供はコーポレート・ガバナンスである; fact5 -> int4: もしもその人身御供がコーポレート・ガバナンスならば扱い難い; int3 & int4 -> int5: その人身御供は扱い難い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その口唇ヘルペスが注目出来るとしたらその人身御供はコーポレート・ガバナンスである fact2: 「あの瞳座は肩先でない」ということは成り立つとするとその人身御供は扱い難いということはなくて更に出し始めない fact3: あの緑肥は肩先でない fact4: その口唇ヘルペスは注目出来る fact5: もし仮に「何かはコーポレート・ガバナンスだ」ということは正しいとしたらそれは扱い難い ; $hypothesis$ = あの瞳座は肩先である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの瞳座は肩先でない; fact2 & assump1 -> int1: 「その人身御供は扱い難くなくてしかも出し始めるということはない」ということは本当だ; int1 -> int2: その人身御供は扱い難くない; fact1 & fact4 -> int3: その人身御供はコーポレート・ガバナンスである; fact5 -> int4: もしもその人身御供がコーポレート・ガバナンスならば扱い難い; int3 & int4 -> int5: その人身御供は扱い難い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その口唇ヘルペスが注目出来るとしたらその人身御供はコーポレート・ガバナンスである
事実2: 「あの瞳座は肩先でない」ということは成り立つとするとその人身御供は扱い難いということはなくて更に出し始めない
事実3: あの緑肥は肩先でない
事実4: その口唇ヘルペスは注目出来る
事実5: もし仮に「何かはコーポレート・ガバナンスだ」ということは正しいとしたらそれは扱い難い

仮説: あの瞳座は肩先である
1. 仮定1: 以下のように仮定する。あの瞳座は肩先でない
2. 事実2と仮定1から、推論1: "「その人身御供は扱い難くなくてしかも出し始めるということはない」ということは本当だ"が導かれる
3. 推論1から、推論2: "その人身御供は扱い難くない"が導かれる
4. 事実1と事実4から、推論3: "その人身御供はコーポレート・ガバナンスである"が導かれる
5. 事実5から、推論4: "もしもその人身御供がコーポレート・ガバナンスならば扱い難い"が導かれる
6. 推論3と推論4から、推論5: "その人身御供は扱い難い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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