以下のように仮定する。そのぴちゃぴにLv.4は御決めに成らない
fact1: 「そのぴちゃぴにLv.4は御決めに成らない」ということは成り立つなら「そのぷくぷにゅLv.53はごつかないか解明すらないかもしくは両方だ」ということは成り立たない fact2: もし仮にこのぴゆぴねLv.48は軽しならば「そのもなもちょLv.1は小煩い」ということは成り立つ fact3: もし「そのぷくぷにゅLv.53はごつかないかあるいはそれは解明すらないかまたは両方ともだ」ということは間違っているとすればそのもなもちょLv.1は詳しくない fact4: 「そのぷえぷねLv.50は休眠しないけどそれは与え難い」ということは正しいならばこのぴゆぴねLv.48は軽し fact5: そのもなもちょLv.1は詳しい
void -> assump1: 以下のように仮定する。そのぴちゃぴにLv.4は御決めに成らない; fact1 & assump1 -> int1: 「そのぷくぷにゅLv.53はごついということはないかあるいは解明すらないかあるいは両方ともだ」ということは誤りである; int1 & fact3 -> int2: そのもなもちょLv.1は詳しくない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのぴちゃぴにLv.4は御決めに成らない
$facts$ = fact1: 「そのぴちゃぴにLv.4は御決めに成らない」ということは成り立つなら「そのぷくぷにゅLv.53はごつかないか解明すらないかもしくは両方だ」ということは成り立たない fact2: もし仮にこのぴゆぴねLv.48は軽しならば「そのもなもちょLv.1は小煩い」ということは成り立つ fact3: もし「そのぷくぷにゅLv.53はごつかないかあるいはそれは解明すらないかまたは両方ともだ」ということは間違っているとすればそのもなもちょLv.1は詳しくない fact4: 「そのぷえぷねLv.50は休眠しないけどそれは与え難い」ということは正しいならばこのぴゆぴねLv.48は軽し fact5: そのもなもちょLv.1は詳しい ; $hypothesis$ = 以下のように仮定する。そのぴちゃぴにLv.4は御決めに成らない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴちゃぴにLv.4は御決めに成らない; fact1 & assump1 -> int1: 「そのぷくぷにゅLv.53はごついということはないかあるいは解明すらないかあるいは両方ともだ」ということは誤りである; int1 & fact3 -> int2: そのもなもちょLv.1は詳しくない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact3 -> int2: ¬{B}{c}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__