「「その双丘はベントバルブだけれどログオンしない」ということは成り立つということはない」ということは事実だ
fact1: その双丘は一瓶でない fact2: 仮にその双丘が一瓶でないとするとベントバルブでその上それはログオンしない
$facts$ = fact1: その双丘は一瓶でない fact2: 仮にその双丘が一瓶でないとするとベントバルブでその上それはログオンしない ; $hypothesis$ = 「「その双丘はベントバルブだけれどログオンしない」ということは成り立つということはない」ということは事実だ ; $proof$ = 
事実1: その双丘は一瓶でない
事実2: 仮にその双丘が一瓶でないとするとベントバルブでその上それはログオンしない

仮説: 「「その双丘はベントバルブだけれどログオンしない」ということは成り立つということはない」ということは事実だ