「もし「その二人は物上保証人であるけれど小汚くない」ということは正しくないとするとその二人は良くない」ということは成り立たない
fact1: もしも「何らかの物は物上保証人だけれど小汚いということはない」ということは成り立つということはないとしたらそれは良くない
$facts$ = fact1: もしも「何らかの物は物上保証人だけれど小汚いということはない」ということは成り立つということはないとしたらそれは良くない ; $hypothesis$ = 「もし「その二人は物上保証人であるけれど小汚くない」ということは正しくないとするとその二人は良くない」ということは成り立たない ; $proof$ = 
事実1: もしも「何らかの物は物上保証人だけれど小汚いということはない」ということは成り立つということはないとしたらそれは良くない

仮説: 「もし「その二人は物上保証人であるけれど小汚くない」ということは正しくないとするとその二人は良くない」ということは成り立たない