「あのぴにぴえLv.7が妄想するとするとあのみくみちゅLv.27は欲深い」ということは成り立つということはない
fact1: もし「あのぴにぴえLv.7は開廷出来ないし取り辛くない」ということは偽だとすればあのぷゆぷにゅLv.39は欲深いということはない fact2: 仮にあのぴにぴえLv.7が妄想するならこのぷにぷわLv.69は活動し易い fact3: このぷにぷわLv.69は妄想する fact4: もしとあるモンスターは痛々しくないとすれば「それは開廷出来ないししかも取り辛くない」ということは偽である fact5: もし仮にこのぷにぷわLv.69は活動し易いとしたら「あのみくみちゅLv.27は欲深い」ということは成り立つ fact6: 欲深いということはないモンスターは活動し易くてかつ妄想する
void -> assump1: 以下のように仮定する。あのぴにぴえLv.7は妄想する; fact2 & assump1 -> int1: このぷにぷわLv.69は活動し易い; int1 & fact5 -> int2: あのみくみちゅLv.27は欲深い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
あのぷゆぷにゅLv.39は妄想する
fact9 -> int3: もし仮にあのぷゆぷにゅLv.39が欲深いということはないとすればそれは活動し易くてそれにそれは妄想する; fact8 -> int4: もしあのぴにぴえLv.7は痛々しいということはないとしたら「それは開廷出来るということはないしそれに取り辛くない」ということは真実でない;
$facts$ = fact1: もし「あのぴにぴえLv.7は開廷出来ないし取り辛くない」ということは偽だとすればあのぷゆぷにゅLv.39は欲深いということはない fact2: 仮にあのぴにぴえLv.7が妄想するならこのぷにぷわLv.69は活動し易い fact3: このぷにぷわLv.69は妄想する fact4: もしとあるモンスターは痛々しくないとすれば「それは開廷出来ないししかも取り辛くない」ということは偽である fact5: もし仮にこのぷにぷわLv.69は活動し易いとしたら「あのみくみちゅLv.27は欲深い」ということは成り立つ fact6: 欲深いということはないモンスターは活動し易くてかつ妄想する ; $hypothesis$ = 「あのぴにぴえLv.7が妄想するとするとあのみくみちゅLv.27は欲深い」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにぴえLv.7は妄想する; fact2 & assump1 -> int1: このぷにぷわLv.69は活動し易い; int1 & fact5 -> int2: あのみくみちゅLv.27は欲深い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __DISPROVED__