その適応基準は物流作業でない
fact1: あの表紙は物流作業でまた分業化する fact2: もしも「「あの表紙は分業化しないかまたはそれは得しないかまたはどちらもである」ということは成り立つ」ということは偽であるならこの細胞培養は勢揃いする fact3: 仮に「あの表紙は分業化するかまたはそれは得するということはないかどちらもである」ということは間違いであるならこの細胞培養は勢揃いする fact4: この細胞培養が得するしかつ眺め下ろすとしたらあの表紙は勢揃いするということはない fact5: この細胞培養は分業化するということはない fact6: 仮にその適応基準が分業化するししかも物流作業であるならばあの表紙は眺め下ろさない fact7: その適応基準は勢揃いする fact8: もし仮にこの細胞培養が勢揃いするしそれが眺め下ろせばその適応基準は物流作業でない fact9: もしもこの細胞培養が勢揃いするしかつそれが得するならあの表紙は甘噛みしない fact10: この細胞培養は眺め下ろす fact11: あの表紙は甘噛みする fact12: この有性生殖は眺め下ろす fact13: 「もしあの表紙は甘噛みするとすると「あの表紙は分業化しないかもしくは得しないかもしくは両方だ」ということは偽だ」ということは事実だ fact14: あの表紙が甘噛みするとしたら分業化する
fact13 & fact11 -> int1: 「あの表紙は分業化しないかそれは得しない」ということは誤りである; int1 & fact2 -> int2: この細胞培養は勢揃いする; int2 & fact10 -> int3: この細胞培養は勢揃いするしかつ眺め下ろす; int3 & fact8 -> hypothesis;
$facts$ = fact1: あの表紙は物流作業でまた分業化する fact2: もしも「「あの表紙は分業化しないかまたはそれは得しないかまたはどちらもである」ということは成り立つ」ということは偽であるならこの細胞培養は勢揃いする fact3: 仮に「あの表紙は分業化するかまたはそれは得するということはないかどちらもである」ということは間違いであるならこの細胞培養は勢揃いする fact4: この細胞培養が得するしかつ眺め下ろすとしたらあの表紙は勢揃いするということはない fact5: この細胞培養は分業化するということはない fact6: 仮にその適応基準が分業化するししかも物流作業であるならばあの表紙は眺め下ろさない fact7: その適応基準は勢揃いする fact8: もし仮にこの細胞培養が勢揃いするしそれが眺め下ろせばその適応基準は物流作業でない fact9: もしもこの細胞培養が勢揃いするしかつそれが得するならあの表紙は甘噛みしない fact10: この細胞培養は眺め下ろす fact11: あの表紙は甘噛みする fact12: この有性生殖は眺め下ろす fact13: 「もしあの表紙は甘噛みするとすると「あの表紙は分業化しないかもしくは得しないかもしくは両方だ」ということは偽だ」ということは事実だ fact14: あの表紙が甘噛みするとしたら分業化する ; $hypothesis$ = その適応基準は物流作業でない ; $proof$ = 
fact13 & fact11 -> int1: 「あの表紙は分業化しないかそれは得しない」ということは誤りである; int1 & fact2 -> int2: この細胞培養は勢揃いする; int2 & fact10 -> int3: この細胞培養は勢揃いするしかつ眺め下ろす; int3 & fact8 -> hypothesis; __PROVED__
事実1: あの表紙は物流作業でまた分業化する
事実2: もしも「「あの表紙は分業化しないかまたはそれは得しないかまたはどちらもである」ということは成り立つ」ということは偽であるならこの細胞培養は勢揃いする
事実3: 仮に「あの表紙は分業化するかまたはそれは得するということはないかどちらもである」ということは間違いであるならこの細胞培養は勢揃いする
事実4: この細胞培養が得するしかつ眺め下ろすとしたらあの表紙は勢揃いするということはない
事実5: この細胞培養は分業化するということはない
事実6: 仮にその適応基準が分業化するししかも物流作業であるならばあの表紙は眺め下ろさない
事実7: その適応基準は勢揃いする
事実8: もし仮にこの細胞培養が勢揃いするしそれが眺め下ろせばその適応基準は物流作業でない
事実9: もしもこの細胞培養が勢揃いするしかつそれが得するならあの表紙は甘噛みしない
事実10: この細胞培養は眺め下ろす
事実11: あの表紙は甘噛みする
事実12: この有性生殖は眺め下ろす
事実13: 「もしあの表紙は甘噛みするとすると「あの表紙は分業化しないかもしくは得しないかもしくは両方だ」ということは偽だ」ということは事実だ
事実14: あの表紙が甘噛みするとしたら分業化する

仮説: その適応基準は物流作業でない
1. 事実13と事実11から、推論1: "「あの表紙は分業化しないかそれは得しない」ということは誤りである"が導かれる
2. 推論1と事実2から、推論2: "この細胞培養は勢揃いする"が導かれる
3. 推論2と事実10から、推論3: "この細胞培養は勢揃いするしかつ眺め下ろす"が導かれる
4. 推論3と事実8から、仮説が導かれる

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