その事実的契約関係は太しない
fact1: もし「その事実的契約関係は泥臭いということはないが榴弾である」ということは成り立たないとすると破れ難い fact2: もしとあるものが破れ難いならそれは太し fact3: 「その事実的契約関係は泥臭くないがそれは榴弾である」ということは事実でない
fact1 & fact3 -> int1: その事実的契約関係は破れ難い; fact2 -> int2: その事実的契約関係が破れ難いとすれば太し; 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から、仮説が否定される

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