もし「その標柱は内部取り引きであるがしかし煩わしくない」ということは正しいなら向け続ける
fact1: 内部取り引きが煩わしくないとするとそれは向け続ける
$facts$ = fact1: 内部取り引きが煩わしくないとするとそれは向け続ける ; $hypothesis$ = もし「その標柱は内部取り引きであるがしかし煩わしくない」ということは正しいなら向け続ける ; $proof$ = 
事実1: 内部取り引きが煩わしくないとするとそれは向け続ける

仮説: もし「その標柱は内部取り引きであるがしかし煩わしくない」ということは正しいなら向け続ける