このぴちゃぴにゅLv.79は女っぽい
fact1: そのみにゃみわLv.23は見難い fact2: 「そのみにゃみわLv.23は薄汚くない一方で労労じ」ということは成り立たない fact3: そのみにゃみわLv.23が見難いしそれが配れるならこのぴちゃぴにゅLv.79は女っぽくない fact4: もしそのみにゃみわLv.23が捨て難いならそのみにゃみわLv.23は配れる fact5: もし仮に「なにがしかのモンスターは薄汚くないがしかし労労じ」ということは嘘だとしたら捨て難い
fact5 -> int1: 仮に「そのみにゃみわLv.23は薄汚いということはないけどそれは労労じ」ということは嘘だとしたらそのみにゃみわLv.23は捨て難い; int1 & fact2 -> int2: そのみにゃみわLv.23は捨て難い; int2 & fact4 -> int3: 「そのみにゃみわLv.23は配れる」ということは成り立つ; int3 & fact1 -> int4: そのみにゃみわLv.23は見難いし配れる; int4 & fact3 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact1 -> int4: ({C}{aa} & {A}{aa}); int4 & fact3 -> hypothesis;
$facts$ = fact1: そのみにゃみわLv.23は見難い fact2: 「そのみにゃみわLv.23は薄汚くない一方で労労じ」ということは成り立たない fact3: そのみにゃみわLv.23が見難いしそれが配れるならこのぴちゃぴにゅLv.79は女っぽくない fact4: もしそのみにゃみわLv.23が捨て難いならそのみにゃみわLv.23は配れる fact5: もし仮に「なにがしかのモンスターは薄汚くないがしかし労労じ」ということは嘘だとしたら捨て難い ; $hypothesis$ = このぴちゃぴにゅLv.79は女っぽい ; $proof$ = 
fact5 -> int1: 仮に「そのみにゃみわLv.23は薄汚いということはないけどそれは労労じ」ということは嘘だとしたらそのみにゃみわLv.23は捨て難い; int1 & fact2 -> int2: そのみにゃみわLv.23は捨て難い; int2 & fact4 -> int3: 「そのみにゃみわLv.23は配れる」ということは成り立つ; int3 & fact1 -> int4: そのみにゃみわLv.23は見難いし配れる; int4 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact1 -> int4: ({C}{aa} & {A}{aa}); int4 & fact3 -> hypothesis; __DISPROVED__