「もし仮にそのＩＰ網が思い易くないとするとそのＩＰ網は愛らしくてまた通じ難い」ということは嘘だ
fact1: 「思い易いものは愛らしいししかも通じ難い」ということは正しい fact2: 仮にそのＩＰ網は思い易くないとしたら「それは愛らしい」ということは成り立つ fact3: 思い易くない物は愛らしいし通じ難い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「思い易いものは愛らしいししかも通じ難い」ということは正しい fact2: 仮にそのＩＰ網は思い易くないとしたら「それは愛らしい」ということは成り立つ fact3: 思い易くない物は愛らしいし通じ難い ; $hypothesis$ = 「もし仮にそのＩＰ網が思い易くないとするとそのＩＰ網は愛らしくてまた通じ難い」ということは嘘だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「思い易いものは愛らしいししかも通じ難い」ということは正しい
事実2: 仮にそのＩＰ網は思い易くないとしたら「それは愛らしい」ということは成り立つ
事実3: 思い易くない物は愛らしいし通じ難い

仮説: 「もし仮にそのＩＰ網が思い易くないとするとそのＩＰ網は愛らしくてまた通じ難い」ということは嘘だ
1. 事実3から、仮説が否定される

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