このスランプ状態は壁心でない
fact1: 「「彷彿するか熟成しない」ということは成り立たない」物はある fact2: このスランプ状態が末恐ろしくないなら要路であるし壁心である fact3: もし仮にその酸漿が要路であるならこのスランプ状態は壁心だ fact4: 仮に「「彷彿するかあるいは熟成するということはない」ということは誤りである」物があるとするとその酸漿は要路である
fact1 & fact4 -> int1: その酸漿は要路だ; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
このスランプ状態は要路である
$facts$ = fact1: 「「彷彿するか熟成しない」ということは成り立たない」物はある fact2: このスランプ状態が末恐ろしくないなら要路であるし壁心である fact3: もし仮にその酸漿が要路であるならこのスランプ状態は壁心だ fact4: 仮に「「彷彿するかあるいは熟成するということはない」ということは誤りである」物があるとするとその酸漿は要路である ; $hypothesis$ = このスランプ状態は壁心でない ; $proof$ = 
fact1 & fact4 -> int1: その酸漿は要路だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「「彷彿するか熟成しない」ということは成り立たない」物はある
事実2: このスランプ状態が末恐ろしくないなら要路であるし壁心である
事実3: もし仮にその酸漿が要路であるならこのスランプ状態は壁心だ
事実4: 仮に「「彷彿するかあるいは熟成するということはない」ということは誤りである」物があるとするとその酸漿は要路である

仮説: このスランプ状態は壁心でない
1. 事実1と事実4から、推論1: "その酸漿は要路だ"が導かれる
2. 推論1と事実3から、仮説が否定される

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