そのＣＡ無施用区は後ろ側でない
fact1: 「そのＣＡ無施用区が入り直すしその上儚し」ということは成り立つ fact2: とある物が入り直すとすればそれは後ろ側である
fact1 -> int1: そのＣＡ無施用区は入り直す; fact2 -> int2: もし仮にそのＣＡ無施用区が入り直せば後ろ側である; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{a}; fact2 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「そのＣＡ無施用区が入り直すしその上儚し」ということは成り立つ fact2: とある物が入り直すとすればそれは後ろ側である ; $hypothesis$ = そのＣＡ無施用区は後ろ側でない ; $proof$ = 
fact1 -> int1: そのＣＡ無施用区は入り直す; fact2 -> int2: もし仮にそのＣＡ無施用区が入り直せば後ろ側である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「そのＣＡ無施用区が入り直すしその上儚し」ということは成り立つ
事実2: とある物が入り直すとすればそれは後ろ側である

仮説: そのＣＡ無施用区は後ろ側でない
1. 事実1から、推論1: "そのＣＡ無施用区は入り直す"が導かれる
2. 事実2から、推論2: "もし仮にそのＣＡ無施用区が入り直せば後ろ側である"が導かれる
3. 推論1と推論2から、仮説が否定される

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