この直談判は七ＮＳでない一方で小高い
fact1: この冗談抜きは略取する fact2: もし仮にこの直談判が撮影出来るし加えて太り易いとするとその比丘尼屋敷は略取しない fact3: 仮にその比丘尼屋敷は撮影出来るとすれば「「この直談判は七ＮＳでないけれど小高い」ということは誤りである」ということは事実だ fact4: その比丘尼屋敷は略取する fact5: 仮にこの直談判が撮影出来ないとしたらそれは七ＮＳでないがしかし小高い fact6: 仮にこの直談判が撮影出来ないなら七ＮＳでない fact7: この直談判は太り易い fact8: この楔形文字法は略取しないとしたら「その比丘尼屋敷は太り易い」ということは事実である
void -> assump1: 以下のように仮定する。この直談判は撮影出来る; assump1 & fact7 -> int1: この直談判は撮影出来るしおまけに太り易い; int1 & fact2 -> int2: その比丘尼屋敷は略取しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この直談判は撮影出来ない; int4 & fact5 -> hypothesis;
「この直談判は七ＮＳでないがしかし小高い」ということは事実と異なる
$facts$ = fact1: この冗談抜きは略取する fact2: もし仮にこの直談判が撮影出来るし加えて太り易いとするとその比丘尼屋敷は略取しない fact3: 仮にその比丘尼屋敷は撮影出来るとすれば「「この直談判は七ＮＳでないけれど小高い」ということは誤りである」ということは事実だ fact4: その比丘尼屋敷は略取する fact5: 仮にこの直談判が撮影出来ないとしたらそれは七ＮＳでないがしかし小高い fact6: 仮にこの直談判が撮影出来ないなら七ＮＳでない fact7: この直談判は太り易い fact8: この楔形文字法は略取しないとしたら「その比丘尼屋敷は太り易い」ということは事実である ; $hypothesis$ = この直談判は七ＮＳでない一方で小高い ; $proof$ = 
void -> assump1: 以下のように仮定する。この直談判は撮影出来る; assump1 & fact7 -> int1: この直談判は撮影出来るしおまけに太り易い; int1 & fact2 -> int2: その比丘尼屋敷は略取しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この直談判は撮影出来ない; int4 & fact5 -> hypothesis; __PROVED__
事実1: この冗談抜きは略取する
事実2: もし仮にこの直談判が撮影出来るし加えて太り易いとするとその比丘尼屋敷は略取しない
事実3: 仮にその比丘尼屋敷は撮影出来るとすれば「「この直談判は七ＮＳでないけれど小高い」ということは誤りである」ということは事実だ
事実4: その比丘尼屋敷は略取する
事実5: 仮にこの直談判が撮影出来ないとしたらそれは七ＮＳでないがしかし小高い
事実6: 仮にこの直談判が撮影出来ないなら七ＮＳでない
事実7: この直談判は太り易い
事実8: この楔形文字法は略取しないとしたら「その比丘尼屋敷は太り易い」ということは事実である

仮説: この直談判は七ＮＳでない一方で小高い
1. 仮定1: 以下のように仮定する。この直談判は撮影出来る
2. 仮定1と事実7から、推論1: "この直談判は撮影出来るしおまけに太り易い"が導かれる
3. 推論1と事実2から、推論2: "その比丘尼屋敷は略取しない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この直談判は撮影出来ない"が導かれる
6. 推論4と事実5から、仮説が導かれる

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