「このぷゆぷゆLv.15は伝わり易いしさらにそれは広がり難い」ということは間違っている
fact1: あのぴなぴゆLv.56は操作し易くないけど切迫する fact2: あのぴなぴゆLv.56は切迫する fact3: このぷゆぷゆLv.15は広がり難い fact4: あのぷやぷにゅLv.2は追想する fact5: あのぴなぴゆLv.56は切迫するしかつ広がり難い fact6: 仮にあのぷやぷにゅLv.2は固しとすれば「このぷゆぷゆLv.15は伝わり易い」ということは成り立つ fact7: もし仮にあのぴなぴゆLv.56が操作し易くないけど切迫するとしたらあのぷやぷにゅLv.2は固し
fact7 & fact1 -> int1: あのぷやぷにゅLv.2は固し; int1 & fact6 -> int2: このぷゆぷゆLv.15は伝わり易い; int2 & fact3 -> hypothesis;
fact7 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぴなぴゆLv.56は操作し易くないけど切迫する fact2: あのぴなぴゆLv.56は切迫する fact3: このぷゆぷゆLv.15は広がり難い fact4: あのぷやぷにゅLv.2は追想する fact5: あのぴなぴゆLv.56は切迫するしかつ広がり難い fact6: 仮にあのぷやぷにゅLv.2は固しとすれば「このぷゆぷゆLv.15は伝わり易い」ということは成り立つ fact7: もし仮にあのぴなぴゆLv.56が操作し易くないけど切迫するとしたらあのぷやぷにゅLv.2は固し ; $hypothesis$ = 「このぷゆぷゆLv.15は伝わり易いしさらにそれは広がり難い」ということは間違っている ; $proof$ = 
fact7 & fact1 -> int1: あのぷやぷにゅLv.2は固し; int1 & fact6 -> int2: このぷゆぷゆLv.15は伝わり易い; int2 & fact3 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{c}; int2 & fact3 -> hypothesis; __DISPROVED__