もしその妻戸が近付き易いならばその日劇は実施すらなくて更にワクチンでない
fact1: 仮にその生産平滑が実施すらないならその日劇は実施すらないしワクチンでない fact2: その日劇はワクチンでない fact3: 「この正しさは難航するしそれは発症し易い」ということは間違いである fact4: この正しさは難航しない fact5: その日劇は難航しなくてワクチンでない fact6: もし仮にその妻戸が近付き易いとしたらその日劇は実施す一方でワクチンでない fact7: その生産平滑は近付き易い fact8: 仮にこの正しさが難航するしおまけに発症し易いとすればその妻戸は近付き易くない fact9: もし仮にこの正しさが難航するとしたらその生産平滑は実施すらない fact10: その生産平滑は発症し易くない fact11: 「この正しさは難航しないけど発症し易い」ということは成り立たないとするとその生産平滑は実施すらない fact12: もしもこの正しさが難航しないが発症し易いならばその妻戸は近付き易い fact13: この正しさが難航するということはないがしかし発症し易いとするとその妻戸は近付き易いということはない fact14: 「その妻戸は近付き易い」ということは確かであるとしたらその日劇はワクチンでない fact15: もしその生産平滑が実施すらないとしたらその日劇はワクチンだということはない
void -> assump1: 以下のように仮定する。この正しさは難航しない一方で発症し易い; fact13 & assump1 -> int1: その妻戸は近付き易くない; void -> assump2: 以下のように仮定する。その妻戸は近付き易い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この正しさは難航するということはないが発症し易い」ということは本当でない; int3 & fact11 -> int4: その生産平滑は実施すらない; int4 & fact1 -> int5: その日劇は実施すらないしその上ワクチンであるということはない; [assump2] & int5 -> hypothesis;
$facts$ = fact1: 仮にその生産平滑が実施すらないならその日劇は実施すらないしワクチンでない fact2: その日劇はワクチンでない fact3: 「この正しさは難航するしそれは発症し易い」ということは間違いである fact4: この正しさは難航しない fact5: その日劇は難航しなくてワクチンでない fact6: もし仮にその妻戸が近付き易いとしたらその日劇は実施す一方でワクチンでない fact7: その生産平滑は近付き易い fact8: 仮にこの正しさが難航するしおまけに発症し易いとすればその妻戸は近付き易くない fact9: もし仮にこの正しさが難航するとしたらその生産平滑は実施すらない fact10: その生産平滑は発症し易くない fact11: 「この正しさは難航しないけど発症し易い」ということは成り立たないとするとその生産平滑は実施すらない fact12: もしもこの正しさが難航しないが発症し易いならばその妻戸は近付き易い fact13: この正しさが難航するということはないがしかし発症し易いとするとその妻戸は近付き易いということはない fact14: 「その妻戸は近付き易い」ということは確かであるとしたらその日劇はワクチンでない fact15: もしその生産平滑が実施すらないとしたらその日劇はワクチンだということはない ; $hypothesis$ = もしその妻戸が近付き易いならばその日劇は実施すらなくて更にワクチンでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この正しさは難航しない一方で発症し易い; fact13 & assump1 -> int1: その妻戸は近付き易くない; void -> assump2: 以下のように仮定する。その妻戸は近付き易い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この正しさは難航するということはないが発症し易い」ということは本当でない; int3 & fact11 -> int4: その生産平滑は実施すらない; int4 & fact1 -> int5: その日劇は実施すらないしその上ワクチンであるということはない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 仮にその生産平滑が実施すらないならその日劇は実施すらないしワクチンでない
事実2: その日劇はワクチンでない
事実3: 「この正しさは難航するしそれは発症し易い」ということは間違いである
事実4: この正しさは難航しない
事実5: その日劇は難航しなくてワクチンでない
事実6: もし仮にその妻戸が近付き易いとしたらその日劇は実施す一方でワクチンでない
事実7: その生産平滑は近付き易い
事実8: 仮にこの正しさが難航するしおまけに発症し易いとすればその妻戸は近付き易くない
事実9: もし仮にこの正しさが難航するとしたらその生産平滑は実施すらない
事実10: その生産平滑は発症し易くない
事実11: 「この正しさは難航しないけど発症し易い」ということは成り立たないとするとその生産平滑は実施すらない
事実12: もしもこの正しさが難航しないが発症し易いならばその妻戸は近付き易い
事実13: この正しさが難航するということはないがしかし発症し易いとするとその妻戸は近付き易いということはない
事実14: 「その妻戸は近付き易い」ということは確かであるとしたらその日劇はワクチンでない
事実15: もしその生産平滑が実施すらないとしたらその日劇はワクチンだということはない

仮説: もしその妻戸が近付き易いならばその日劇は実施すらなくて更にワクチンでない
1. 仮定1: 以下のように仮定する。この正しさは難航しない一方で発症し易い
2. 事実13と仮定1から、推論1: "その妻戸は近付き易くない"が導かれる
3. 仮定2: 以下のように仮定する。その妻戸は近付き易い
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この正しさは難航するということはないが発症し易い」ということは本当でない"が導かれる
6. 推論3と事実11から、推論4: "その生産平滑は実施すらない"が導かれる
7. 推論4と事実1から、推論5: "その日劇は実施すらないしその上ワクチンであるということはない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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