「「「歌舞伎っぽくないかまたは幼けないかどちらもである」ということは成り立たない」ものはある」ということは嘘である
fact1: それは歌舞伎っぽくないかあるいは幼けないかあるいは両方であるという物はない
fact1 -> int1: 「あの連想配列は歌舞伎っぽいということはないかあるいは幼けないかもしくはどちらもである」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: それは歌舞伎っぽくないかあるいは幼けないかあるいは両方であるという物はない ; $hypothesis$ = 「「「歌舞伎っぽくないかまたは幼けないかどちらもである」ということは成り立たない」ものはある」ということは嘘である ; $proof$ = 
fact1 -> int1: 「あの連想配列は歌舞伎っぽいということはないかあるいは幼けないかもしくはどちらもである」ということは嘘だ; int1 -> hypothesis; __DISPROVED__
事実1: それは歌舞伎っぽくないかあるいは幼けないかあるいは両方であるという物はない

仮説: 「「「歌舞伎っぽくないかまたは幼けないかどちらもである」ということは成り立たない」ものはある」ということは嘘である
1. 事実1から、推論1: "「あの連想配列は歌舞伎っぽいということはないかあるいは幼けないかもしくはどちらもである」ということは嘘だ"が導かれる
2. 推論1から、仮説が否定される

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