「とある物はネットワークするし読み難い」ということは成り立たない
fact1: 「その小児は読み難い」ということは事実と異ならない fact2: その全訳はネットワークする fact3: とあるものは読み難い fact4: その小児はネットワークする
fact4 & fact1 -> int1: その小児はネットワークするしおまけにそれは読み難い; int1 -> hypothesis;
$facts$ = fact1: 「その小児は読み難い」ということは事実と異ならない fact2: その全訳はネットワークする fact3: とあるものは読み難い fact4: その小児はネットワークする ; $hypothesis$ = 「とある物はネットワークするし読み難い」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> int1: その小児はネットワークするしおまけにそれは読み難い; int1 -> hypothesis; __DISPROVED__
事実1: 「その小児は読み難い」ということは事実と異ならない
事実2: その全訳はネットワークする
事実3: とあるものは読み難い
事実4: その小児はネットワークする

仮説: 「とある物はネットワークするし読み難い」ということは成り立たない
1. 事実4と事実1から、推論1: "その小児はネットワークするしおまけにそれは読み難い"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。