その色刷りは総会屋でないしその上自然的要因でない
fact1: この借受証は張り倒す fact2: 「この借受証は張り倒さないし自然的要因でない」ということは確かでない fact3: もしも「「張り倒す」ということは成り立つ」物はあれば「その色刷りは総会屋でないし加えて自然的要因であるということはない」ということは偽だ fact4: 「この四気筒は通訳ボックスでないし常食しない」ということは成り立たない
fact1 -> int1: 「張り倒す」物はある; int1 & fact3 -> hypothesis;
$facts$ = fact1: この借受証は張り倒す fact2: 「この借受証は張り倒さないし自然的要因でない」ということは確かでない fact3: もしも「「張り倒す」ということは成り立つ」物はあれば「その色刷りは総会屋でないし加えて自然的要因であるということはない」ということは偽だ fact4: 「この四気筒は通訳ボックスでないし常食しない」ということは成り立たない ; $hypothesis$ = その色刷りは総会屋でないしその上自然的要因でない ; $proof$ = 
fact1 -> int1: 「張り倒す」物はある; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この借受証は張り倒す
事実2: 「この借受証は張り倒さないし自然的要因でない」ということは確かでない
事実3: もしも「「張り倒す」ということは成り立つ」物はあれば「その色刷りは総会屋でないし加えて自然的要因であるということはない」ということは偽だ
事実4: 「この四気筒は通訳ボックスでないし常食しない」ということは成り立たない

仮説: その色刷りは総会屋でないしその上自然的要因でない
1. 事実1から、推論1: "「張り倒す」物はある"が導かれる
2. 推論1と事実3から、仮説が否定される

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