「「もし岩剣城だ一方で余所余所しいということはないとするとしかつめらしい」ものはある」ということは間違いだ
fact1: 余所余所しい岩剣城はしかつめらしい fact2: 「もし岩剣城だしまた余所余所しいならばしかつめらしい」物はある fact3: 仮に岩剣城が余所余所しかないとするとそれはしかつめらしい
fact3 -> int1: 「もしそのゴーンが岩剣城であるけれどそれが余所余所しいということはないとしたらそのゴーンはしかつめらしい」ということは正しい; int1 -> hypothesis;
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 余所余所しい岩剣城はしかつめらしい fact2: 「もし岩剣城だしまた余所余所しいならばしかつめらしい」物はある fact3: 仮に岩剣城が余所余所しかないとするとそれはしかつめらしい ; $hypothesis$ = 「「もし岩剣城だ一方で余所余所しいということはないとするとしかつめらしい」ものはある」ということは間違いだ ; $proof$ = 
fact3 -> int1: 「もしそのゴーンが岩剣城であるけれどそれが余所余所しいということはないとしたらそのゴーンはしかつめらしい」ということは正しい; int1 -> hypothesis; __DISPROVED__
事実1: 余所余所しい岩剣城はしかつめらしい
事実2: 「もし岩剣城だしまた余所余所しいならばしかつめらしい」物はある
事実3: 仮に岩剣城が余所余所しかないとするとそれはしかつめらしい

仮説: 「「もし岩剣城だ一方で余所余所しいということはないとするとしかつめらしい」ものはある」ということは間違いだ
1. 事実3から、推論1: "「もしそのゴーンが岩剣城であるけれどそれが余所余所しいということはないとしたらそのゴーンはしかつめらしい」ということは正しい"が導かれる
2. 推論1から、仮説が否定される

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