「「「もし攻撃しない一方で軽しとしたら邪悪さな」ものはある」ということは確かである」ということは正しくない
fact1: もしこの人間復興が攻撃するしまた軽しならば邪悪さだ fact2: もし嫌らしくないものが認識論的立場なら齎し易い fact3: 仮にある物が攻撃しないけれどそれが軽しとすればそれは邪悪さである
fact3 -> int1: この人間復興が攻撃するということはないけれどそれが軽しならばそれは邪悪さだ; int1 -> hypothesis;
「仮に嫌らしくないけれど認識論的立場ならば「齎し易い」ということは正しい」ものはある
fact4 -> int2: もし仮にこの戦争機械は嫌らしくないけど認識論的立場であるとするとそれは齎し易い; int2 -> hypothesis;
$facts$ = fact1: もしこの人間復興が攻撃するしまた軽しならば邪悪さだ fact2: もし嫌らしくないものが認識論的立場なら齎し易い fact3: 仮にある物が攻撃しないけれどそれが軽しとすればそれは邪悪さである ; $hypothesis$ = 「「「もし攻撃しない一方で軽しとしたら邪悪さな」ものはある」ということは確かである」ということは正しくない ; $proof$ = 
fact3 -> int1: この人間復興が攻撃するということはないけれどそれが軽しならばそれは邪悪さだ; int1 -> hypothesis; __DISPROVED__
事実1: もしこの人間復興が攻撃するしまた軽しならば邪悪さだ
事実2: もし嫌らしくないものが認識論的立場なら齎し易い
事実3: 仮にある物が攻撃しないけれどそれが軽しとすればそれは邪悪さである

仮説: 「「「もし攻撃しない一方で軽しとしたら邪悪さな」ものはある」ということは確かである」ということは正しくない
1. 事実3から、推論1: "この人間復興が攻撃するということはないけれどそれが軽しならばそれは邪悪さだ"が導かれる
2. 推論1から、仮説が否定される

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