あの大系が愛くるしいとしたらその妄り語は自己規制する
fact1: もしもあの大系が追い付けるとしたらその抗体産生能は愛くるしいかまたは大人らしくないかまたはどちらもである fact2: もしもその抗体産生能が大人らしくないならばその妄り語は自己規制する fact3: もし仮に「あの大系は愛くるしい」ということは真実だとすればその抗体産生能は追い付けるか大人らしくないかまたは両方である fact4: あの大系が愛くるしいならばあの抗体産生能は追い付けるかまたは大人らしいかもしくはどちらもだ fact5: もしその抗体産生能が自己規制すればその妄り語は大人らしい fact6: このフィジー人は自己規制する fact7: その抗体産生能は追い付けるかまたはそれは大人らしい fact8: もしもその抗体産生能が追い付けるかあるいは大人らしくないかもしくは両方であるならその妄り語は自己規制する
void -> assump1: 以下のように仮定する。あの大系は愛くるしい; fact3 & assump1 -> int1: その抗体産生能は追い付けるかあるいは大人らしくない; int1 & fact8 -> int2: その妄り語は自己規制する; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもあの大系が追い付けるとしたらその抗体産生能は愛くるしいかまたは大人らしくないかまたはどちらもである fact2: もしもその抗体産生能が大人らしくないならばその妄り語は自己規制する fact3: もし仮に「あの大系は愛くるしい」ということは真実だとすればその抗体産生能は追い付けるか大人らしくないかまたは両方である fact4: あの大系が愛くるしいならばあの抗体産生能は追い付けるかまたは大人らしいかもしくはどちらもだ fact5: もしその抗体産生能が自己規制すればその妄り語は大人らしい fact6: このフィジー人は自己規制する fact7: その抗体産生能は追い付けるかまたはそれは大人らしい fact8: もしもその抗体産生能が追い付けるかあるいは大人らしくないかもしくは両方であるならその妄り語は自己規制する ; $hypothesis$ = あの大系が愛くるしいとしたらその妄り語は自己規制する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大系は愛くるしい; fact3 & assump1 -> int1: その抗体産生能は追い付けるかあるいは大人らしくない; int1 & fact8 -> int2: その妄り語は自己規制する; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもあの大系が追い付けるとしたらその抗体産生能は愛くるしいかまたは大人らしくないかまたはどちらもである
事実2: もしもその抗体産生能が大人らしくないならばその妄り語は自己規制する
事実3: もし仮に「あの大系は愛くるしい」ということは真実だとすればその抗体産生能は追い付けるか大人らしくないかまたは両方である
事実4: あの大系が愛くるしいならばあの抗体産生能は追い付けるかまたは大人らしいかもしくはどちらもだ
事実5: もしその抗体産生能が自己規制すればその妄り語は大人らしい
事実6: このフィジー人は自己規制する
事実7: その抗体産生能は追い付けるかまたはそれは大人らしい
事実8: もしもその抗体産生能が追い付けるかあるいは大人らしくないかもしくは両方であるならその妄り語は自己規制する

仮説: あの大系が愛くるしいとしたらその妄り語は自己規制する
1. 仮定1: 以下のように仮定する。あの大系は愛くるしい
2. 事実3と仮定1から、推論1: "その抗体産生能は追い付けるかあるいは大人らしくない"が導かれる
3. 推論1と事実8から、推論2: "その妄り語は自己規制する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。