「もし「あのデーは実装するということはないしその上広がり易くない」ということは成り立たないならば「あのデーは格闘する」ということは真実である」ということは正しくない
fact1: 仮に「ある物は実装しなくて広がり易くない」ということは偽であるなら格闘する
$facts$ = fact1: 仮に「ある物は実装しなくて広がり易くない」ということは偽であるなら格闘する ; $hypothesis$ = 「もし「あのデーは実装するということはないしその上広がり易くない」ということは成り立たないならば「あのデーは格闘する」ということは真実である」ということは正しくない ; $proof$ = 
事実1: 仮に「ある物は実装しなくて広がり易くない」ということは偽であるなら格闘する

仮説: 「もし「あのデーは実装するということはないしその上広がり易くない」ということは成り立たないならば「あのデーは格闘する」ということは真実である」ということは正しくない