以下のように仮定する。あのまくまにゅLv.53は眩い
fact1: そのまちょまわLv.45は弱し fact2: このまにゅまちゅLv.39が眩いならあのまくまにゅLv.53は首尾良い fact3: 「「あのまくまにゅLv.53は首尾良くない」ということは正しい」ということは偽だ fact4: もし何らかのモンスターは憤るとすれば「いとおしくないがしかし首尾良い」ということは事実と異なる fact5: もしもあのまくまにゅLv.53が眩いならこのまにゅまちゅLv.39は首尾良い fact6: もし仮に「なんらかのモンスターはいとおしくないがしかし首尾良い」ということは誤っているとしたら眩くない fact7: 仮にこのまにゅまちゅLv.39が首尾良いとすればいとおしい fact8: 「このまにゅまちゅLv.39はいとおしくない」ということは誤りでない
void -> assump1: 以下のように仮定する。あのまくまにゅLv.53は眩い; fact5 & assump1 -> int1: このまにゅまちゅLv.39は首尾良い; int1 & fact7 -> int2: このまにゅまちゅLv.39はいとおしい; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis;
このみえみちゅLv.7は眩いということはない
fact10 -> int4: 仮に「このみえみちゅLv.7はいとおしいということはないけど首尾良い」ということは間違っているとするとこのみえみちゅLv.7は眩くない; fact9 -> int5: このみえみちゅLv.7は憤るとしたら「このみえみちゅLv.7はいとおしくないがしかし首尾良い」ということは成り立つということはない;
$facts$ = fact1: そのまちょまわLv.45は弱し fact2: このまにゅまちゅLv.39が眩いならあのまくまにゅLv.53は首尾良い fact3: 「「あのまくまにゅLv.53は首尾良くない」ということは正しい」ということは偽だ fact4: もし何らかのモンスターは憤るとすれば「いとおしくないがしかし首尾良い」ということは事実と異なる fact5: もしもあのまくまにゅLv.53が眩いならこのまにゅまちゅLv.39は首尾良い fact6: もし仮に「なんらかのモンスターはいとおしくないがしかし首尾良い」ということは誤っているとしたら眩くない fact7: 仮にこのまにゅまちゅLv.39が首尾良いとすればいとおしい fact8: 「このまにゅまちゅLv.39はいとおしくない」ということは誤りでない ; $hypothesis$ = 以下のように仮定する。あのまくまにゅLv.53は眩い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまくまにゅLv.53は眩い; fact5 & assump1 -> int1: このまにゅまちゅLv.39は首尾良い; int1 & fact7 -> int2: このまにゅまちゅLv.39はいとおしい; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__