「「もし仮に「恋しいということはなくて前夜祭りでない」ということは嘘であるなら山査子な」ものはある」ということは成り立たない
fact1: 仮に「あの余罪は恋しかなくて加えて前夜祭りでない」ということは成り立たないとすると山査子である
$facts$ = fact1: 仮に「あの余罪は恋しかなくて加えて前夜祭りでない」ということは成り立たないとすると山査子である ; $hypothesis$ = 「「もし仮に「恋しいということはなくて前夜祭りでない」ということは嘘であるなら山査子な」ものはある」ということは成り立たない ; $proof$ = 
事実1: 仮に「あの余罪は恋しかなくて加えて前夜祭りでない」ということは成り立たないとすると山査子である

仮説: 「「もし仮に「恋しいということはなくて前夜祭りでない」ということは嘘であるなら山査子な」ものはある」ということは成り立たない