あの単語リストは不当補充でない
fact1: ある物が外さないならばそれは不当補充でない fact2: 「その人足は総報酬月額相当額でなくておまけに点滅しない」ということは事実と異なる fact3: もし仮に「その人足は総報酬月額相当額であるということはないしさらに点滅しない」ということは成り立たないならあの単語リストは不当補充だ
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あの単語リストは不当補充であるということはない
fact4 -> int1: もしもあの単語リストは外さないとしたら「不当補充でない」ということは本当である;
$facts$ = fact1: ある物が外さないならばそれは不当補充でない fact2: 「その人足は総報酬月額相当額でなくておまけに点滅しない」ということは事実と異なる fact3: もし仮に「その人足は総報酬月額相当額であるということはないしさらに点滅しない」ということは成り立たないならあの単語リストは不当補充だ ; $hypothesis$ = あの単語リストは不当補充でない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: ある物が外さないならばそれは不当補充でない
事実2: 「その人足は総報酬月額相当額でなくておまけに点滅しない」ということは事実と異なる
事実3: もし仮に「その人足は総報酬月額相当額であるということはないしさらに点滅しない」ということは成り立たないならあの単語リストは不当補充だ

仮説: あの単語リストは不当補充でない
1. 事実3と事実2から、仮説が否定される

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