その脱顆粒は注文致さないけれど可変出来る
fact1: 「その脱顆粒は注文致すしさらに可変出来る」ということは事実と異なる fact2: もしもその脱顆粒は実演するとすると「「注文致すということはないしその上可変出来る」ということは確かである」ということは偽である fact3: その脱顆粒は実演するなら「それは注文致すしさらに可変出来る」ということは偽だ fact4: その脱顆粒は溶解抑制力だ fact5: もし仮になんらかのものは溶解抑制力でないならば注文致さないがしかし可変出来る fact6: もしもその脱顆粒は溶解抑制力であるとしたら実演する
fact6 & fact4 -> int1: その脱顆粒は実演する; int1 & fact2 -> hypothesis;
fact6 & fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
その脱顆粒は注文致すということはない一方で可変出来る
fact7 -> int2: 仮にその脱顆粒は溶解抑制力でないならばそれは注文致さない一方で可変出来る;
$facts$ = fact1: 「その脱顆粒は注文致すしさらに可変出来る」ということは事実と異なる fact2: もしもその脱顆粒は実演するとすると「「注文致すということはないしその上可変出来る」ということは確かである」ということは偽である fact3: その脱顆粒は実演するなら「それは注文致すしさらに可変出来る」ということは偽だ fact4: その脱顆粒は溶解抑制力だ fact5: もし仮になんらかのものは溶解抑制力でないならば注文致さないがしかし可変出来る fact6: もしもその脱顆粒は溶解抑制力であるとしたら実演する ; $hypothesis$ = その脱顆粒は注文致さないけれど可変出来る ; $proof$ = 
fact6 & fact4 -> int1: その脱顆粒は実演する; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その脱顆粒は注文致すしさらに可変出来る」ということは事実と異なる
事実2: もしもその脱顆粒は実演するとすると「「注文致すということはないしその上可変出来る」ということは確かである」ということは偽である
事実3: その脱顆粒は実演するなら「それは注文致すしさらに可変出来る」ということは偽だ
事実4: その脱顆粒は溶解抑制力だ
事実5: もし仮になんらかのものは溶解抑制力でないならば注文致さないがしかし可変出来る
事実6: もしもその脱顆粒は溶解抑制力であるとしたら実演する

仮説: その脱顆粒は注文致さないけれど可変出来る
1. 事実6と事実4から、推論1: "その脱顆粒は実演する"が導かれる
2. 推論1と事実2から、仮説が否定される

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