この成文堂は一車種でない
fact1: 「もしもこの五箇村谷地が短いならこの五箇村谷地は一車種である」ということは本当である fact2: 短いものは一車種である fact3: もしなにかは専用するとすれば「それは肥やさくないかまたはそれはすばしこいかもしくは両方ともである」ということは事実と異なる fact4: もしもある物は言い包めないかまたは本当らしいか両方ともならば銘記す fact5: 「その養護老人ホームは短い」ということは事実だ fact6: 仮にこの五箇村谷地がＪＡＳ法だとしたら言い包めるということはないかあるいは本当らしい fact7: この五箇村谷地はＪＡＳ法だ fact8: この成文堂が銘記すとするとこの五箇村谷地は短い fact9: もしこの五箇村谷地が銘記すならこの成文堂は短い
fact4 -> int1: この五箇村谷地は言い包めないかもしくは本当らしいかまたは両方ともだとすればそれは銘記す; fact6 & fact7 -> int2: この五箇村谷地は言い包めないかもしくは本当らしいかあるいは両方だ; int1 & int2 -> int3: この五箇村谷地は銘記す; int3 & fact9 -> int4: この成文堂は短い; fact2 -> int5: もしこの成文堂が短いとすればそれは一車種である; int4 & int5 -> hypothesis;
この五箇村谷地は一車種だ
fact12 -> int6: もし仮にその正当事由は専用するとしたら「肥やすということはないかあるいはすばしこいかあるいはどちらもである」ということは成り立たない;
$facts$ = fact1: 「もしもこの五箇村谷地が短いならこの五箇村谷地は一車種である」ということは本当である fact2: 短いものは一車種である fact3: もしなにかは専用するとすれば「それは肥やさくないかまたはそれはすばしこいかもしくは両方ともである」ということは事実と異なる fact4: もしもある物は言い包めないかまたは本当らしいか両方ともならば銘記す fact5: 「その養護老人ホームは短い」ということは事実だ fact6: 仮にこの五箇村谷地がＪＡＳ法だとしたら言い包めるということはないかあるいは本当らしい fact7: この五箇村谷地はＪＡＳ法だ fact8: この成文堂が銘記すとするとこの五箇村谷地は短い fact9: もしこの五箇村谷地が銘記すならこの成文堂は短い ; $hypothesis$ = この成文堂は一車種でない ; $proof$ = 
fact4 -> int1: この五箇村谷地は言い包めないかもしくは本当らしいかまたは両方ともだとすればそれは銘記す; fact6 & fact7 -> int2: この五箇村谷地は言い包めないかもしくは本当らしいかあるいは両方だ; int1 & int2 -> int3: この五箇村谷地は銘記す; int3 & fact9 -> int4: この成文堂は短い; fact2 -> int5: もしこの成文堂が短いとすればそれは一車種である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 「もしもこの五箇村谷地が短いならこの五箇村谷地は一車種である」ということは本当である
事実2: 短いものは一車種である
事実3: もしなにかは専用するとすれば「それは肥やさくないかまたはそれはすばしこいかもしくは両方ともである」ということは事実と異なる
事実4: もしもある物は言い包めないかまたは本当らしいか両方ともならば銘記す
事実5: 「その養護老人ホームは短い」ということは事実だ
事実6: 仮にこの五箇村谷地がＪＡＳ法だとしたら言い包めるということはないかあるいは本当らしい
事実7: この五箇村谷地はＪＡＳ法だ
事実8: この成文堂が銘記すとするとこの五箇村谷地は短い
事実9: もしこの五箇村谷地が銘記すならこの成文堂は短い

仮説: この成文堂は一車種でない
1. 事実4から、推論1: "この五箇村谷地は言い包めないかもしくは本当らしいかまたは両方ともだとすればそれは銘記す"が導かれる
2. 事実6と事実7から、推論2: "この五箇村谷地は言い包めないかもしくは本当らしいかあるいは両方だ"が導かれる
3. 推論1と推論2から、推論3: "この五箇村谷地は銘記す"が導かれる
4. 推論3と事実9から、推論4: "この成文堂は短い"が導かれる
5. 事実2から、推論5: "もしこの成文堂が短いとすればそれは一車種である"が導かれる
6. 推論4と推論5から、仮説が否定される

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