「あの刷毛目は回覧しない」ということは成り立つ
fact1: もしも「「何かは眠くない一方で回覧する」ということは正しい」ということは成り立つということはないとしたら回覧しない fact2: あの向山型算数授業が通じ難いならあの刷毛目は野立てだ fact3: この貸し座敷はとろい fact4: もし仮にこの玄蕃が眠いならあの向山型算数授業は通じ難い fact5: 仮に「この貸し座敷は習合するしおまけに通じ難い」ということは嘘であるとするとそれは習合しない fact6: もし仮にこの貸し座敷がとろいとしたら灯し難いということはないし更に濃染めする fact7: 仮にこの玄蕃は眠くないならば「この貸し座敷は灯し難くない一方で濃染めする」ということは成り立たない fact8: もしもあるものが野立てなら回覧する
void -> assump1: 以下のように仮定する。この玄蕃は眠くない; fact7 & assump1 -> int1: 「この貸し座敷は灯し難くないがしかしそれは濃染めする」ということは成り立たない; fact6 & fact3 -> int2: この貸し座敷は灯し難くないけど濃染めする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この玄蕃は眠い; int4 & fact4 -> int5: 「あの向山型算数授業は通じ難い」ということは本当である; int5 & fact2 -> int6: あの刷毛目は野立てだ; fact8 -> int7: 仮にあの刷毛目は野立てであるとしたらそれは回覧する; int6 & int7 -> hypothesis;
この貸し座敷は習合しない
$facts$ = fact1: もしも「「何かは眠くない一方で回覧する」ということは正しい」ということは成り立つということはないとしたら回覧しない fact2: あの向山型算数授業が通じ難いならあの刷毛目は野立てだ fact3: この貸し座敷はとろい fact4: もし仮にこの玄蕃が眠いならあの向山型算数授業は通じ難い fact5: 仮に「この貸し座敷は習合するしおまけに通じ難い」ということは嘘であるとするとそれは習合しない fact6: もし仮にこの貸し座敷がとろいとしたら灯し難いということはないし更に濃染めする fact7: 仮にこの玄蕃は眠くないならば「この貸し座敷は灯し難くない一方で濃染めする」ということは成り立たない fact8: もしもあるものが野立てなら回覧する ; $hypothesis$ = 「あの刷毛目は回覧しない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この玄蕃は眠くない; fact7 & assump1 -> int1: 「この貸し座敷は灯し難くないがしかしそれは濃染めする」ということは成り立たない; fact6 & fact3 -> int2: この貸し座敷は灯し難くないけど濃染めする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この玄蕃は眠い; int4 & fact4 -> int5: 「あの向山型算数授業は通じ難い」ということは本当である; int5 & fact2 -> int6: あの刷毛目は野立てだ; fact8 -> int7: 仮にあの刷毛目は野立てであるとしたらそれは回覧する; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしも「「何かは眠くない一方で回覧する」ということは正しい」ということは成り立つということはないとしたら回覧しない
事実2: あの向山型算数授業が通じ難いならあの刷毛目は野立てだ
事実3: この貸し座敷はとろい
事実4: もし仮にこの玄蕃が眠いならあの向山型算数授業は通じ難い
事実5: 仮に「この貸し座敷は習合するしおまけに通じ難い」ということは嘘であるとするとそれは習合しない
事実6: もし仮にこの貸し座敷がとろいとしたら灯し難いということはないし更に濃染めする
事実7: 仮にこの玄蕃は眠くないならば「この貸し座敷は灯し難くない一方で濃染めする」ということは成り立たない
事実8: もしもあるものが野立てなら回覧する

仮説: 「あの刷毛目は回覧しない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この玄蕃は眠くない
2. 事実7と仮定1から、推論1: "「この貸し座敷は灯し難くないがしかしそれは濃染めする」ということは成り立たない"が導かれる
3. 事実6と事実3から、推論2: "この貸し座敷は灯し難くないけど濃染めする"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この玄蕃は眠い"が導かれる
6. 推論4と事実4から、推論5: "「あの向山型算数授業は通じ難い」ということは本当である"が導かれる
7. 推論5と事実2から、推論6: "あの刷毛目は野立てだ"が導かれる
8. 事実8から、推論7: "仮にあの刷毛目は野立てであるとしたらそれは回覧する"が導かれる
9. 推論6と推論7から、仮説が否定される

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