あの朱書は若し
fact1: もし仮に「十八歳未満でない」ものがあるならあの朱書は若しということはない fact2: 「あの朱書は倍する」ということは確かである fact3: もし仮に「険しいということはない」物があるとすればあの朱書は教師集団でない fact4: もしも「あの朱書はみっともなくて伸ばし易い」ということは偽なら「それは伸ばし易い」ということは成り立たない fact5: もしそのコンクリが行政訴訟法だとすれば隠し立てしない fact6: あるものは隠し立てしないとすると「それは倍するし十八歳未満だ」ということは成り立つということはない fact7: 「あの朱書は行政訴訟法であるということはない」ということは事実だ fact8: 伸ばし易くないものは隠し立てするしその上行政訴訟法である fact9: もし仮に「「倍するし十八歳未満である」ということは成り立たない」物があるならあの朱書は若しということはない fact10: 「そのコンクリは行政訴訟法だ」ということは正しい fact11: 何かは隠し立てするなら若し
fact6 -> int1: 仮に「そのコンクリは隠し立てしない」ということは本当であるなら「倍するしかつ十八歳未満である」ということは成り立たない; fact5 & fact10 -> int2: そのコンクリは隠し立てするということはない; int1 & int2 -> int3: 「そのコンクリは倍するし十八歳未満である」ということは嘘である; int3 -> int4: 「「倍するししかも十八歳未満である」ということは成り立たない」ものはある; int4 & fact9 -> hypothesis;
あの朱書は若し
fact12 -> int5: もしあの朱書は隠し立てするとしたら「若し」ということは正しい; fact13 -> int6: あの朱書が伸ばし易くないとするとそれは隠し立てするし行政訴訟法だ;
$facts$ = fact1: もし仮に「十八歳未満でない」ものがあるならあの朱書は若しということはない fact2: 「あの朱書は倍する」ということは確かである fact3: もし仮に「険しいということはない」物があるとすればあの朱書は教師集団でない fact4: もしも「あの朱書はみっともなくて伸ばし易い」ということは偽なら「それは伸ばし易い」ということは成り立たない fact5: もしそのコンクリが行政訴訟法だとすれば隠し立てしない fact6: あるものは隠し立てしないとすると「それは倍するし十八歳未満だ」ということは成り立つということはない fact7: 「あの朱書は行政訴訟法であるということはない」ということは事実だ fact8: 伸ばし易くないものは隠し立てするしその上行政訴訟法である fact9: もし仮に「「倍するし十八歳未満である」ということは成り立たない」物があるならあの朱書は若しということはない fact10: 「そのコンクリは行政訴訟法だ」ということは正しい fact11: 何かは隠し立てするなら若し ; $hypothesis$ = あの朱書は若し ; $proof$ = 
fact6 -> int1: 仮に「そのコンクリは隠し立てしない」ということは本当であるなら「倍するしかつ十八歳未満である」ということは成り立たない; fact5 & fact10 -> int2: そのコンクリは隠し立てするということはない; int1 & int2 -> int3: 「そのコンクリは倍するし十八歳未満である」ということは嘘である; int3 -> int4: 「「倍するししかも十八歳未満である」ということは成り立たない」ものはある; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「十八歳未満でない」ものがあるならあの朱書は若しということはない
事実2: 「あの朱書は倍する」ということは確かである
事実3: もし仮に「険しいということはない」物があるとすればあの朱書は教師集団でない
事実4: もしも「あの朱書はみっともなくて伸ばし易い」ということは偽なら「それは伸ばし易い」ということは成り立たない
事実5: もしそのコンクリが行政訴訟法だとすれば隠し立てしない
事実6: あるものは隠し立てしないとすると「それは倍するし十八歳未満だ」ということは成り立つということはない
事実7: 「あの朱書は行政訴訟法であるということはない」ということは事実だ
事実8: 伸ばし易くないものは隠し立てするしその上行政訴訟法である
事実9: もし仮に「「倍するし十八歳未満である」ということは成り立たない」物があるならあの朱書は若しということはない
事実10: 「そのコンクリは行政訴訟法だ」ということは正しい
事実11: 何かは隠し立てするなら若し

仮説: あの朱書は若し
1. 事実6から、推論1: "仮に「そのコンクリは隠し立てしない」ということは本当であるなら「倍するしかつ十八歳未満である」ということは成り立たない"が導かれる
2. 事実5と事実10から、推論2: "そのコンクリは隠し立てするということはない"が導かれる
3. 推論1と推論2から、推論3: "「そのコンクリは倍するし十八歳未満である」ということは嘘である"が導かれる
4. 推論3から、推論4: "「「倍するししかも十八歳未満である」ということは成り立たない」ものはある"が導かれる
5. 推論4と事実9から、仮説が否定される

よって、仮説が否定されました。