このＰＨＩは利子率でないしそれにシエラ号事件でない
fact1: もし仮にこのＰＨＩが高いとしたらシエラ号事件でないしそれは利子率だということはない fact2: もし仮にその岩礁帯がシエラ号事件でないならばこのＰＨＩは利子率であるということはないしさらにシエラ号事件でない fact3: 何らかの物は葬地でなくて高くないとすればシエラ号事件でない fact4: 仮に「あの移動・移住は出し忘れる」ということは成り立つなら「このＰＨＩは利子率でないしシエラ号事件でない」ということは成り立たない fact5: 仮にその岩礁帯が出し忘れるとするとそれは葬地でなくて高いということはない fact6: もしもその岩礁帯は葬地であるがしかし高いということはないとしたらシエラ号事件でない fact7: その岩礁帯は出し忘れる fact8: 何かは知将だということはないし葬地でないならば「猛り狂う」ということは成り立たない
fact3 -> int1: 「もし仮にその岩礁帯が葬地でなくてかつそれが高くないならその岩礁帯はシエラ号事件でない」ということは事実だ; fact7 & fact5 -> int2: 「その岩礁帯は葬地でなくてその上高くない」ということは真実だ; int1 & int2 -> int3: その岩礁帯はシエラ号事件でない; int3 & fact2 -> hypothesis;
「このＰＨＩは利子率だということはないし更にそれはシエラ号事件でない」ということは偽である
$facts$ = fact1: もし仮にこのＰＨＩが高いとしたらシエラ号事件でないしそれは利子率だということはない fact2: もし仮にその岩礁帯がシエラ号事件でないならばこのＰＨＩは利子率であるということはないしさらにシエラ号事件でない fact3: 何らかの物は葬地でなくて高くないとすればシエラ号事件でない fact4: 仮に「あの移動・移住は出し忘れる」ということは成り立つなら「このＰＨＩは利子率でないしシエラ号事件でない」ということは成り立たない fact5: 仮にその岩礁帯が出し忘れるとするとそれは葬地でなくて高いということはない fact6: もしもその岩礁帯は葬地であるがしかし高いということはないとしたらシエラ号事件でない fact7: その岩礁帯は出し忘れる fact8: 何かは知将だということはないし葬地でないならば「猛り狂う」ということは成り立たない ; $hypothesis$ = このＰＨＩは利子率でないしそれにシエラ号事件でない ; $proof$ = 
fact3 -> int1: 「もし仮にその岩礁帯が葬地でなくてかつそれが高くないならその岩礁帯はシエラ号事件でない」ということは事実だ; fact7 & fact5 -> int2: 「その岩礁帯は葬地でなくてその上高くない」ということは真実だ; int1 & int2 -> int3: その岩礁帯はシエラ号事件でない; int3 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にこのＰＨＩが高いとしたらシエラ号事件でないしそれは利子率だということはない
事実2: もし仮にその岩礁帯がシエラ号事件でないならばこのＰＨＩは利子率であるということはないしさらにシエラ号事件でない
事実3: 何らかの物は葬地でなくて高くないとすればシエラ号事件でない
事実4: 仮に「あの移動・移住は出し忘れる」ということは成り立つなら「このＰＨＩは利子率でないしシエラ号事件でない」ということは成り立たない
事実5: 仮にその岩礁帯が出し忘れるとするとそれは葬地でなくて高いということはない
事実6: もしもその岩礁帯は葬地であるがしかし高いということはないとしたらシエラ号事件でない
事実7: その岩礁帯は出し忘れる
事実8: 何かは知将だということはないし葬地でないならば「猛り狂う」ということは成り立たない

仮説: このＰＨＩは利子率でないしそれにシエラ号事件でない
1. 事実3から、推論1: "「もし仮にその岩礁帯が葬地でなくてかつそれが高くないならその岩礁帯はシエラ号事件でない」ということは事実だ"が導かれる
2. 事実7と事実5から、推論2: "「その岩礁帯は葬地でなくてその上高くない」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "その岩礁帯はシエラ号事件でない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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