「もしその契約手続きが春日近辺であるということはないならその契約手続きは押し付けがましいということはなくて更に准将でない」ということは成り立たない
fact1: 何かは春日近辺でないなら押し付けはましくらないしおまけに准将でない
$facts$ = fact1: 何かは春日近辺でないなら押し付けはましくらないしおまけに准将でない ; $hypothesis$ = 「もしその契約手続きが春日近辺であるということはないならその契約手続きは押し付けがましいということはなくて更に准将でない」ということは成り立たない ; $proof$ = 
事実1: 何かは春日近辺でないなら押し付けはましくらないしおまけに准将でない

仮説: 「もしその契約手続きが春日近辺であるということはないならその契約手続きは押し付けがましいということはなくて更に准将でない」ということは成り立たない