その抗酸化物質は傷付くということはない
fact1: あのパネルヒーターが飾れるとすればその抗酸化物質は傷付く fact2: すべての物は飾れる
fact2 -> int1: あのパネルヒーターは飾れる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{aa}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あのパネルヒーターが飾れるとすればその抗酸化物質は傷付く fact2: すべての物は飾れる ; $hypothesis$ = その抗酸化物質は傷付くということはない ; $proof$ = 
fact2 -> int1: あのパネルヒーターは飾れる; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あのパネルヒーターが飾れるとすればその抗酸化物質は傷付く
事実2: すべての物は飾れる

仮説: その抗酸化物質は傷付くということはない
1. 事実2から、推論1: "あのパネルヒーターは飾れる"が導かれる
2. 推論1と事実1から、仮説が否定される

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