その十代半ばは次世代ＩＰだということはないかそれは叩き壊さない
fact1: もしなにかは英和辞典でないとすると「次世代ＩＰでないかあるいはそれは叩き壊さない」ということは誤りである fact2: もしそのＩＰパケットが一突きするとすればその十代半ばは次世代ＩＰでない fact3: そのＩＰパケットは英和辞典で加えて伸ばす fact4: もしもそのＩＰパケットが一突きするか伸ばすとすれば「その十代半ばは次世代ＩＰでない」ということは成り立つ
fact3 -> int1: 「そのＩＰパケットは伸ばす」ということは間違いでない; int1 -> int2: そのＩＰパケットは一突きするかまたは伸ばす; int2 & fact4 -> int3: その十代半ばは次世代ＩＰでない; int3 -> hypothesis;
「その十代半ばは次世代ＩＰでないかもしくは叩き壊さないかあるいは両方ともだ」ということは間違っている
fact5 -> int4: 「その十代半ばは英和辞典であるということはない」ということは本当であるならば「次世代ＩＰでないかまたは叩き壊さない」ということは真実でない;
$facts$ = fact1: もしなにかは英和辞典でないとすると「次世代ＩＰでないかあるいはそれは叩き壊さない」ということは誤りである fact2: もしそのＩＰパケットが一突きするとすればその十代半ばは次世代ＩＰでない fact3: そのＩＰパケットは英和辞典で加えて伸ばす fact4: もしもそのＩＰパケットが一突きするか伸ばすとすれば「その十代半ばは次世代ＩＰでない」ということは成り立つ ; $hypothesis$ = その十代半ばは次世代ＩＰだということはないかそれは叩き壊さない ; $proof$ = 
fact3 -> int1: 「そのＩＰパケットは伸ばす」ということは間違いでない; int1 -> int2: そのＩＰパケットは一突きするかまたは伸ばす; int2 & fact4 -> int3: その十代半ばは次世代ＩＰでない; int3 -> hypothesis; __PROVED__
事実1: もしなにかは英和辞典でないとすると「次世代ＩＰでないかあるいはそれは叩き壊さない」ということは誤りである
事実2: もしそのＩＰパケットが一突きするとすればその十代半ばは次世代ＩＰでない
事実3: そのＩＰパケットは英和辞典で加えて伸ばす
事実4: もしもそのＩＰパケットが一突きするか伸ばすとすれば「その十代半ばは次世代ＩＰでない」ということは成り立つ

仮説: その十代半ばは次世代ＩＰだということはないかそれは叩き壊さない
1. 事実3から、推論1: "「そのＩＰパケットは伸ばす」ということは間違いでない"が導かれる
2. 推論1から、推論2: "そのＩＰパケットは一突きするかまたは伸ばす"が導かれる
3. 推論2と事実4から、推論3: "その十代半ばは次世代ＩＰでない"が導かれる
4. 推論3から、仮説が導かれる

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