このぷちょぷにゅLv.57は怖ーい
fact1: もしもそのみくみにょLv.55は確立・整備しないとすると「あのぴやぴわLv.28が古いしその上だらし無い」ということは成り立つということはない fact2: もしもあのぴやぴわLv.28が取り始めないとしたらあのぴやぴわLv.28は供述するかまたはそれはだらし無いかまたは両方である fact3: あのぴやぴわLv.28は取り始めない fact4: もし仮にそのみくみにょLv.55が古いならばそのみくみにょLv.55は確立・整備する fact5: 「あのぴやぴわLv.28はだらし無い」ということは真実であるならそのみくみにょLv.55は古い fact6: もし仮にあのぴやぴわLv.28が供述すればそのみくみにょLv.55は古い fact7: もしも「「あのぴやぴわLv.28は古いしだらし無い」ということは成り立つ」ということは事実と異なるならこのぷちょぷにゅLv.57はだらし無くない fact8: 仮にそのみくみにょLv.55が確立・整備するとすればこのぷちょぷにゅLv.57は怖ーい
fact3 & fact2 -> int1: あのぴやぴわLv.28は供述するかだらし無いかまたは両方ともだ; int1 & fact6 & fact5 -> int2: そのみくみにょLv.55は古い; int2 & fact4 -> int3: そのみくみにょLv.55は確立・整備する; int3 & fact8 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact6 & fact5 -> int2: {C}{c}; int2 & fact4 -> int3: {D}{c}; int3 & fact8 -> hypothesis;
このぷちょぷにゅLv.57は怖ーくない
$facts$ = fact1: もしもそのみくみにょLv.55は確立・整備しないとすると「あのぴやぴわLv.28が古いしその上だらし無い」ということは成り立つということはない fact2: もしもあのぴやぴわLv.28が取り始めないとしたらあのぴやぴわLv.28は供述するかまたはそれはだらし無いかまたは両方である fact3: あのぴやぴわLv.28は取り始めない fact4: もし仮にそのみくみにょLv.55が古いならばそのみくみにょLv.55は確立・整備する fact5: 「あのぴやぴわLv.28はだらし無い」ということは真実であるならそのみくみにょLv.55は古い fact6: もし仮にあのぴやぴわLv.28が供述すればそのみくみにょLv.55は古い fact7: もしも「「あのぴやぴわLv.28は古いしだらし無い」ということは成り立つ」ということは事実と異なるならこのぷちょぷにゅLv.57はだらし無くない fact8: 仮にそのみくみにょLv.55が確立・整備するとすればこのぷちょぷにゅLv.57は怖ーい ; $hypothesis$ = このぷちょぷにゅLv.57は怖ーい ; $proof$ = 
fact3 & fact2 -> int1: あのぴやぴわLv.28は供述するかだらし無いかまたは両方ともだ; int1 & fact6 & fact5 -> int2: そのみくみにょLv.55は古い; int2 & fact4 -> int3: そのみくみにょLv.55は確立・整備する; int3 & fact8 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact6 & fact5 -> int2: {C}{c}; int2 & fact4 -> int3: {D}{c}; int3 & fact8 -> hypothesis; __PROVED__