あの快気祝いはサンドしない
fact1: もしあの快気祝いは競売するとしたら「それはサンドしない」ということは成り立つ fact2: 「あの袋状は競売する」ということは成り立つ fact3: 「あの快気祝いは競売する」ということは成り立つ
$facts$ = fact1: もしあの快気祝いは競売するとしたら「それはサンドしない」ということは成り立つ fact2: 「あの袋状は競売する」ということは成り立つ fact3: 「あの快気祝いは競売する」ということは成り立つ ; $hypothesis$ = あの快気祝いはサンドしない ; $proof$ = 
事実1: もしあの快気祝いは競売するとしたら「それはサンドしない」ということは成り立つ
事実2: 「あの袋状は競売する」ということは成り立つ
事実3: 「あの快気祝いは競売する」ということは成り立つ

仮説: あの快気祝いはサンドしない