この在庫品は洒落臭くない
fact1: この在庫品は洒落臭い fact2: 「なにがしかの物は投げ出さないけれど洒落臭い」ということは間違いであるならば洒落臭くない
fact1 -> hypothesis;
fact1 -> hypothesis;
この在庫品は洒落臭くない
fact3 -> int1: 「この在庫品は投げ出さないがそれは洒落臭い」ということは成り立つということはないならば洒落臭くない;
$facts$ = fact1: この在庫品は洒落臭い fact2: 「なにがしかの物は投げ出さないけれど洒落臭い」ということは間違いであるならば洒落臭くない ; $hypothesis$ = この在庫品は洒落臭くない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この在庫品は洒落臭い
事実2: 「なにがしかの物は投げ出さないけれど洒落臭い」ということは間違いであるならば洒落臭くない

仮説: この在庫品は洒落臭くない
1. 事実1から、仮説が否定される

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