「「「仮に「女らしい」ということは成り立つとすると馴れ馴れしい」モンスターはいる」ということは事実である」ということは間違っている
fact1: そのぴちゅぴちょLv.97は水臭い fact2: 仮にこのぴわぴにゃLv.98が施用するとすればそれは混同し易い fact3: あのみくみにLv.73が甘ーいとすればそのまちゃまわLv.85は甘ーい fact4: もしあのみくみにLv.73が小暗いとするとそれは腹立たしい fact5: 仮にそのぴねぴやLv.87は中途解約しないとすると「あのみくみにLv.73は甘ーいしその上女らしい」ということは成り立つ fact6: もしもあのみくみにLv.73が女らしいならば中途解約する fact7: もし仮にあのみくみにLv.73が中途解約するとすればそれは馴れ馴れしい
void -> assump1: 以下のように仮定する。あのみくみにLv.73は女らしい; fact6 & assump1 -> int1: あのみくみにLv.73は中途解約する; int1 & fact7 -> int2: あのみくみにLv.73は馴れ馴れしい; [assump1] & int2 -> int3: もしあのみくみにLv.73が女らしいなら馴れ馴れしい; int3 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
そのまちゃまわLv.85は甘ーい
$facts$ = fact1: そのぴちゅぴちょLv.97は水臭い fact2: 仮にこのぴわぴにゃLv.98が施用するとすればそれは混同し易い fact3: あのみくみにLv.73が甘ーいとすればそのまちゃまわLv.85は甘ーい fact4: もしあのみくみにLv.73が小暗いとするとそれは腹立たしい fact5: 仮にそのぴねぴやLv.87は中途解約しないとすると「あのみくみにLv.73は甘ーいしその上女らしい」ということは成り立つ fact6: もしもあのみくみにLv.73が女らしいならば中途解約する fact7: もし仮にあのみくみにLv.73が中途解約するとすればそれは馴れ馴れしい ; $hypothesis$ = 「「「仮に「女らしい」ということは成り立つとすると馴れ馴れしい」モンスターはいる」ということは事実である」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみくみにLv.73は女らしい; fact6 & assump1 -> int1: あのみくみにLv.73は中途解約する; int1 & fact7 -> int2: あのみくみにLv.73は馴れ馴れしい; [assump1] & int2 -> int3: もしあのみくみにLv.73が女らしいなら馴れ馴れしい; int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __DISPROVED__