あのみいみにょLv.2は寂しくない
fact1: 「「あのみいみにょLv.2は張り切り過ぎるが常連らしくない」ということは成り立つ」ということは誤っているなら寂しい fact2: あのみいみにょLv.2はけたたましいとすると「あのみいみにょLv.2は張り切り過ぎるがしかし長しということはない」ということは成り立たない fact3: もしあのみいみにょLv.2が張り切り過ぎないとしたら寂しい fact4: あのみいみにょLv.2は冷蔵保存する fact5: 「そのもにもちょLv.69は冷蔵保存する」ということは成り立つ fact6: なにがしかのモンスターは冷蔵保存すれば「それは張り切り過ぎるししかもそれは常連らしくない」ということは嘘である
fact6 -> int1: もしあのみいみにょLv.2は冷蔵保存するとすると「「あのみいみにょLv.2は張り切り過ぎるけどそれは常連らしくない」ということは誤っている」ということは本当だ; int1 & fact4 -> int2: 「あのみいみにょLv.2は張り切り過ぎる一方で常連らしくない」ということは誤っている; int2 & fact1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「「あのみいみにょLv.2は張り切り過ぎるが常連らしくない」ということは成り立つ」ということは誤っているなら寂しい fact2: あのみいみにょLv.2はけたたましいとすると「あのみいみにょLv.2は張り切り過ぎるがしかし長しということはない」ということは成り立たない fact3: もしあのみいみにょLv.2が張り切り過ぎないとしたら寂しい fact4: あのみいみにょLv.2は冷蔵保存する fact5: 「そのもにもちょLv.69は冷蔵保存する」ということは成り立つ fact6: なにがしかのモンスターは冷蔵保存すれば「それは張り切り過ぎるししかもそれは常連らしくない」ということは嘘である ; $hypothesis$ = あのみいみにょLv.2は寂しくない ; $proof$ = 
fact6 -> int1: もしあのみいみにょLv.2は冷蔵保存するとすると「「あのみいみにょLv.2は張り切り過ぎるけどそれは常連らしくない」ということは誤っている」ということは本当だ; int1 & fact4 -> int2: 「あのみいみにょLv.2は張り切り過ぎる一方で常連らしくない」ということは誤っている; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact1 -> hypothesis; __DISPROVED__