仮に「そのネットワーク全体は整数である」ということは成り立つとすれば索具装置でない
fact1: 整数は索具装置でない
$facts$ = fact1: 整数は索具装置でない ; $hypothesis$ = 仮に「そのネットワーク全体は整数である」ということは成り立つとすれば索具装置でない ; $proof$ = 
事実1: 整数は索具装置でない

仮説: 仮に「そのネットワーク全体は整数である」ということは成り立つとすれば索具装置でない