この会期は把持でないし開城しない
fact1: 仮にそのＬ‐セレクチンが把持であるということはないならこの会期は把持でない fact2: あのオフシーズンが図書館理事会だということはないかまたはそれが三猿であるか両方ともであるならばこの野村ホームトレードは図書館理事会でない fact3: あのオフシーズンは図書館理事会だということはないか三猿であるかもしくは両方ともだ fact4: 毛深くない物があるならこの会期は図書館理事会でないしくどくない fact5: もしそのＬ‐セレクチンが図書館理事会だということはないとすればあの野村ホームトレードは他愛無いしその上図書館理事会である fact6: この三複合体は御電話差し上げるしそれは図書館理事会だ fact7: もし仮にそのＬ‐セレクチンが把持でないならばあの会期は把持でなくておまけに開城しない fact8: 仮にそのＬ‐セレクチンが把持だとするとそれはくどい fact9: もしも何らかのものはくどいかもしくは毛深いとしたら図書館理事会であるということはない fact10: もしも「他愛無い」ものはあるとしたら「この野村ホームトレードは図書館理事会で毛深い」ということは事実でない fact11: あのオフシーズンは他愛無いしさらに意味深い fact12: 毛深くないものはくどくない
void -> assump1: 以下のように仮定する。そのＬ‐セレクチンは把持である; fact8 & assump1 -> int1: そのＬ‐セレクチンはくどい; int1 -> int2: そのＬ‐セレクチンはくどいかまたは毛深いかまたは両方ともである; fact9 -> int3: 仮にそのＬ‐セレクチンはくどいかまたは毛深いかあるいは両方ともであるとしたらそれは図書館理事会でない; int2 & int3 -> int4: そのＬ‐セレクチンは図書館理事会であるということはない; int4 & fact5 -> int5: この野村ホームトレードは他愛無いしまた図書館理事会だ; int5 -> int6: この野村ホームトレードは図書館理事会だ; fact3 & fact2 -> int7: この野村ホームトレードは図書館理事会でない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのＬ‐セレクチンは把持でない; int9 & fact7 -> hypothesis;
この会期は図書館理事会でないしそれは塗装しない
$facts$ = fact1: 仮にそのＬ‐セレクチンが把持であるということはないならこの会期は把持でない fact2: あのオフシーズンが図書館理事会だということはないかまたはそれが三猿であるか両方ともであるならばこの野村ホームトレードは図書館理事会でない fact3: あのオフシーズンは図書館理事会だということはないか三猿であるかもしくは両方ともだ fact4: 毛深くない物があるならこの会期は図書館理事会でないしくどくない fact5: もしそのＬ‐セレクチンが図書館理事会だということはないとすればあの野村ホームトレードは他愛無いしその上図書館理事会である fact6: この三複合体は御電話差し上げるしそれは図書館理事会だ fact7: もし仮にそのＬ‐セレクチンが把持でないならばあの会期は把持でなくておまけに開城しない fact8: 仮にそのＬ‐セレクチンが把持だとするとそれはくどい fact9: もしも何らかのものはくどいかもしくは毛深いとしたら図書館理事会であるということはない fact10: もしも「他愛無い」ものはあるとしたら「この野村ホームトレードは図書館理事会で毛深い」ということは事実でない fact11: あのオフシーズンは他愛無いしさらに意味深い fact12: 毛深くないものはくどくない ; $hypothesis$ = この会期は把持でないし開城しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＬ‐セレクチンは把持である; fact8 & assump1 -> int1: そのＬ‐セレクチンはくどい; int1 -> int2: そのＬ‐セレクチンはくどいかまたは毛深いかまたは両方ともである; fact9 -> int3: 仮にそのＬ‐セレクチンはくどいかまたは毛深いかあるいは両方ともであるとしたらそれは図書館理事会でない; int2 & int3 -> int4: そのＬ‐セレクチンは図書館理事会であるということはない; int4 & fact5 -> int5: この野村ホームトレードは他愛無いしまた図書館理事会だ; int5 -> int6: この野村ホームトレードは図書館理事会だ; fact3 & fact2 -> int7: この野村ホームトレードは図書館理事会でない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのＬ‐セレクチンは把持でない; int9 & fact7 -> hypothesis; __PROVED__
事実1: 仮にそのＬ‐セレクチンが把持であるということはないならこの会期は把持でない
事実2: あのオフシーズンが図書館理事会だということはないかまたはそれが三猿であるか両方ともであるならばこの野村ホームトレードは図書館理事会でない
事実3: あのオフシーズンは図書館理事会だということはないか三猿であるかもしくは両方ともだ
事実4: 毛深くない物があるならこの会期は図書館理事会でないしくどくない
事実5: もしそのＬ‐セレクチンが図書館理事会だということはないとすればあの野村ホームトレードは他愛無いしその上図書館理事会である
事実6: この三複合体は御電話差し上げるしそれは図書館理事会だ
事実7: もし仮にそのＬ‐セレクチンが把持でないならばあの会期は把持でなくておまけに開城しない
事実8: 仮にそのＬ‐セレクチンが把持だとするとそれはくどい
事実9: もしも何らかのものはくどいかもしくは毛深いとしたら図書館理事会であるということはない
事実10: もしも「他愛無い」ものはあるとしたら「この野村ホームトレードは図書館理事会で毛深い」ということは事実でない
事実11: あのオフシーズンは他愛無いしさらに意味深い
事実12: 毛深くないものはくどくない

仮説: この会期は把持でないし開城しない
1. 仮定1: 以下のように仮定する。そのＬ‐セレクチンは把持である
2. 事実8と仮定1から、推論1: "そのＬ‐セレクチンはくどい"が導かれる
3. 推論1から、推論2: "そのＬ‐セレクチンはくどいかまたは毛深いかまたは両方ともである"が導かれる
4. 事実9から、推論3: "仮にそのＬ‐セレクチンはくどいかまたは毛深いかあるいは両方ともであるとしたらそれは図書館理事会でない"が導かれる
5. 推論2と推論3から、推論4: "そのＬ‐セレクチンは図書館理事会であるということはない"が導かれる
6. 推論4と事実5から、推論5: "この野村ホームトレードは他愛無いしまた図書館理事会だ"が導かれる
7. 推論5から、推論6: "この野村ホームトレードは図書館理事会だ"が導かれる
8. 事実3と事実2から、推論7: "この野村ホームトレードは図書館理事会でない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "そのＬ‐セレクチンは把持でない"が導かれる
11. 推論9と事実7から、仮説が導かれる

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