もし仮にあのぽのぽちゅLv.55が与え難いとしたらそのぷねぷちょLv.80は怪しい
fact1: もしもあのぽのぽちゅLv.55が怪しいとすればそのぷねぷちょLv.80は繁殖し易い fact2: あのぽのぽちゅLv.55が与え難いとすればあのぽのぽちゅLv.55は繁殖し易い fact3: 仮にこのぷちゃぷちゅLv.55は痩せ難くないならば「「あのぽのぽちゅLv.55は怪しいしさらに馬鹿でかい」ということは成り立つ」ということは成り立たない fact4: 「あのぽのぽちゅLv.55は怪しくておまけに馬鹿でかい」ということは偽であるならそのぷねぷちょLv.80は怪しいということはない fact5: 怪しくないモンスターは繁殖し易いしその上与え難い fact6: もし仮にあのぽのぽちゅLv.55が繁殖し易いとするとそのぷねぷちょLv.80は怪しい
void -> assump1: 以下のように仮定する。あのぽのぽちゅLv.55は与え難い; fact2 & assump1 -> int1: あのぽのぽちゅLv.55は繁殖し易い; int1 & fact6 -> int2: そのぷねぷちょLv.80は怪しい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
そのぷねぷちょLv.80は与え難い
fact8 -> int3: もし仮にそのぷねぷちょLv.80が怪しいということはないならそのぷねぷちょLv.80は繁殖し易くて与え難い;
$facts$ = fact1: もしもあのぽのぽちゅLv.55が怪しいとすればそのぷねぷちょLv.80は繁殖し易い fact2: あのぽのぽちゅLv.55が与え難いとすればあのぽのぽちゅLv.55は繁殖し易い fact3: 仮にこのぷちゃぷちゅLv.55は痩せ難くないならば「「あのぽのぽちゅLv.55は怪しいしさらに馬鹿でかい」ということは成り立つ」ということは成り立たない fact4: 「あのぽのぽちゅLv.55は怪しくておまけに馬鹿でかい」ということは偽であるならそのぷねぷちょLv.80は怪しいということはない fact5: 怪しくないモンスターは繁殖し易いしその上与え難い fact6: もし仮にあのぽのぽちゅLv.55が繁殖し易いとするとそのぷねぷちょLv.80は怪しい ; $hypothesis$ = もし仮にあのぽのぽちゅLv.55が与え難いとしたらそのぷねぷちょLv.80は怪しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽのぽちゅLv.55は与え難い; fact2 & assump1 -> int1: あのぽのぽちゅLv.55は繁殖し易い; int1 & fact6 -> int2: そのぷねぷちょLv.80は怪しい; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__