そのＰＩは礼儀正しい
fact1: そのＰＩは四パーセント程度である fact2: もしもある物は上げ為さるかもしくは有線放送するか両方であるならばそれは礼儀正しくない fact3: そのＰＩは礼儀正しい fact4: その発育障害は礼儀正しい fact5: 「その透水性芝生舗装は礼儀正しい」ということは正しい
fact3 -> hypothesis;
fact3 -> hypothesis;
そのＰＩは礼儀正しくない
fact6 -> int1: もしそのＰＩは上げ為さるかあるいは有線放送するならそれは礼儀正しくない;
$facts$ = fact1: そのＰＩは四パーセント程度である fact2: もしもある物は上げ為さるかもしくは有線放送するか両方であるならばそれは礼儀正しくない fact3: そのＰＩは礼儀正しい fact4: その発育障害は礼儀正しい fact5: 「その透水性芝生舗装は礼儀正しい」ということは正しい ; $hypothesis$ = そのＰＩは礼儀正しい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: そのＰＩは四パーセント程度である
事実2: もしもある物は上げ為さるかもしくは有線放送するか両方であるならばそれは礼儀正しくない
事実3: そのＰＩは礼儀正しい
事実4: その発育障害は礼儀正しい
事実5: 「その透水性芝生舗装は礼儀正しい」ということは正しい

仮説: そのＰＩは礼儀正しい
1. 事実3から、仮説が導かれる

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