この義務感は弛いということはない
fact1: もし仮にその舌苔が部材でないとしたら分割でないかそれは罹患し易いかまたは両方ともである fact2: この義務感は分割であるかもしくは弛いかまたは両方である fact3: その舌苔は平穏でない fact4: その舌苔は罹患し易いということはない fact5: その舌苔は若々しかない fact6: 「その舌苔は分割だということはないかまたは罹患し易いかもしくは両方だ」ということは偽である fact7: 仮にその舌苔が若々しいということはないが冬らしいとするとこの義務感は弛くない fact8: 「なにかは弛くないし冬らしくない」ということは間違いであるとすればそれは弛い fact9: その舌苔は部材であるならそれは冬らしい fact10: あの旭山動物園は黄斑浮腫であるか平穏である
void -> assump1: 以下のように仮定する。その舌苔は部材でない; fact1 & assump1 -> int1: その舌苔は分割でないかそれは罹患し易いかもしくは両方ともである; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: その舌苔は部材だ; int3 & fact9 -> int4: その舌苔は冬らしい; int4 & fact5 -> int5: その舌苔は若々しかないけど冬らしい; int5 & fact7 -> hypothesis;
この義務感は弛い
fact11 -> int6: もしも「この義務感は弛くなくてしかも冬らしくない」ということは成り立たないとすれば弛い;
$facts$ = fact1: もし仮にその舌苔が部材でないとしたら分割でないかそれは罹患し易いかまたは両方ともである fact2: この義務感は分割であるかもしくは弛いかまたは両方である fact3: その舌苔は平穏でない fact4: その舌苔は罹患し易いということはない fact5: その舌苔は若々しかない fact6: 「その舌苔は分割だということはないかまたは罹患し易いかもしくは両方だ」ということは偽である fact7: 仮にその舌苔が若々しいということはないが冬らしいとするとこの義務感は弛くない fact8: 「なにかは弛くないし冬らしくない」ということは間違いであるとすればそれは弛い fact9: その舌苔は部材であるならそれは冬らしい fact10: あの旭山動物園は黄斑浮腫であるか平穏である ; $hypothesis$ = この義務感は弛いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その舌苔は部材でない; fact1 & assump1 -> int1: その舌苔は分割でないかそれは罹患し易いかもしくは両方ともである; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: その舌苔は部材だ; int3 & fact9 -> int4: その舌苔は冬らしい; int4 & fact5 -> int5: その舌苔は若々しかないけど冬らしい; int5 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にその舌苔が部材でないとしたら分割でないかそれは罹患し易いかまたは両方ともである
事実2: この義務感は分割であるかもしくは弛いかまたは両方である
事実3: その舌苔は平穏でない
事実4: その舌苔は罹患し易いということはない
事実5: その舌苔は若々しかない
事実6: 「その舌苔は分割だということはないかまたは罹患し易いかもしくは両方だ」ということは偽である
事実7: 仮にその舌苔が若々しいということはないが冬らしいとするとこの義務感は弛くない
事実8: 「なにかは弛くないし冬らしくない」ということは間違いであるとすればそれは弛い
事実9: その舌苔は部材であるならそれは冬らしい
事実10: あの旭山動物園は黄斑浮腫であるか平穏である

仮説: この義務感は弛いということはない
1. 仮定1: 以下のように仮定する。その舌苔は部材でない
2. 事実1と仮定1から、推論1: "その舌苔は分割でないかそれは罹患し易いかもしくは両方ともである"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その舌苔は部材だ"が導かれる
5. 推論3と事実9から、推論4: "その舌苔は冬らしい"が導かれる
6. 推論4と事実5から、推論5: "その舌苔は若々しかないけど冬らしい"が導かれる
7. 推論5と事実7から、仮説が導かれる

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