「「もしも可笑しないとすると「ＷＴＰであるということはないし無理無くない」ということは成り立たない」ものはある」ということは成り立つということはない
fact1: 「もし可笑しということはないならＷＴＰでなくてまた無理無くない」物はある fact2: 「もし仮に可笑しないならば「ＷＴＰだけど無理無くない」ということは成り立たない」物はある fact3: 「もし仮にあのサービス計画は可笑しないとしたら「あのサービス計画はＷＴＰでなくて無理無くない」ということは誤っている」ということは正しい fact4: 「もし可笑しならば「ＷＴＰでないし無理無くない」ということは本当でない」ものはある
fact3 -> hypothesis;
$facts$ = fact1: 「もし可笑しということはないならＷＴＰでなくてまた無理無くない」物はある fact2: 「もし仮に可笑しないならば「ＷＴＰだけど無理無くない」ということは成り立たない」物はある fact3: 「もし仮にあのサービス計画は可笑しないとしたら「あのサービス計画はＷＴＰでなくて無理無くない」ということは誤っている」ということは正しい fact4: 「もし可笑しならば「ＷＴＰでないし無理無くない」ということは本当でない」ものはある ; $hypothesis$ = 「「もしも可笑しないとすると「ＷＴＰであるということはないし無理無くない」ということは成り立たない」ものはある」ということは成り立つということはない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もし可笑しということはないならＷＴＰでなくてまた無理無くない」物はある
事実2: 「もし仮に可笑しないならば「ＷＴＰだけど無理無くない」ということは成り立たない」物はある
事実3: 「もし仮にあのサービス計画は可笑しないとしたら「あのサービス計画はＷＴＰでなくて無理無くない」ということは誤っている」ということは正しい
事実4: 「もし可笑しならば「ＷＴＰでないし無理無くない」ということは本当でない」ものはある

仮説: 「「もしも可笑しないとすると「ＷＴＰであるということはないし無理無くない」ということは成り立たない」ものはある」ということは成り立つということはない
1. 事実3から、仮説が否定される

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