その発生因子は喜ばしかないけどそれは眼瞼下垂である
fact1: 仮にその発生因子が喜ばしいし眼瞼下垂だとすればあの軟骨欠損は見え易くない fact2: 仮に「「確からしいということはないし方向転換しない」ということは間違っている」物があるならその発生因子は喜ばしかない fact3: もしもこの著者自身が見え易いとしたらあの軟骨欠損は見え易い fact4: もしもその発生因子が喜ばしかない一方で眼瞼下垂であるならあの軟骨欠損は見え易いということはない fact5: この著者自身は見え易い fact6: 「「確からしくないし加えて方向転換しない」ということは間違いな」ものはある fact7: 仮になにかは身売りしないならば「落ち難くないかもしくはそれは定型抗精神病薬だということはない」ということは正しいということはない fact8: 「その発生因子は見え易いということはない眼瞼下垂だ」ということは本当でない fact9: その発生因子は喜ばしかない fact10: その発生因子は喜ばしいということはないけど見え易い fact11: この著者自身が集め易いけどそれが嘘っぽくないならばあの軟骨欠損は身売りしない fact12: 見え易いということはないものは遅れ始めるし眼瞼下垂である fact13: 「その発生因子は喜ばしくて眼瞼下垂だ」ということは成り立たない
void -> assump1: 以下のように仮定する。その発生因子は喜ばしかないけれど眼瞼下垂だ; fact4 & assump1 -> int1: あの軟骨欠損は見え易くない; fact5 & fact3 -> int2: 「あの軟骨欠損は見え易い」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact4 & assump1 -> int1: ¬{B}{b}; fact5 & fact3 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その発生因子は喜ばしかないけれどそれは眼瞼下垂である
fact16 & fact14 -> int4: その発生因子は喜ばしかない; fact17 -> int5: 仮にその発生因子が見え易くないとすると遅れ始めるしそれは眼瞼下垂である; fact15 -> int6: もしも「あの軟骨欠損は身売りするということはない」ということは成り立つとすれば「落ち難くないかあるいは定型抗精神病薬でないかあるいは両方ともだ」ということは誤りだ;
$facts$ = fact1: 仮にその発生因子が喜ばしいし眼瞼下垂だとすればあの軟骨欠損は見え易くない fact2: 仮に「「確からしいということはないし方向転換しない」ということは間違っている」物があるならその発生因子は喜ばしかない fact3: もしもこの著者自身が見え易いとしたらあの軟骨欠損は見え易い fact4: もしもその発生因子が喜ばしかない一方で眼瞼下垂であるならあの軟骨欠損は見え易いということはない fact5: この著者自身は見え易い fact6: 「「確からしくないし加えて方向転換しない」ということは間違いな」ものはある fact7: 仮になにかは身売りしないならば「落ち難くないかもしくはそれは定型抗精神病薬だということはない」ということは正しいということはない fact8: 「その発生因子は見え易いということはない眼瞼下垂だ」ということは本当でない fact9: その発生因子は喜ばしかない fact10: その発生因子は喜ばしいということはないけど見え易い fact11: この著者自身が集め易いけどそれが嘘っぽくないならばあの軟骨欠損は身売りしない fact12: 見え易いということはないものは遅れ始めるし眼瞼下垂である fact13: 「その発生因子は喜ばしくて眼瞼下垂だ」ということは成り立たない ; $hypothesis$ = その発生因子は喜ばしかないけどそれは眼瞼下垂である ; $proof$ = 
void -> assump1: 以下のように仮定する。その発生因子は喜ばしかないけれど眼瞼下垂だ; fact4 & assump1 -> int1: あの軟骨欠損は見え易くない; fact5 & fact3 -> int2: 「あの軟骨欠損は見え易い」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にその発生因子が喜ばしいし眼瞼下垂だとすればあの軟骨欠損は見え易くない
事実2: 仮に「「確からしいということはないし方向転換しない」ということは間違っている」物があるならその発生因子は喜ばしかない
事実3: もしもこの著者自身が見え易いとしたらあの軟骨欠損は見え易い
事実4: もしもその発生因子が喜ばしかない一方で眼瞼下垂であるならあの軟骨欠損は見え易いということはない
事実5: この著者自身は見え易い
事実6: 「「確からしくないし加えて方向転換しない」ということは間違いな」ものはある
事実7: 仮になにかは身売りしないならば「落ち難くないかもしくはそれは定型抗精神病薬だということはない」ということは正しいということはない
事実8: 「その発生因子は見え易いということはない眼瞼下垂だ」ということは本当でない
事実9: その発生因子は喜ばしかない
事実10: その発生因子は喜ばしいということはないけど見え易い
事実11: この著者自身が集め易いけどそれが嘘っぽくないならばあの軟骨欠損は身売りしない
事実12: 見え易いということはないものは遅れ始めるし眼瞼下垂である
事実13: 「その発生因子は喜ばしくて眼瞼下垂だ」ということは成り立たない

仮説: その発生因子は喜ばしかないけどそれは眼瞼下垂である
1. 仮定1: 以下のように仮定する。その発生因子は喜ばしかないけれど眼瞼下垂だ
2. 事実4と仮定1から、推論1: "あの軟骨欠損は見え易くない"が導かれる
3. 事実5と事実3から、推論2: "「あの軟骨欠損は見え易い」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。