「この林檎・スターは有痛性でないかぐるぐるするかあるいは両方だ」ということは成り立たない
fact1: この後ろ面はぐるぐるする fact2: なにがしかの物は辛みソースでないとすれば「有痛性であるということはないかまたはぐるぐるするかもしくは両方だ」ということは偽だ fact3: この予防行動は有痛性である fact4: もし「とあるものは有痛性でない」ということは事実だとしたら相互広告でないかもしくは返るかあるいは両方ともである fact5: この林檎・スターはぐるぐるする
fact5 -> hypothesis;
fact5 -> hypothesis;
「この林檎・スターは有痛性でないかもしくはぐるぐるするか両方ともである」ということは間違っている
fact6 -> int1: この林檎・スターは辛みソースでないなら「それは有痛性であるということはないかあるいはそれはぐるぐるするかあるいはどちらもだ」ということは成り立たない;
$facts$ = fact1: この後ろ面はぐるぐるする fact2: なにがしかの物は辛みソースでないとすれば「有痛性であるということはないかまたはぐるぐるするかもしくは両方だ」ということは偽だ fact3: この予防行動は有痛性である fact4: もし「とあるものは有痛性でない」ということは事実だとしたら相互広告でないかもしくは返るかあるいは両方ともである fact5: この林檎・スターはぐるぐるする ; $hypothesis$ = 「この林檎・スターは有痛性でないかぐるぐるするかあるいは両方だ」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: この後ろ面はぐるぐるする
事実2: なにがしかの物は辛みソースでないとすれば「有痛性であるということはないかまたはぐるぐるするかもしくは両方だ」ということは偽だ
事実3: この予防行動は有痛性である
事実4: もし「とあるものは有痛性でない」ということは事実だとしたら相互広告でないかもしくは返るかあるいは両方ともである
事実5: この林檎・スターはぐるぐるする

仮説: 「この林檎・スターは有痛性でないかぐるぐるするかあるいは両方だ」ということは成り立たない
1. 事実5から、仮説が否定される

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