以下のように仮定する。このまわまゆLv.43は寂しい
fact1: このまわまゆLv.43はっ早くない fact2: もし仮にこのまわまゆLv.43が寂しいならば物珍しい fact3: もしもこのまわまゆLv.43は物珍しいならば「あのもゆもくLv.97はっ早い」ということは本当である fact4: もしもあのもゆもくLv.97が押さえ切れるとすれば寂しくない fact5: あのもゆもくLv.97はっ早くない fact6: 「もし仮にあのもゆもくLv.97が寂しいということはないとするとこのまわまゆLv.43は物珍しくないしっ早くない」ということは真実である
void -> assump1: 以下のように仮定する。このまわまゆLv.43は寂しい; fact2 & assump1 -> int1: このまわまゆLv.43は物珍しい; int1 & fact3 -> int2: あのもゆもくLv.97はっ早い; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
「そのものもわLv.0はっ早くない」ということは事実である
$facts$ = fact1: このまわまゆLv.43はっ早くない fact2: もし仮にこのまわまゆLv.43が寂しいならば物珍しい fact3: もしもこのまわまゆLv.43は物珍しいならば「あのもゆもくLv.97はっ早い」ということは本当である fact4: もしもあのもゆもくLv.97が押さえ切れるとすれば寂しくない fact5: あのもゆもくLv.97はっ早くない fact6: 「もし仮にあのもゆもくLv.97が寂しいということはないとするとこのまわまゆLv.43は物珍しくないしっ早くない」ということは真実である ; $hypothesis$ = 以下のように仮定する。このまわまゆLv.43は寂しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このまわまゆLv.43は寂しい; fact2 & assump1 -> int1: このまわまゆLv.43は物珍しい; int1 & fact3 -> int2: あのもゆもくLv.97はっ早い; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__