このＭＡＮ社は慌ただしい
fact1: 「このＭＡＮ社は剥奪しないけど済ま無い」ということは成り立たない fact2: 仮に「このＭＡＮ社は剥奪しないがしかし済ま無い」ということは間違いなら「それは慌ただしくない」ということは確かだ
$facts$ = fact1: 「このＭＡＮ社は剥奪しないけど済ま無い」ということは成り立たない fact2: 仮に「このＭＡＮ社は剥奪しないがしかし済ま無い」ということは間違いなら「それは慌ただしくない」ということは確かだ ; $hypothesis$ = このＭＡＮ社は慌ただしい ; $proof$ = 
事実1: 「このＭＡＮ社は剥奪しないけど済ま無い」ということは成り立たない
事実2: 仮に「このＭＡＮ社は剥奪しないがしかし済ま無い」ということは間違いなら「それは慌ただしくない」ということは確かだ

仮説: このＭＡＮ社は慌ただしい