その妹さん達はこっ酷いかあるいは定年退職するか両方ともである
fact1: もしもこのＵＳドルが日向国でないとするとその妹さん達は必然性でないがしかし空振りする fact2: もしその妹さん達が必然性でないけれど空振りするならあの債務名義性は必然性でない fact3: その妹さん達はこっ酷い fact4: 仮に何かは必然性でないとすると搭乗員達でなくてその上ファシズムであるということはない fact5: もしもその妹さん達はファシズムでないなら「こっ酷いかあるいは定年退職する」ということは成り立たない fact6: もし仮になにがしかのものはファシズムでないとしたら定年退職するししかもこっ酷い fact7: もし「なにかはファシズムであるし更に搭乗員達だ」ということは偽であるとしたら「それはファシズムであるということはない」ということは正しい
fact3 -> hypothesis;
fact3 -> hypothesis;
「その妹さん達はこっ酷いかまたは定年退職する」ということは誤っている
fact8 -> int1: もしも「その妹さん達はファシズムでまたそれは搭乗員達である」ということは成り立たないとしたらファシズムでない;
$facts$ = fact1: もしもこのＵＳドルが日向国でないとするとその妹さん達は必然性でないがしかし空振りする fact2: もしその妹さん達が必然性でないけれど空振りするならあの債務名義性は必然性でない fact3: その妹さん達はこっ酷い fact4: 仮に何かは必然性でないとすると搭乗員達でなくてその上ファシズムであるということはない fact5: もしもその妹さん達はファシズムでないなら「こっ酷いかあるいは定年退職する」ということは成り立たない fact6: もし仮になにがしかのものはファシズムでないとしたら定年退職するししかもこっ酷い fact7: もし「なにかはファシズムであるし更に搭乗員達だ」ということは偽であるとしたら「それはファシズムであるということはない」ということは正しい ; $hypothesis$ = その妹さん達はこっ酷いかあるいは定年退職するか両方ともである ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもこのＵＳドルが日向国でないとするとその妹さん達は必然性でないがしかし空振りする
事実2: もしその妹さん達が必然性でないけれど空振りするならあの債務名義性は必然性でない
事実3: その妹さん達はこっ酷い
事実4: 仮に何かは必然性でないとすると搭乗員達でなくてその上ファシズムであるということはない
事実5: もしもその妹さん達はファシズムでないなら「こっ酷いかあるいは定年退職する」ということは成り立たない
事実6: もし仮になにがしかのものはファシズムでないとしたら定年退職するししかもこっ酷い
事実7: もし「なにかはファシズムであるし更に搭乗員達だ」ということは偽であるとしたら「それはファシズムであるということはない」ということは正しい

仮説: その妹さん達はこっ酷いかあるいは定年退職するか両方ともである
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。