この欠勤は出産しない
fact1: もしも「その港町は伸ばし易くてそれに出産する」ということは成り立たないとするとその高齢者円滑入居賃貸住宅は出産しない fact2: もし「この欠勤は伸ばし易くない」ということは成り立つなら「その高齢者円滑入居賃貸住宅は伸ばし易くないがしかし新調する」ということは間違っている fact3: その高齢者円滑入居賃貸住宅は練り粉でなくて仕舞い易くない fact4: 空々しかない物は伸ばし易くないし新調しない fact5: もしも「この欠勤は今世紀末でないし更に出産するということはない」ということは間違っているなら伸ばし易いということはない fact6: その高齢者円滑入居賃貸住宅が出産しないとするとこの欠勤は出産する fact7: その高齢者円滑入居賃貸住宅が練り粉でなくてそれにそれが仕舞い易くないとすると空々しかない fact8: もし仮にこの欠勤は伸ばし易くないとしたら「その高齢者円滑入居賃貸住宅は伸ばし易くないし加えて新調しない」ということは間違いだ
void -> assump1: 以下のように仮定する。「この欠勤は今世紀末であるということはなくてそれにそれは出産しない」ということは嘘だ; fact5 & assump1 -> int1: この欠勤は伸ばし易くない; int1 & fact8 -> int2: 「その高齢者円滑入居賃貸住宅は伸ばし易いということはないしそれは新調しない」ということは間違っている; fact4 -> int3: もしその高齢者円滑入居賃貸住宅が空々しかないなら伸ばし易いということはなくて新調しない; fact3 & fact7 -> int4: その高齢者円滑入居賃貸住宅は空々しかない; int3 & int4 -> int5: 「その高齢者円滑入居賃貸住宅は伸ばし易くないしおまけにそれは新調するということはない」ということは事実だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この欠勤は今世紀末でないしそれに出産しない; int7 -> hypothesis;
この欠勤は出産する
$facts$ = fact1: もしも「その港町は伸ばし易くてそれに出産する」ということは成り立たないとするとその高齢者円滑入居賃貸住宅は出産しない fact2: もし「この欠勤は伸ばし易くない」ということは成り立つなら「その高齢者円滑入居賃貸住宅は伸ばし易くないがしかし新調する」ということは間違っている fact3: その高齢者円滑入居賃貸住宅は練り粉でなくて仕舞い易くない fact4: 空々しかない物は伸ばし易くないし新調しない fact5: もしも「この欠勤は今世紀末でないし更に出産するということはない」ということは間違っているなら伸ばし易いということはない fact6: その高齢者円滑入居賃貸住宅が出産しないとするとこの欠勤は出産する fact7: その高齢者円滑入居賃貸住宅が練り粉でなくてそれにそれが仕舞い易くないとすると空々しかない fact8: もし仮にこの欠勤は伸ばし易くないとしたら「その高齢者円滑入居賃貸住宅は伸ばし易くないし加えて新調しない」ということは間違いだ ; $hypothesis$ = この欠勤は出産しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この欠勤は今世紀末であるということはなくてそれにそれは出産しない」ということは嘘だ; fact5 & assump1 -> int1: この欠勤は伸ばし易くない; int1 & fact8 -> int2: 「その高齢者円滑入居賃貸住宅は伸ばし易いということはないしそれは新調しない」ということは間違っている; fact4 -> int3: もしその高齢者円滑入居賃貸住宅が空々しかないなら伸ばし易いということはなくて新調しない; fact3 & fact7 -> int4: その高齢者円滑入居賃貸住宅は空々しかない; int3 & int4 -> int5: 「その高齢者円滑入居賃貸住宅は伸ばし易くないしおまけにそれは新調するということはない」ということは事実だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この欠勤は今世紀末でないしそれに出産しない; int7 -> hypothesis; __PROVED__
事実1: もしも「その港町は伸ばし易くてそれに出産する」ということは成り立たないとするとその高齢者円滑入居賃貸住宅は出産しない
事実2: もし「この欠勤は伸ばし易くない」ということは成り立つなら「その高齢者円滑入居賃貸住宅は伸ばし易くないがしかし新調する」ということは間違っている
事実3: その高齢者円滑入居賃貸住宅は練り粉でなくて仕舞い易くない
事実4: 空々しかない物は伸ばし易くないし新調しない
事実5: もしも「この欠勤は今世紀末でないし更に出産するということはない」ということは間違っているなら伸ばし易いということはない
事実6: その高齢者円滑入居賃貸住宅が出産しないとするとこの欠勤は出産する
事実7: その高齢者円滑入居賃貸住宅が練り粉でなくてそれにそれが仕舞い易くないとすると空々しかない
事実8: もし仮にこの欠勤は伸ばし易くないとしたら「その高齢者円滑入居賃貸住宅は伸ばし易くないし加えて新調しない」ということは間違いだ

仮説: この欠勤は出産しない
1. 仮定1: 以下のように仮定する。「この欠勤は今世紀末であるということはなくてそれにそれは出産しない」ということは嘘だ
2. 事実5と仮定1から、推論1: "この欠勤は伸ばし易くない"が導かれる
3. 推論1と事実8から、推論2: "「その高齢者円滑入居賃貸住宅は伸ばし易いということはないしそれは新調しない」ということは間違っている"が導かれる
4. 事実4から、推論3: "もしその高齢者円滑入居賃貸住宅が空々しかないなら伸ばし易いということはなくて新調しない"が導かれる
5. 事実3と事実7から、推論4: "その高齢者円滑入居賃貸住宅は空々しかない"が導かれる
6. 推論3と推論4から、推論5: "「その高齢者円滑入居賃貸住宅は伸ばし易くないしおまけにそれは新調するということはない」ということは事実だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この欠勤は今世紀末でないしそれに出産しない"が導かれる
9. 推論7から、仮説が導かれる

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