「その現場監督は上げ難くないがしかしそれは放免する」ということは間違いだ
fact1: その現場監督は血腥くて放免する fact2: そのパイオニアは血腥くない fact3: その現場監督は結び付き難くない fact4: その現場監督は上げ難いということはないしその上結び付き難くない
fact1 -> int1: 「その現場監督は放免する」ということは確かである; fact4 -> int2: その現場監督は上げ難くない; int1 & int2 -> hypothesis;
$facts$ = fact1: その現場監督は血腥くて放免する fact2: そのパイオニアは血腥くない fact3: その現場監督は結び付き難くない fact4: その現場監督は上げ難いということはないしその上結び付き難くない ; $hypothesis$ = 「その現場監督は上げ難くないがしかしそれは放免する」ということは間違いだ ; $proof$ = 
fact1 -> int1: 「その現場監督は放免する」ということは確かである; fact4 -> int2: その現場監督は上げ難くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その現場監督は血腥くて放免する
事実2: そのパイオニアは血腥くない
事実3: その現場監督は結び付き難くない
事実4: その現場監督は上げ難いということはないしその上結び付き難くない

仮説: 「その現場監督は上げ難くないがしかしそれは放免する」ということは間違いだ
1. 事実1から、推論1: "「その現場監督は放免する」ということは確かである"が導かれる
2. 事実4から、推論2: "その現場監督は上げ難くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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