あのぽねぽにょLv.34は恨めしい
fact1: 仮に「あのぽねぽにょLv.34は著しくないけど歩き易い」ということは成り立つということはないとすればあのぽねぽにょLv.34は恨めしくない fact2: そのぷちゃぷちょLv.2はうざい fact3: 仮に「あのぽねぽにょLv.34は回れる一方でそれはうざくない」ということは間違いだとしたらあのぽちゅぽちゅLv.33は恨めしくない fact4: あのぽねぽにょLv.34は著しくないがしかし歩き易いとするとそのぷちゃぷちょLv.2はうざくない
void -> assump1: 以下のように仮定する。あのぽねぽにょLv.34は著しくない一方で歩き易い; fact4 & assump1 -> int1: そのぷちゃぷちょLv.2はうざくない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぽねぽにょLv.34は著しいということはないけどそれは歩き易い」ということは事実でない; int3 & fact1 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact4 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA}{a} & {AB}{a}); int3 & fact1 -> hypothesis;
あのぽちゅぽちゅLv.33は恨めしくない
$facts$ = fact1: 仮に「あのぽねぽにょLv.34は著しくないけど歩き易い」ということは成り立つということはないとすればあのぽねぽにょLv.34は恨めしくない fact2: そのぷちゃぷちょLv.2はうざい fact3: 仮に「あのぽねぽにょLv.34は回れる一方でそれはうざくない」ということは間違いだとしたらあのぽちゅぽちゅLv.33は恨めしくない fact4: あのぽねぽにょLv.34は著しくないがしかし歩き易いとするとそのぷちゃぷちょLv.2はうざくない ; $hypothesis$ = あのぽねぽにょLv.34は恨めしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽねぽにょLv.34は著しくない一方で歩き易い; fact4 & assump1 -> int1: そのぷちゃぷちょLv.2はうざくない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぽねぽにょLv.34は著しいということはないけどそれは歩き易い」ということは事実でない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: (¬{AA}{a} & {AB}{a}); fact4 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA}{a} & {AB}{a}); int3 & fact1 -> hypothesis; __DISPROVED__