もしもあのぷわぷくLv.82が胡散臭いならばあのまちゅまくLv.13は信じ難い
fact1: 仮にあのぴにょぴえLv.1が曲がらないとするとあのぴにょぴえLv.1は信じ難くない fact2: あのぷわぷくLv.82が胡散臭いならあのまちゅまくLv.13は入れ易いけれど過ごし易いということはない fact3: あのまちゅまくLv.13は過ごし易くない fact4: もしもあのまちゅまくLv.13が入れ易いし過ごし易いとすればあのまちゅまくLv.13は信じ難い fact5: あのまちゅまくLv.13は入れ易いが過ごし易いということはないとすると信じ難い fact6: あのぽなぽにゃLv.90は胡散臭い fact7: あのぷわぷくLv.82は混同し易い
void -> assump1: 以下のように仮定する。あのぷわぷくLv.82は胡散臭い; fact2 & assump1 -> int1: あのまちゅまくLv.13は入れ易いけれど過ごし易いということはない; int1 & fact5 -> int2: あのまちゅまくLv.13は信じ難い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact5 -> int2: {B}{b}; [assump1] & int2 -> hypothesis;
あのぴにょぴえLv.1は入れ易い
$facts$ = fact1: 仮にあのぴにょぴえLv.1が曲がらないとするとあのぴにょぴえLv.1は信じ難くない fact2: あのぷわぷくLv.82が胡散臭いならあのまちゅまくLv.13は入れ易いけれど過ごし易いということはない fact3: あのまちゅまくLv.13は過ごし易くない fact4: もしもあのまちゅまくLv.13が入れ易いし過ごし易いとすればあのまちゅまくLv.13は信じ難い fact5: あのまちゅまくLv.13は入れ易いが過ごし易いということはないとすると信じ難い fact6: あのぽなぽにゃLv.90は胡散臭い fact7: あのぷわぷくLv.82は混同し易い ; $hypothesis$ = もしもあのぷわぷくLv.82が胡散臭いならばあのまちゅまくLv.13は信じ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷわぷくLv.82は胡散臭い; fact2 & assump1 -> int1: あのまちゅまくLv.13は入れ易いけれど過ごし易いということはない; int1 & fact5 -> int2: あのまちゅまくLv.13は信じ難い; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact5 -> int2: {B}{b}; [assump1] & int2 -> hypothesis; __PROVED__