このもなもなLv.50は甲高い
fact1: このみわみにゅLv.87は苦いしかつそれは順応し易い fact2: もし仮にこのみわみにゅLv.87が甲高くない一方で順応し易いとしたらこのもなもなLv.50は甲高くない fact3: このみわみにゅLv.87は苦い fact4: 仮にこのみわみにゅLv.87が順応し易いならばこのぽちゃぽわLv.9は作業し易い fact5: もしこのもなもなLv.50が甲高くないならこのみわみにゅLv.87は作業し易いかまたは苦い fact6: このぽちゃぽわLv.9が作業し易いとするとこのもなもなLv.50は甲高い fact7: このもなもなLv.50は苦い
fact1 -> int1: このみわみにゅLv.87は順応し易い; int1 & fact4 -> int2: このぽちゃぽわLv.9は作業し易い; int2 & fact6 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
このぽちゃぽわLv.9は順応し易い
$facts$ = fact1: このみわみにゅLv.87は苦いしかつそれは順応し易い fact2: もし仮にこのみわみにゅLv.87が甲高くない一方で順応し易いとしたらこのもなもなLv.50は甲高くない fact3: このみわみにゅLv.87は苦い fact4: 仮にこのみわみにゅLv.87が順応し易いならばこのぽちゃぽわLv.9は作業し易い fact5: もしこのもなもなLv.50が甲高くないならこのみわみにゅLv.87は作業し易いかまたは苦い fact6: このぽちゃぽわLv.9が作業し易いとするとこのもなもなLv.50は甲高い fact7: このもなもなLv.50は苦い ; $hypothesis$ = このもなもなLv.50は甲高い ; $proof$ = 
fact1 -> int1: このみわみにゅLv.87は順応し易い; int1 & fact4 -> int2: このぽちゃぽわLv.9は作業し易い; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__