「「もし仮に「タブー視する」ということは成り立てば甲高いということはない」ものはある」ということは嘘だ
fact1: 「この各幼稚園はタブー視する」ということは真実だとすると「それは甲高い」ということは正しい fact2: もし「この各幼稚園はタブー視する」ということは事実と異ならないとしたら甲高くない fact3: 嫌らしいものは笑話でない fact4: 「もし転調するとしたら君らしい」物はある fact5: 「仮にタブー視すれば甲高い」物はある
fact2 -> hypothesis;
「もしも嫌らしいなら笑話でない」ものはある
fact6 -> int1: もしそのパーソナルマーキングが嫌らしいとするとそれは笑話でない; int1 -> hypothesis;
$facts$ = fact1: 「この各幼稚園はタブー視する」ということは真実だとすると「それは甲高い」ということは正しい fact2: もし「この各幼稚園はタブー視する」ということは事実と異ならないとしたら甲高くない fact3: 嫌らしいものは笑話でない fact4: 「もし転調するとしたら君らしい」物はある fact5: 「仮にタブー視すれば甲高い」物はある ; $hypothesis$ = 「「もし仮に「タブー視する」ということは成り立てば甲高いということはない」ものはある」ということは嘘だ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「この各幼稚園はタブー視する」ということは真実だとすると「それは甲高い」ということは正しい
事実2: もし「この各幼稚園はタブー視する」ということは事実と異ならないとしたら甲高くない
事実3: 嫌らしいものは笑話でない
事実4: 「もし転調するとしたら君らしい」物はある
事実5: 「仮にタブー視すれば甲高い」物はある

仮説: 「「もし仮に「タブー視する」ということは成り立てば甲高いということはない」ものはある」ということは嘘だ
1. 事実2から、仮説が否定される

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