「そのぽにぽえLv.11は甲高いしかつ歌舞伎っぽい」ということは偽だ
fact1: とあるモンスターは立たないとすれば「それは甲高くて歌舞伎っぽい」ということは事実と異なる fact2: もしもそのまにゅまちゅLv.42が甲高くないならばそのぽにぽえLv.11は甲高くておまけに歌舞伎っぽい fact3: もしそのまにゅまちゅLv.42が甲高くないならそのぽにぽえLv.11は歌舞伎っぽい fact4: 「そのまにゅまちゅLv.42は立たない」ということは真実である fact5: そのぽにぽえLv.11は歌舞伎っぽい fact6: もしそのまにゅまちゅLv.42が甲高いとすればそれは立つ
void -> assump1: 以下のように仮定する。そのまにゅまちゅLv.42は甲高い; fact6 & assump1 -> int1: そのまにゅまちゅLv.42は立つ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのまにゅまちゅLv.42は甲高くない」ということは本当である; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
「そのぽにぽえLv.11は甲高いしかつ歌舞伎っぽい」ということは偽だ
fact7 -> int4: 仮にそのぽにぽえLv.11は立たないならば「甲高くて歌舞伎っぽい」ということは誤りである;
$facts$ = fact1: とあるモンスターは立たないとすれば「それは甲高くて歌舞伎っぽい」ということは事実と異なる fact2: もしもそのまにゅまちゅLv.42が甲高くないならばそのぽにぽえLv.11は甲高くておまけに歌舞伎っぽい fact3: もしそのまにゅまちゅLv.42が甲高くないならそのぽにぽえLv.11は歌舞伎っぽい fact4: 「そのまにゅまちゅLv.42は立たない」ということは真実である fact5: そのぽにぽえLv.11は歌舞伎っぽい fact6: もしそのまにゅまちゅLv.42が甲高いとすればそれは立つ ; $hypothesis$ = 「そのぽにぽえLv.11は甲高いしかつ歌舞伎っぽい」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまにゅまちゅLv.42は甲高い; fact6 & assump1 -> int1: そのまにゅまちゅLv.42は立つ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのまにゅまちゅLv.42は甲高くない」ということは本当である; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __DISPROVED__