「「仮に「そのまえまわLv.83は青い」ということは成り立てばそのまわまちょLv.83は間断無い」ということは本当だ」ということは嘘である
fact1: そのまえまわLv.83が青いとすればそのまわまちょLv.83は凄まじい fact2: もしもそのまわまちょLv.83が忘れっぽいけどそれが間断無くないならばそのまえまわLv.83は間断無くない fact3: そのまえまわLv.83は凄まじい fact4: もし仮に「そのまわまちょLv.83は凄まじい」ということは成り立つとするとそれは青い fact5: もしも「そのまわまちょLv.83は凄まじい」ということは成り立つとしたらそれは間断無い
void -> assump1: 以下のように仮定する。そのまえまわLv.83は青い; fact1 & assump1 -> int1: そのまわまちょLv.83は凄まじい; int1 & fact5 -> int2: そのまわまちょLv.83は間断無い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
そのまえまわLv.83は凄まじい
$facts$ = fact1: そのまえまわLv.83が青いとすればそのまわまちょLv.83は凄まじい fact2: もしもそのまわまちょLv.83が忘れっぽいけどそれが間断無くないならばそのまえまわLv.83は間断無くない fact3: そのまえまわLv.83は凄まじい fact4: もし仮に「そのまわまちょLv.83は凄まじい」ということは成り立つとするとそれは青い fact5: もしも「そのまわまちょLv.83は凄まじい」ということは成り立つとしたらそれは間断無い ; $hypothesis$ = 「「仮に「そのまえまわLv.83は青い」ということは成り立てばそのまわまちょLv.83は間断無い」ということは本当だ」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまえまわLv.83は青い; fact1 & assump1 -> int1: そのまわまちょLv.83は凄まじい; int1 & fact5 -> int2: そのまわまちょLv.83は間断無い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__