「このボール位置は不活化するかまたはそれは怠いかまたは両方ともである」ということは成り立たない
fact1: もしも何かは怠いとしたら落城する fact2: その根株は入れ溶かす fact3: その根株が怠いとするとこのボール位置は凄まじい fact4: 「その生菓子は怠い」ということは確かだ fact5: 仮にある物が落城するとしたらそれは不活化する fact6: その根株は落城する fact7: もしもその根株が凄まじいならこのボール位置は落城する fact8: その根株は成立し難い fact9: もし仮になんらかの物が凄まじいなら成立し難い fact10: その終幕は不活化する fact11: その根株ははにかむ fact12: その根株は成立し難いかもしくはそれは不活化する fact13: 仮にこのボール位置が凄まじいならばその根株は不活化する fact14: 仮に「なんらかの物は成立し難いがしかし検査出来ない」ということは嘘だとすれば検査出来る fact15: その根株は怠いしそれに成立し難い fact16: その根株は凄まじいし成立し難い fact17: その根株は事足るし加えてそれは狙われ易い fact18: もしその最大値は上代でないなら「その根株は落城するし加えて成立し難い」ということは成り立たない
fact16 -> int1: 「その根株は凄まじい」ということは成り立つ; int1 & fact7 -> int2: 「このボール位置は落城する」ということは成り立つ; fact5 -> int3: もし仮にこのボール位置が落城するならそれは不活化する; int2 & int3 -> int4: このボール位置は不活化する; int4 -> hypothesis;
その準優勝は検査出来るかもしくは落城するかもしくは両方ともである
fact19 -> int5: もし仮に「その準優勝は成立し難い物であってかつ検査出来ない」ということは成り立たないとしたらそれは検査出来る;
$facts$ = fact1: もしも何かは怠いとしたら落城する fact2: その根株は入れ溶かす fact3: その根株が怠いとするとこのボール位置は凄まじい fact4: 「その生菓子は怠い」ということは確かだ fact5: 仮にある物が落城するとしたらそれは不活化する fact6: その根株は落城する fact7: もしもその根株が凄まじいならこのボール位置は落城する fact8: その根株は成立し難い fact9: もし仮になんらかの物が凄まじいなら成立し難い fact10: その終幕は不活化する fact11: その根株ははにかむ fact12: その根株は成立し難いかもしくはそれは不活化する fact13: 仮にこのボール位置が凄まじいならばその根株は不活化する fact14: 仮に「なんらかの物は成立し難いがしかし検査出来ない」ということは嘘だとすれば検査出来る fact15: その根株は怠いしそれに成立し難い fact16: その根株は凄まじいし成立し難い fact17: その根株は事足るし加えてそれは狙われ易い fact18: もしその最大値は上代でないなら「その根株は落城するし加えて成立し難い」ということは成り立たない ; $hypothesis$ = 「このボール位置は不活化するかまたはそれは怠いかまたは両方ともである」ということは成り立たない ; $proof$ = 
fact16 -> int1: 「その根株は凄まじい」ということは成り立つ; int1 & fact7 -> int2: 「このボール位置は落城する」ということは成り立つ; fact5 -> int3: もし仮にこのボール位置が落城するならそれは不活化する; int2 & int3 -> int4: このボール位置は不活化する; int4 -> hypothesis; __DISPROVED__
事実1: もしも何かは怠いとしたら落城する
事実2: その根株は入れ溶かす
事実3: その根株が怠いとするとこのボール位置は凄まじい
事実4: 「その生菓子は怠い」ということは確かだ
事実5: 仮にある物が落城するとしたらそれは不活化する
事実6: その根株は落城する
事実7: もしもその根株が凄まじいならこのボール位置は落城する
事実8: その根株は成立し難い
事実9: もし仮になんらかの物が凄まじいなら成立し難い
事実10: その終幕は不活化する
事実11: その根株ははにかむ
事実12: その根株は成立し難いかもしくはそれは不活化する
事実13: 仮にこのボール位置が凄まじいならばその根株は不活化する
事実14: 仮に「なんらかの物は成立し難いがしかし検査出来ない」ということは嘘だとすれば検査出来る
事実15: その根株は怠いしそれに成立し難い
事実16: その根株は凄まじいし成立し難い
事実17: その根株は事足るし加えてそれは狙われ易い
事実18: もしその最大値は上代でないなら「その根株は落城するし加えて成立し難い」ということは成り立たない

仮説: 「このボール位置は不活化するかまたはそれは怠いかまたは両方ともである」ということは成り立たない
1. 事実16から、推論1: "「その根株は凄まじい」ということは成り立つ"が導かれる
2. 推論1と事実7から、推論2: "「このボール位置は落城する」ということは成り立つ"が導かれる
3. 事実5から、推論3: "もし仮にこのボール位置が落城するならそれは不活化する"が導かれる
4. 推論2と推論3から、推論4: "このボール位置は不活化する"が導かれる
5. 推論4から、仮説が否定される

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