あのぽちゅぽくLv.10は近しい
fact1: もし仮にあのぽにゅぽにLv.42が悲ししそれが毒々しいとするとあのぽにゅぽにLv.42はローストするということはない fact2: あのぽにゅぽにLv.42はローストする fact3: あのぽにゅぽにLv.42が悲しないがしかし毒々しいならあのぽにゅぽにLv.42はローストしない fact4: もしあのぽちゅぽくLv.10が近しくないとしたらあのぽにゅぽにLv.42は悲しということはない fact5: あのぽちゅぽくLv.10が近しくないとすればあのぽにゅぽにLv.42は悲しということはないけれど毒々しい fact6: あのぽにゅぽにLv.42は悲しない
void -> assump1: 以下のように仮定する。あのぽちゅぽくLv.10は近しくない; fact5 & assump1 -> int1: あのぽにゅぽにLv.42は悲しない一方でそれは毒々しい; int1 & fact3 -> int2: あのぽにゅぽにLv.42はローストしない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact5 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact3 -> int2: ¬{B}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあのぽにゅぽにLv.42が悲ししそれが毒々しいとするとあのぽにゅぽにLv.42はローストするということはない fact2: あのぽにゅぽにLv.42はローストする fact3: あのぽにゅぽにLv.42が悲しないがしかし毒々しいならあのぽにゅぽにLv.42はローストしない fact4: もしあのぽちゅぽくLv.10が近しくないとしたらあのぽにゅぽにLv.42は悲しということはない fact5: あのぽちゅぽくLv.10が近しくないとすればあのぽにゅぽにLv.42は悲しということはないけれど毒々しい fact6: あのぽにゅぽにLv.42は悲しない ; $hypothesis$ = あのぽちゅぽくLv.10は近しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽちゅぽくLv.10は近しくない; fact5 & assump1 -> int1: あのぽにゅぽにLv.42は悲しない一方でそれは毒々しい; int1 & fact3 -> int2: あのぽにゅぽにLv.42はローストしない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; fact5 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact3 -> int2: ¬{B}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__