以下のように仮定する。このぷねぷねLv.39は注意深い
fact1: 「このぷねぷねLv.39は剥がれ易い」ということは確かだ fact2: 何らかのモンスターが関与出来ないとしたらそれは話し難いということはない一方で物々しい fact3: もし仮にこのぷねぷねLv.39が注意深いしそれが剥がれ易いならそのみにみよLv.68は再検討すらない fact4: そのみにみよLv.68は再検討す fact5: 話し難くないしおまけに物々しいモンスターは再検討すらない fact6: あのぷよぷにゅLv.0が支配するとしたらそのみにみよLv.68は支配する fact7: もし仮になんらかのモンスターが再検討すらないなら剥がれ易くてそれに注意深い fact8: 仮にそのみにみよLv.68が支配するとしたらこのぷねぷねLv.39は関与出来ないししかも漏れ易くない
void -> assump1: 以下のように仮定する。このぷねぷねLv.39は注意深い; assump1 & fact1 -> int1: このぷねぷねLv.39は注意深いしその上剥がれ易い; int1 & fact3 -> int2: そのみにみよLv.68は再検討すらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぷねぷねLv.39は注意深い
fact11 -> int4: もし仮にこのぷねぷねLv.39が再検討すらないならこのぷねぷねLv.39は剥がれ易くて注意深い; fact13 -> int5: 仮にこのぷねぷねLv.39が話し難くないがしかしそれは物々しいとしたら「このぷねぷねLv.39は再検討すらない」ということは真実だ; fact10 -> int6: 仮にこのぷねぷねLv.39は関与出来ないならば「話し難いということはなくてそれは物々しい」ということは確かである;
$facts$ = fact1: 「このぷねぷねLv.39は剥がれ易い」ということは確かだ fact2: 何らかのモンスターが関与出来ないとしたらそれは話し難いということはない一方で物々しい fact3: もし仮にこのぷねぷねLv.39が注意深いしそれが剥がれ易いならそのみにみよLv.68は再検討すらない fact4: そのみにみよLv.68は再検討す fact5: 話し難くないしおまけに物々しいモンスターは再検討すらない fact6: あのぷよぷにゅLv.0が支配するとしたらそのみにみよLv.68は支配する fact7: もし仮になんらかのモンスターが再検討すらないなら剥がれ易くてそれに注意深い fact8: 仮にそのみにみよLv.68が支配するとしたらこのぷねぷねLv.39は関与出来ないししかも漏れ易くない ; $hypothesis$ = 以下のように仮定する。このぷねぷねLv.39は注意深い ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷねぷねLv.39は注意深い; assump1 & fact1 -> int1: このぷねぷねLv.39は注意深いしその上剥がれ易い; int1 & fact3 -> int2: そのみにみよLv.68は再検討すらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__