以下のように仮定する。あのぷいぷにゅLv.85は辛気臭くなくてかつ共感しない
fact1: あのまちゅまねLv.67はどでかい fact2: 仮にあのぷいぷにゅLv.85が辛気臭くなくて共感しないとすればあのまちゅまねLv.67はどでかくない fact3: このぴなぴのLv.41はどでかくない
void -> assump1: 以下のように仮定する。あのぷいぷにゅLv.85は辛気臭くなくてかつ共感しない; fact2 & assump1 -> int1: あのまちゅまねLv.67はどでかくない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あのまちゅまねLv.67はどでかい fact2: 仮にあのぷいぷにゅLv.85が辛気臭くなくて共感しないとすればあのまちゅまねLv.67はどでかくない fact3: このぴなぴのLv.41はどでかくない ; $hypothesis$ = 以下のように仮定する。あのぷいぷにゅLv.85は辛気臭くなくてかつ共感しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷいぷにゅLv.85は辛気臭くなくてかつ共感しない; fact2 & assump1 -> int1: あのまちゅまねLv.67はどでかくない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__