もしあの女性弁護士は受領不能だとしたら「この家族歴は話し易くない一方で突発性内耳障害である」ということは偽である
fact1: 「鳴子でなくて連係する」物はある fact2: もし何かは現行システムでないとすれば「それは突発性内耳障害でなくておまけにそれは胃癌取り扱い規約だ」ということは間違っている fact3: 仮にあの女性弁護士は受領不能だとすると「この家族歴は話し易くて突発性内耳障害である」ということは正しいということはない fact4: もし仮にこの家族歴が話し易いということはないけれど突発性内耳障害ならあの女性弁護士は受領不能でない fact5: 「この家族歴は話し易いししかも突発性内耳障害だ」ということは誤っている fact6: もしもあの女性弁護士は受領不能なら「この家族歴は話し易くないがそれは突発性内耳障害である」ということは確かである fact7: 「あの女性弁護士は受領不能でないが話し易い」ということは嘘である fact8: もしもあの女性弁護士が受領不能でないけど突発性内耳障害だとするとこの家族歴は話し易くない fact9: 仮にこの家族歴が話し易いし加えて突発性内耳障害だとするとあの女性弁護士は受領不能でない fact10: 「この家族歴は話し易い」ということは嘘である fact11: この家族歴は突発性内耳障害だ
void -> assump2: 以下のように仮定する。この家族歴は話し易くないがしかし突発性内耳障害である; fact4 & assump2 -> int1: あの女性弁護士は受領不能でない; void -> assump1: 以下のように仮定する。あの女性弁護士は受領不能だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この家族歴は話し易くないけれどそれは突発性内耳障害である」ということは事実と異なる; [assump1] & int3 -> hypothesis;
「その閉鎖療法は突発性内耳障害でないがしかしそれは胃癌取り扱い規約である」ということは誤りだ
fact12 -> int4: 仮にその閉鎖療法は現行システムでないとしたら「突発性内耳障害でないが胃癌取り扱い規約である」ということは事実と異なる;
$facts$ = fact1: 「鳴子でなくて連係する」物はある fact2: もし何かは現行システムでないとすれば「それは突発性内耳障害でなくておまけにそれは胃癌取り扱い規約だ」ということは間違っている fact3: 仮にあの女性弁護士は受領不能だとすると「この家族歴は話し易くて突発性内耳障害である」ということは正しいということはない fact4: もし仮にこの家族歴が話し易いということはないけれど突発性内耳障害ならあの女性弁護士は受領不能でない fact5: 「この家族歴は話し易いししかも突発性内耳障害だ」ということは誤っている fact6: もしもあの女性弁護士は受領不能なら「この家族歴は話し易くないがそれは突発性内耳障害である」ということは確かである fact7: 「あの女性弁護士は受領不能でないが話し易い」ということは嘘である fact8: もしもあの女性弁護士が受領不能でないけど突発性内耳障害だとするとこの家族歴は話し易くない fact9: 仮にこの家族歴が話し易いし加えて突発性内耳障害だとするとあの女性弁護士は受領不能でない fact10: 「この家族歴は話し易い」ということは嘘である fact11: この家族歴は突発性内耳障害だ ; $hypothesis$ = もしあの女性弁護士は受領不能だとしたら「この家族歴は話し易くない一方で突発性内耳障害である」ということは偽である ; $proof$ = 
void -> assump2: 以下のように仮定する。この家族歴は話し易くないがしかし突発性内耳障害である; fact4 & assump2 -> int1: あの女性弁護士は受領不能でない; void -> assump1: 以下のように仮定する。あの女性弁護士は受領不能だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この家族歴は話し易くないけれどそれは突発性内耳障害である」ということは事実と異なる; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「鳴子でなくて連係する」物はある
事実2: もし何かは現行システムでないとすれば「それは突発性内耳障害でなくておまけにそれは胃癌取り扱い規約だ」ということは間違っている
事実3: 仮にあの女性弁護士は受領不能だとすると「この家族歴は話し易くて突発性内耳障害である」ということは正しいということはない
事実4: もし仮にこの家族歴が話し易いということはないけれど突発性内耳障害ならあの女性弁護士は受領不能でない
事実5: 「この家族歴は話し易いししかも突発性内耳障害だ」ということは誤っている
事実6: もしもあの女性弁護士は受領不能なら「この家族歴は話し易くないがそれは突発性内耳障害である」ということは確かである
事実7: 「あの女性弁護士は受領不能でないが話し易い」ということは嘘である
事実8: もしもあの女性弁護士が受領不能でないけど突発性内耳障害だとするとこの家族歴は話し易くない
事実9: 仮にこの家族歴が話し易いし加えて突発性内耳障害だとするとあの女性弁護士は受領不能でない
事実10: 「この家族歴は話し易い」ということは嘘である
事実11: この家族歴は突発性内耳障害だ

仮説: もしあの女性弁護士は受領不能だとしたら「この家族歴は話し易くない一方で突発性内耳障害である」ということは偽である
1. 仮定2: 以下のように仮定する。この家族歴は話し易くないがしかし突発性内耳障害である
2. 事実4と仮定2から、推論1: "あの女性弁護士は受領不能でない"が導かれる
3. 仮定1: 以下のように仮定する。あの女性弁護士は受領不能だ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この家族歴は話し易くないけれどそれは突発性内耳障害である」ということは事実と異なる"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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