「「もし「付き易くないけど賄える」ということは成り立たないとしたら強くない」ものはある」ということは成り立たない
fact1: もし仮に「「この炒り胡麻は付き易くないけど賄える」ということは間違っている」ということは成り立つとすれば「強い」ということは真実だ fact2: もし仮にこの炒り胡麻は付き易いということはないが賄えるとすれば強いということはない fact3: 「もし仮に「付き易くないけど賄える」ということは確かでないならば強い」ものはある fact4: 「もし仮に賄えないなら強いということはない」ものはある fact5: 仮にこの炒り胡麻が賄えないならそれは強くない fact6: もしも「この炒り胡麻は付き易くないけれど賄える」ということは成り立つということはないならばそれは強くない
fact6 -> hypothesis;
$facts$ = fact1: もし仮に「「この炒り胡麻は付き易くないけど賄える」ということは間違っている」ということは成り立つとすれば「強い」ということは真実だ fact2: もし仮にこの炒り胡麻は付き易いということはないが賄えるとすれば強いということはない fact3: 「もし仮に「付き易くないけど賄える」ということは確かでないならば強い」ものはある fact4: 「もし仮に賄えないなら強いということはない」ものはある fact5: 仮にこの炒り胡麻が賄えないならそれは強くない fact6: もしも「この炒り胡麻は付き易くないけれど賄える」ということは成り立つということはないならばそれは強くない ; $hypothesis$ = 「「もし「付き易くないけど賄える」ということは成り立たないとしたら強くない」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に「「この炒り胡麻は付き易くないけど賄える」ということは間違っている」ということは成り立つとすれば「強い」ということは真実だ
事実2: もし仮にこの炒り胡麻は付き易いということはないが賄えるとすれば強いということはない
事実3: 「もし仮に「付き易くないけど賄える」ということは確かでないならば強い」ものはある
事実4: 「もし仮に賄えないなら強いということはない」ものはある
事実5: 仮にこの炒り胡麻が賄えないならそれは強くない
事実6: もしも「この炒り胡麻は付き易くないけれど賄える」ということは成り立つということはないならばそれは強くない

仮説: 「「もし「付き易くないけど賄える」ということは成り立たないとしたら強くない」ものはある」ということは成り立たない
1. 事実6から、仮説が否定される

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