そのアマチュアリズムはわりなくない
fact1: その一般住民は明治憲法下でない fact2: 何らかの物は明治憲法下でないけれど伝え難いならそれは下げ渡す fact3: 仮にその一般住民は存在自体なら「そのアマチュアリズムはわりなくない」ということは確かである fact4: もしもその一般住民は下げ渡さないとしたら「あの国語教科書は薄汚いし更にわりない」ということは成り立つ fact5: もしその一般住民が明治憲法下であるしまた伝え難いとすると下げ渡す fact6: その一般住民は薄汚い fact7: もしもその一般住民は薄汚いとすれば「明治憲法下でないがしかし伝え難い」ということは事実だ fact8: もしもその一般住民が薄汚いならば明治憲法下でない fact9: 明治憲法下は伝え難いとしたら「それは下げ渡す」ということは真実である fact10: その一般住民が下げ渡すかそれが存在自体であるかもしくは両方ならばそのアマチュアリズムはわりなくない
fact7 & fact6 -> int1: その一般住民は明治憲法下でないけれど伝え難い; fact2 -> int2: もしもその一般住民が明治憲法下でないけれど伝え難いならば下げ渡す; int1 & int2 -> int3: その一般住民は下げ渡す; int3 -> int4: その一般住民は下げ渡すかあるいはそれは存在自体であるかまたは両方ともである; int4 & fact10 -> hypothesis;
あの国語教科書はわりない
$facts$ = fact1: その一般住民は明治憲法下でない fact2: 何らかの物は明治憲法下でないけれど伝え難いならそれは下げ渡す fact3: 仮にその一般住民は存在自体なら「そのアマチュアリズムはわりなくない」ということは確かである fact4: もしもその一般住民は下げ渡さないとしたら「あの国語教科書は薄汚いし更にわりない」ということは成り立つ fact5: もしその一般住民が明治憲法下であるしまた伝え難いとすると下げ渡す fact6: その一般住民は薄汚い fact7: もしもその一般住民は薄汚いとすれば「明治憲法下でないがしかし伝え難い」ということは事実だ fact8: もしもその一般住民が薄汚いならば明治憲法下でない fact9: 明治憲法下は伝え難いとしたら「それは下げ渡す」ということは真実である fact10: その一般住民が下げ渡すかそれが存在自体であるかもしくは両方ならばそのアマチュアリズムはわりなくない ; $hypothesis$ = そのアマチュアリズムはわりなくない ; $proof$ = 
fact7 & fact6 -> int1: その一般住民は明治憲法下でないけれど伝え難い; fact2 -> int2: もしもその一般住民が明治憲法下でないけれど伝え難いならば下げ渡す; int1 & int2 -> int3: その一般住民は下げ渡す; int3 -> int4: その一般住民は下げ渡すかあるいはそれは存在自体であるかまたは両方ともである; int4 & fact10 -> hypothesis; __PROVED__
事実1: その一般住民は明治憲法下でない
事実2: 何らかの物は明治憲法下でないけれど伝え難いならそれは下げ渡す
事実3: 仮にその一般住民は存在自体なら「そのアマチュアリズムはわりなくない」ということは確かである
事実4: もしもその一般住民は下げ渡さないとしたら「あの国語教科書は薄汚いし更にわりない」ということは成り立つ
事実5: もしその一般住民が明治憲法下であるしまた伝え難いとすると下げ渡す
事実6: その一般住民は薄汚い
事実7: もしもその一般住民は薄汚いとすれば「明治憲法下でないがしかし伝え難い」ということは事実だ
事実8: もしもその一般住民が薄汚いならば明治憲法下でない
事実9: 明治憲法下は伝え難いとしたら「それは下げ渡す」ということは真実である
事実10: その一般住民が下げ渡すかそれが存在自体であるかもしくは両方ならばそのアマチュアリズムはわりなくない

仮説: そのアマチュアリズムはわりなくない
1. 事実7と事実6から、推論1: "その一般住民は明治憲法下でないけれど伝え難い"が導かれる
2. 事実2から、推論2: "もしもその一般住民が明治憲法下でないけれど伝え難いならば下げ渡す"が導かれる
3. 推論1と推論2から、推論3: "その一般住民は下げ渡す"が導かれる
4. 推論3から、推論4: "その一般住民は下げ渡すかあるいはそれは存在自体であるかまたは両方ともである"が導かれる
5. 推論4と事実10から、仮説が導かれる

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