「もし仮にそのＩＡＳが埋設しないとすればそのＩＡＳは参照下さるし更に相前後する」ということは成り立つということはない
fact1: もしなにがしかのものが埋設しないならばそれは参照下さるしかつ相前後する
$facts$ = fact1: もしなにがしかのものが埋設しないならばそれは参照下さるしかつ相前後する ; $hypothesis$ = 「もし仮にそのＩＡＳが埋設しないとすればそのＩＡＳは参照下さるし更に相前後する」ということは成り立つということはない ; $proof$ = 
事実1: もしなにがしかのものが埋設しないならばそれは参照下さるしかつ相前後する

仮説: 「もし仮にそのＩＡＳが埋設しないとすればそのＩＡＳは参照下さるし更に相前後する」ということは成り立つということはない