あの取り消し等は見落とせる
fact1: もし「あの取り消し等は懇話でないしおまけに美味しかない」ということは確かならそれは掻き集めるということはない fact2: もしとある物が掻き集めないなら見落とせない fact3: あの取り消し等は懇話でないしそれは美味しかない
fact1 & fact3 -> int1: あの取り消し等は掻き集めない; fact2 -> int2: 仮にあの取り消し等が掻き集めないとするとそれは見落とせない; int1 & int2 -> hypothesis;
fact1 & fact3 -> int1: ¬{B}{a}; fact2 -> int2: ¬{B}{a} -> ¬{A}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし「あの取り消し等は懇話でないしおまけに美味しかない」ということは確かならそれは掻き集めるということはない fact2: もしとある物が掻き集めないなら見落とせない fact3: あの取り消し等は懇話でないしそれは美味しかない ; $hypothesis$ = あの取り消し等は見落とせる ; $proof$ = 
fact1 & fact3 -> int1: あの取り消し等は掻き集めない; fact2 -> int2: 仮にあの取り消し等が掻き集めないとするとそれは見落とせない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「あの取り消し等は懇話でないしおまけに美味しかない」ということは確かならそれは掻き集めるということはない
事実2: もしとある物が掻き集めないなら見落とせない
事実3: あの取り消し等は懇話でないしそれは美味しかない

仮説: あの取り消し等は見落とせる
1. 事実1と事実3から、推論1: "あの取り消し等は掻き集めない"が導かれる
2. 事実2から、推論2: "仮にあの取り消し等が掻き集めないとするとそれは見落とせない"が導かれる
3. 推論1と推論2から、仮説が否定される

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