貧しいということは発生するし見れることは起きない
fact1: 見れることは着せがましいということのきっかけとなる fact2: 「こっ酷いということが生じる」ということは「みにゅみえLv.55事件は発生しない」ということを阻止する fact3: もわもちゅLv.37事件が起きるとすれば「ぷえぷにLv.31事件が起こらないか照らせることは起こらないかまたは両方ともだ」ということは間違いである fact4: 着せがましいということは起こらない fact5: もし「ぷえぷにLv.31事件が生じないか照らせることは起こらないかまたは両方である」ということは事実でないとすると貧しいということは起こらない
void -> assump1: 以下のように仮定する。見れることが起きる; fact1 & assump1 -> int1: 着せがましいということが起こる; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 見れることは起きない;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A};
「貧しいということが起きるし見れることは起こらない」ということは成り立つということはない
 -> hypothesis;
$facts$ = fact1: 見れることは着せがましいということのきっかけとなる fact2: 「こっ酷いということが生じる」ということは「みにゅみえLv.55事件は発生しない」ということを阻止する fact3: もわもちゅLv.37事件が起きるとすれば「ぷえぷにLv.31事件が起こらないか照らせることは起こらないかまたは両方ともだ」ということは間違いである fact4: 着せがましいということは起こらない fact5: もし「ぷえぷにLv.31事件が生じないか照らせることは起こらないかまたは両方である」ということは事実でないとすると貧しいということは起こらない ; $hypothesis$ = 貧しいということは発生するし見れることは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__