「このみにゃみなLv.55は表現し切れるということはないかまたはそれは怖いかまたは両方ともだ」ということは偽である
fact1: そのみにょみちゅLv.43は付属する fact2: もしそのみにょみちゅLv.43がこよないけど納付すらないとしたらこのみにゃみなLv.55は表現し切れるということはない fact3: 「そのみにょみちゅLv.43が付属するしその上縦貫するとすればそのみにょみちゅLv.43は納付すらない」ということは成り立つ fact4: そのみにょみちゅLv.43はこよない fact5: 「そのみにょみちゅLv.43は縦貫する」ということは成り立つ
fact1 & fact5 -> int1: そのみにょみちゅLv.43は付属するしそれに縦貫する; int1 & fact3 -> int2: そのみにょみちゅLv.43は納付すらない; int2 & fact4 -> int3: そのみにょみちゅLv.43はこよないけれど納付すらない; int3 & fact2 -> int4: このみにゃみなLv.55は表現し切れない; int4 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: ({D}{a} & ¬{C}{a}); int3 & fact2 -> int4: ¬{E}{b}; int4 -> hypothesis;
$facts$ = fact1: そのみにょみちゅLv.43は付属する fact2: もしそのみにょみちゅLv.43がこよないけど納付すらないとしたらこのみにゃみなLv.55は表現し切れるということはない fact3: 「そのみにょみちゅLv.43が付属するしその上縦貫するとすればそのみにょみちゅLv.43は納付すらない」ということは成り立つ fact4: そのみにょみちゅLv.43はこよない fact5: 「そのみにょみちゅLv.43は縦貫する」ということは成り立つ ; $hypothesis$ = 「このみにゃみなLv.55は表現し切れるということはないかまたはそれは怖いかまたは両方ともだ」ということは偽である ; $proof$ = 
fact1 & fact5 -> int1: そのみにょみちゅLv.43は付属するしそれに縦貫する; int1 & fact3 -> int2: そのみにょみちゅLv.43は納付すらない; int2 & fact4 -> int3: そのみにょみちゅLv.43はこよないけれど納付すらない; int3 & fact2 -> int4: このみにゃみなLv.55は表現し切れない; int4 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: ({D}{a} & ¬{C}{a}); int3 & fact2 -> int4: ¬{E}{b}; int4 -> hypothesis; __DISPROVED__