「あのぷなぷゆLv.51は廃業するしおまけに恐ろしい」ということは間違っている
fact1: もしこのぷにぷくLv.24が甘辛くないとしたらこのぷにぷくLv.24は黴臭いということはないけど印象深い fact2: もし仮にとあるモンスターは黴臭くないとすると「廃業するしその上恐ろしい」ということは嘘である fact3: あのぷなぷゆLv.51は廃業する fact4: あのぷなぷゆLv.51は恐ろしい fact5: あらゆるモンスターは嫉妬深いしそれにもやう fact6: このみねみちゅLv.44が嫉妬深いかまたは甘辛いか両方であるとしたらこのぷにぷくLv.24は甘辛くない
fact3 -> int1: あのぷなぷゆLv.51は廃業する; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
「あのぷなぷゆLv.51は廃業するしおまけに恐ろしい」ということは間違っている
fact9 -> int2: もしもあのぷなぷゆLv.51は黴臭くないとすれば「「廃業するしおまけに恐ろしい」ということは真実である」ということは偽である; fact8 -> int3: このみねみちゅLv.44は嫉妬深いし加えてもやう; int3 -> int4: このみねみちゅLv.44は嫉妬深い; int4 -> int5: このみねみちゅLv.44は嫉妬深いか甘辛い; fact10 & int5 -> int6: このぷにぷくLv.24は甘辛くない; fact7 & int6 -> int7: このぷにぷくLv.24は黴臭くないけれどそれは印象深い; int7 -> int8: とあるモンスターは黴臭くないけど印象深い;
$facts$ = fact1: もしこのぷにぷくLv.24が甘辛くないとしたらこのぷにぷくLv.24は黴臭いということはないけど印象深い fact2: もし仮にとあるモンスターは黴臭くないとすると「廃業するしその上恐ろしい」ということは嘘である fact3: あのぷなぷゆLv.51は廃業する fact4: あのぷなぷゆLv.51は恐ろしい fact5: あらゆるモンスターは嫉妬深いしそれにもやう fact6: このみねみちゅLv.44が嫉妬深いかまたは甘辛いか両方であるとしたらこのぷにぷくLv.24は甘辛くない ; $hypothesis$ = 「あのぷなぷゆLv.51は廃業するしおまけに恐ろしい」ということは間違っている ; $proof$ = 
fact3 -> int1: あのぷなぷゆLv.51は廃業する; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__