もしもそのチャタリングが極まり悪くないとすればその人体は司書達であるかあるいは見え易い
fact1: その人体が見辛いがしかし極まり悪くないとするとそのチャタリングは司書達である fact2: 仮にそのチャタリングが見辛くてさらに極まり悪いならばあの人体は見え易い fact3: もしもそのチャタリングが見辛いがしかし司書達でないならばその人体は極まり悪い fact4: そのチャタリングは見辛い fact5: あの記憶領域は極まり悪い fact6: その人体は極まり悪いかあるいはそれは見え易いかまたは両方である fact7: もしもその人体が見え易くないとしたらそのチャタリングは司書達であるか極まり悪い fact8: 「その人体は落成する」ということは事実である fact9: その人体が司書達だがしかし見辛くないとしたらそのチャタリングは見え易い fact10: その藪苺は見え易くない fact11: 仮に「そのチャタリングは極まり悪い」ということは本当であるならばその人体は司書達であるかまたは見え易いかあるいは両方ともである fact12: そのチャタリングは分かち難い fact13: もし仮にそのチャタリングが見辛いがしかしそれが極まり悪くないとしたらその人体は見え易い fact14: その人体は見辛い
void -> assump1: 以下のように仮定する。「そのチャタリングは極まり悪くない」ということは事実だ; fact4 & assump1 -> int1: そのチャタリングは見辛いけれど極まり悪くない; int1 & fact13 -> int2: その人体は見え易い; int2 -> int3: その人体は司書達であるかあるいは見え易いかどちらもである; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その人体が見辛いがしかし極まり悪くないとするとそのチャタリングは司書達である fact2: 仮にそのチャタリングが見辛くてさらに極まり悪いならばあの人体は見え易い fact3: もしもそのチャタリングが見辛いがしかし司書達でないならばその人体は極まり悪い fact4: そのチャタリングは見辛い fact5: あの記憶領域は極まり悪い fact6: その人体は極まり悪いかあるいはそれは見え易いかまたは両方である fact7: もしもその人体が見え易くないとしたらそのチャタリングは司書達であるか極まり悪い fact8: 「その人体は落成する」ということは事実である fact9: その人体が司書達だがしかし見辛くないとしたらそのチャタリングは見え易い fact10: その藪苺は見え易くない fact11: 仮に「そのチャタリングは極まり悪い」ということは本当であるならばその人体は司書達であるかまたは見え易いかあるいは両方ともである fact12: そのチャタリングは分かち難い fact13: もし仮にそのチャタリングが見辛いがしかしそれが極まり悪くないとしたらその人体は見え易い fact14: その人体は見辛い ; $hypothesis$ = もしもそのチャタリングが極まり悪くないとすればその人体は司書達であるかあるいは見え易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのチャタリングは極まり悪くない」ということは事実だ; fact4 & assump1 -> int1: そのチャタリングは見辛いけれど極まり悪くない; int1 & fact13 -> int2: その人体は見え易い; int2 -> int3: その人体は司書達であるかあるいは見え易いかどちらもである; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その人体が見辛いがしかし極まり悪くないとするとそのチャタリングは司書達である
事実2: 仮にそのチャタリングが見辛くてさらに極まり悪いならばあの人体は見え易い
事実3: もしもそのチャタリングが見辛いがしかし司書達でないならばその人体は極まり悪い
事実4: そのチャタリングは見辛い
事実5: あの記憶領域は極まり悪い
事実6: その人体は極まり悪いかあるいはそれは見え易いかまたは両方である
事実7: もしもその人体が見え易くないとしたらそのチャタリングは司書達であるか極まり悪い
事実8: 「その人体は落成する」ということは事実である
事実9: その人体が司書達だがしかし見辛くないとしたらそのチャタリングは見え易い
事実10: その藪苺は見え易くない
事実11: 仮に「そのチャタリングは極まり悪い」ということは本当であるならばその人体は司書達であるかまたは見え易いかあるいは両方ともである
事実12: そのチャタリングは分かち難い
事実13: もし仮にそのチャタリングが見辛いがしかしそれが極まり悪くないとしたらその人体は見え易い
事実14: その人体は見辛い

仮説: もしもそのチャタリングが極まり悪くないとすればその人体は司書達であるかあるいは見え易い
1. 仮定1: 以下のように仮定する。「そのチャタリングは極まり悪くない」ということは事実だ
2. 事実4と仮定1から、推論1: "そのチャタリングは見辛いけれど極まり悪くない"が導かれる
3. 推論1と事実13から、推論2: "その人体は見え易い"が導かれる
4. 推論2から、推論3: "その人体は司書達であるかあるいは見え易いかどちらもである"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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