その治療前は醜くない
fact1: 「評価活動である」ものはある fact2: もしその低確率が取り直さないとすればそれは評価活動だし加えてそれは総収入であるということはない fact3: その低確率は総収入でない fact4: 「その低確率は取り直さない」ということは成り立つ fact5: もし仮にその低確率が取り直すということはないならそれは総収入でない fact6: もしも「評価活動であるが総収入でない」物があればその治療前は醜い
fact2 & fact4 -> int1: その低確率は評価活動であるけれど総収入でない; int1 -> int2: 何かは評価活動であるけど総収入でない; int2 & fact6 -> hypothesis;
fact2 & fact4 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ({AA}x & ¬{AB}x); int2 & fact6 -> hypothesis;
$facts$ = fact1: 「評価活動である」ものはある fact2: もしその低確率が取り直さないとすればそれは評価活動だし加えてそれは総収入であるということはない fact3: その低確率は総収入でない fact4: 「その低確率は取り直さない」ということは成り立つ fact5: もし仮にその低確率が取り直すということはないならそれは総収入でない fact6: もしも「評価活動であるが総収入でない」物があればその治療前は醜い ; $hypothesis$ = その治療前は醜くない ; $proof$ = 
fact2 & fact4 -> int1: その低確率は評価活動であるけれど総収入でない; int1 -> int2: 何かは評価活動であるけど総収入でない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 「評価活動である」ものはある
事実2: もしその低確率が取り直さないとすればそれは評価活動だし加えてそれは総収入であるということはない
事実3: その低確率は総収入でない
事実4: 「その低確率は取り直さない」ということは成り立つ
事実5: もし仮にその低確率が取り直すということはないならそれは総収入でない
事実6: もしも「評価活動であるが総収入でない」物があればその治療前は醜い

仮説: その治療前は醜くない
1. 事実2と事実4から、推論1: "その低確率は評価活動であるけれど総収入でない"が導かれる
2. 推論1から、推論2: "何かは評価活動であるけど総収入でない"が導かれる
3. 推論2と事実6から、仮説が否定される

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