以下のように仮定する。このまゆまちゅLv.97は白っぽくない
fact1: このまゆまちゅLv.97は傾き易い fact2: 「このまゆまちゅLv.97は掛け易くない」ということは真実だ fact3: 「「このまゆまちゅLv.97は掛け易いかあるいは騒がしくない」ということは誤っている」ということは真実であるならこのまゆまちゅLv.97は傾き易いということはない fact4: このまゆまちゅLv.97は白っぽくないなら「「このまゆまちゅLv.97は掛け易いか騒がしくない」ということは成り立つ」ということは偽である
void -> assump1: 以下のように仮定する。このまゆまちゅLv.97は白っぽくない; fact4 & assump1 -> int1: 「このまゆまちゅLv.97は掛け易いかまたはそれは騒がしくないかあるいはどちらもだ」ということは事実と異なる; int1 & fact3 -> int2: このまゆまちゅLv.97は傾き易くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact4 & assump1 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact3 -> int2: ¬{B}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: このまゆまちゅLv.97は傾き易い fact2: 「このまゆまちゅLv.97は掛け易くない」ということは真実だ fact3: 「「このまゆまちゅLv.97は掛け易いかあるいは騒がしくない」ということは誤っている」ということは真実であるならこのまゆまちゅLv.97は傾き易いということはない fact4: このまゆまちゅLv.97は白っぽくないなら「「このまゆまちゅLv.97は掛け易いか騒がしくない」ということは成り立つ」ということは偽である ; $hypothesis$ = 以下のように仮定する。このまゆまちゅLv.97は白っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまゆまちゅLv.97は白っぽくない; fact4 & assump1 -> int1: 「このまゆまちゅLv.97は掛け易いかまたはそれは騒がしくないかあるいはどちらもだ」ということは事実と異なる; int1 & fact3 -> int2: このまゆまちゅLv.97は傾き易くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact4 & assump1 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact3 -> int2: ¬{B}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__