その五年未満はすげなくない
fact1: もしなにかは見間違えらないとしたらそれは艶っぽくて都市民だ fact2: もし仮に「「大江家でなくて加えて見間違える」ということは誤りである」ものがあるとするとその人工培地は見間違えらない fact3: もしも何らかの物は一般病棟であるならそれは艶っぽくない fact4: 何らかの物は大江家でない一方で見間違える fact5: 「「現われ易くないし一般病棟だ」ということは成り立たない」物はある fact6: 「「大江家でないが見間違える」ということは成り立たない」ものはある fact7: その五年未満がすげないとすればあの本省は現われ易い fact8: もしもこの本省が現われ易いとしたらその人工培地は一般病棟である fact9: もし仮に「この本省は一般病棟であるがすげなくない」ということは成り立たないならば「その五年未満はすげない」ということは偽であるということはない fact10: 仮に「その人工培地は都市民であるしさらに現われ易い」ということは成り立たないとすればあの本省は現われ易くない
void -> assump1: 以下のように仮定する。その五年未満はすげない; fact7 & assump1 -> int1: 「この本省は現われ易い」ということは成り立つ; int1 & fact8 -> int2: その人工培地は一般病棟である; fact3 -> int3: 仮にその人工培地は一般病棟であるとすれば艶っぽくない; int2 & int3 -> int4: その人工培地は艶っぽいということはない; fact6 & fact2 -> int5: その人工培地は見間違えらない; fact1 -> int6: 仮にその人工培地が見間違えないならばそれは艶っぽくて加えて都市民である; int5 & int6 -> int7: その人工培地は艶っぽいししかもそれは都市民だ; int7 -> int8: その人工培地は艶っぽい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その五年未満はすげない
$facts$ = fact1: もしなにかは見間違えらないとしたらそれは艶っぽくて都市民だ fact2: もし仮に「「大江家でなくて加えて見間違える」ということは誤りである」ものがあるとするとその人工培地は見間違えらない fact3: もしも何らかの物は一般病棟であるならそれは艶っぽくない fact4: 何らかの物は大江家でない一方で見間違える fact5: 「「現われ易くないし一般病棟だ」ということは成り立たない」物はある fact6: 「「大江家でないが見間違える」ということは成り立たない」ものはある fact7: その五年未満がすげないとすればあの本省は現われ易い fact8: もしもこの本省が現われ易いとしたらその人工培地は一般病棟である fact9: もし仮に「この本省は一般病棟であるがすげなくない」ということは成り立たないならば「その五年未満はすげない」ということは偽であるということはない fact10: 仮に「その人工培地は都市民であるしさらに現われ易い」ということは成り立たないとすればあの本省は現われ易くない ; $hypothesis$ = その五年未満はすげなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その五年未満はすげない; fact7 & assump1 -> int1: 「この本省は現われ易い」ということは成り立つ; int1 & fact8 -> int2: その人工培地は一般病棟である; fact3 -> int3: 仮にその人工培地は一般病棟であるとすれば艶っぽくない; int2 & int3 -> int4: その人工培地は艶っぽいということはない; fact6 & fact2 -> int5: その人工培地は見間違えらない; fact1 -> int6: 仮にその人工培地が見間違えないならばそれは艶っぽくて加えて都市民である; int5 & int6 -> int7: その人工培地は艶っぽいししかもそれは都市民だ; int7 -> int8: その人工培地は艶っぽい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしなにかは見間違えらないとしたらそれは艶っぽくて都市民だ
事実2: もし仮に「「大江家でなくて加えて見間違える」ということは誤りである」ものがあるとするとその人工培地は見間違えらない
事実3: もしも何らかの物は一般病棟であるならそれは艶っぽくない
事実4: 何らかの物は大江家でない一方で見間違える
事実5: 「「現われ易くないし一般病棟だ」ということは成り立たない」物はある
事実6: 「「大江家でないが見間違える」ということは成り立たない」ものはある
事実7: その五年未満がすげないとすればあの本省は現われ易い
事実8: もしもこの本省が現われ易いとしたらその人工培地は一般病棟である
事実9: もし仮に「この本省は一般病棟であるがすげなくない」ということは成り立たないならば「その五年未満はすげない」ということは偽であるということはない
事実10: 仮に「その人工培地は都市民であるしさらに現われ易い」ということは成り立たないとすればあの本省は現われ易くない

仮説: その五年未満はすげなくない
1. 仮定1: 以下のように仮定する。その五年未満はすげない
2. 事実7と仮定1から、推論1: "「この本省は現われ易い」ということは成り立つ"が導かれる
3. 推論1と事実8から、推論2: "その人工培地は一般病棟である"が導かれる
4. 事実3から、推論3: "仮にその人工培地は一般病棟であるとすれば艶っぽくない"が導かれる
5. 推論2と推論3から、推論4: "その人工培地は艶っぽいということはない"が導かれる
6. 事実6と事実2から、推論5: "その人工培地は見間違えらない"が導かれる
7. 事実1から、推論6: "仮にその人工培地が見間違えないならばそれは艶っぽくて加えて都市民である"が導かれる
8. 推論5と推論6から、推論7: "その人工培地は艶っぽいししかもそれは都市民だ"が導かれる
9. 推論7から、推論8: "その人工培地は艶っぽい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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