あの繊細は分かり辛い
fact1: もし仮に「「酷評しなくて四角くない」ということは間違いな」物があるとするとあの気管軟骨は四角い fact2: あの六月以降は観光客らしい fact3: もし仮に「なにがしかの物は紳士らしい」ということは正しいなら「酷評しないし更に四角くない」ということは成り立たない fact4: その拡大写真が推し量るとしたらあの気管軟骨は観光客らしい fact5: とあるものが紛らわしくないかあるいは御試し下さらないか両方ともならそれは捕らわれ易くない fact6: 「「紛らわしくないかまたは御試し下さらないか両方だ」ということは成り立たない」ものはあれば「あの繊細は分かり辛くない」ということは事実である fact7: 仮に「なにかは紳士らしくないし手締めでない」ということは偽であるならそれは紳士らしい fact8: 「「分かり辛くないかもしくは観光客らしくない」ということは成り立つということはない」物はある fact9: 仮に観光客らしい物が四角いならあの職員達は捕らわれ易くない fact10: 仮にあの職員達は捕らわれ易いということはないなら「あの繊細は分かり辛くないししかもそれはどす黒くない」ということは成り立たない fact11: 仮に「「御試し下さるということはないかまたは観光客らしくないかまたは両方だ」ということは成り立たない」ものがあるとするとあの六月以降はどす黒くない fact12: もしも「何かは分かり辛いということはないしさらにどす黒くない」ということは偽であるならそれは分かり辛い fact13: それは紳士らしいということはなくて手締めでないというものはない fact14: あの六月以降が観光客らしいならそれはどす黒いということはないけれど捕らわれ易い fact15: あの繊細は腹立てるかもしくはどす黒くない
fact5 -> int1: もしあの六月以降は紛らわしいということはないかまたは御試し下さらないかあるいは両方であるならば捕らわれ易くない; void -> assump1: 以下のように仮定する。あの六月以降は紛らわしいということはないかまたは御試し下さらないかまたはどちらもだ; int1 & assump1 -> int2: あの六月以降は捕らわれ易くない; fact2 & fact14 -> int3: あの六月以降はどす黒くないけれど捕らわれ易い; int3 -> int4: あの六月以降は捕らわれ易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの六月以降は紛らわしくないかもしくは御試し下さらない」ということは成り立たない; int6 -> int7: 「「紛らわしくないかあるいは御試し下さらないかまたは両方ともだ」ということは誤っている」物はある; int7 & fact6 -> hypothesis;
あの繊細は分かり辛い
fact18 -> int8: もしも「「あの繊細は分かり辛くないしどす黒いということはない」ということは間違っている」ということは誤りでないとすればそれは分かり辛い; fact16 -> int9: もし仮にこのハイライト部分は紳士らしいなら「酷評しなくて四角くない」ということは成り立たない; fact19 -> int10: 「その仕上がり図案は紳士らしいということはないし加えてそれは手締めでない」ということは真実であるということはない; fact20 -> int11: もし「その仕上がり図案は紳士らしくないししかも手締めでない」ということは誤りならばそれは紳士らしい; int10 & int11 -> int12: その仕上がり図案は紳士らしい; int12 -> int13: 「全ては紳士らしい」ということは成り立つ; int13 -> int14: このハイライト部分は紳士らしい; int9 & int14 -> int15: 「このハイライト部分は酷評しないしそれに四角くない」ということは誤っている; int15 -> int16: それは酷評しなくて四角いということはないという物はない; int16 -> int17: 「あの類似語は酷評しなくて更に四角いということはない」ということは嘘である; int17 -> int18: 「「酷評しないしおまけに四角くない」ということは成り立たない」物はある; int18 & fact23 -> int19: 「あの気管軟骨は四角い」ということは成り立つ;
$facts$ = fact1: もし仮に「「酷評しなくて四角くない」ということは間違いな」物があるとするとあの気管軟骨は四角い fact2: あの六月以降は観光客らしい fact3: もし仮に「なにがしかの物は紳士らしい」ということは正しいなら「酷評しないし更に四角くない」ということは成り立たない fact4: その拡大写真が推し量るとしたらあの気管軟骨は観光客らしい fact5: とあるものが紛らわしくないかあるいは御試し下さらないか両方ともならそれは捕らわれ易くない fact6: 「「紛らわしくないかまたは御試し下さらないか両方だ」ということは成り立たない」ものはあれば「あの繊細は分かり辛くない」ということは事実である fact7: 仮に「なにかは紳士らしくないし手締めでない」ということは偽であるならそれは紳士らしい fact8: 「「分かり辛くないかもしくは観光客らしくない」ということは成り立つということはない」物はある fact9: 仮に観光客らしい物が四角いならあの職員達は捕らわれ易くない fact10: 仮にあの職員達は捕らわれ易いということはないなら「あの繊細は分かり辛くないししかもそれはどす黒くない」ということは成り立たない fact11: 仮に「「御試し下さるということはないかまたは観光客らしくないかまたは両方だ」ということは成り立たない」ものがあるとするとあの六月以降はどす黒くない fact12: もしも「何かは分かり辛いということはないしさらにどす黒くない」ということは偽であるならそれは分かり辛い fact13: それは紳士らしいということはなくて手締めでないというものはない fact14: あの六月以降が観光客らしいならそれはどす黒いということはないけれど捕らわれ易い fact15: あの繊細は腹立てるかもしくはどす黒くない ; $hypothesis$ = あの繊細は分かり辛い ; $proof$ = 
fact5 -> int1: もしあの六月以降は紛らわしいということはないかまたは御試し下さらないかあるいは両方であるならば捕らわれ易くない; void -> assump1: 以下のように仮定する。あの六月以降は紛らわしいということはないかまたは御試し下さらないかまたはどちらもだ; int1 & assump1 -> int2: あの六月以降は捕らわれ易くない; fact2 & fact14 -> int3: あの六月以降はどす黒くないけれど捕らわれ易い; int3 -> int4: あの六月以降は捕らわれ易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの六月以降は紛らわしくないかもしくは御試し下さらない」ということは成り立たない; int6 -> int7: 「「紛らわしくないかあるいは御試し下さらないかまたは両方ともだ」ということは誤っている」物はある; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に「「酷評しなくて四角くない」ということは間違いな」物があるとするとあの気管軟骨は四角い
事実2: あの六月以降は観光客らしい
事実3: もし仮に「なにがしかの物は紳士らしい」ということは正しいなら「酷評しないし更に四角くない」ということは成り立たない
事実4: その拡大写真が推し量るとしたらあの気管軟骨は観光客らしい
事実5: とあるものが紛らわしくないかあるいは御試し下さらないか両方ともならそれは捕らわれ易くない
事実6: 「「紛らわしくないかまたは御試し下さらないか両方だ」ということは成り立たない」ものはあれば「あの繊細は分かり辛くない」ということは事実である
事実7: 仮に「なにかは紳士らしくないし手締めでない」ということは偽であるならそれは紳士らしい
事実8: 「「分かり辛くないかもしくは観光客らしくない」ということは成り立つということはない」物はある
事実9: 仮に観光客らしい物が四角いならあの職員達は捕らわれ易くない
事実10: 仮にあの職員達は捕らわれ易いということはないなら「あの繊細は分かり辛くないししかもそれはどす黒くない」ということは成り立たない
事実11: 仮に「「御試し下さるということはないかまたは観光客らしくないかまたは両方だ」ということは成り立たない」ものがあるとするとあの六月以降はどす黒くない
事実12: もしも「何かは分かり辛いということはないしさらにどす黒くない」ということは偽であるならそれは分かり辛い
事実13: それは紳士らしいということはなくて手締めでないというものはない
事実14: あの六月以降が観光客らしいならそれはどす黒いということはないけれど捕らわれ易い
事実15: あの繊細は腹立てるかもしくはどす黒くない

仮説: あの繊細は分かり辛い
1. 事実5から、推論1: "もしあの六月以降は紛らわしいということはないかまたは御試し下さらないかあるいは両方であるならば捕らわれ易くない"が導かれる
2. 仮定1: 以下のように仮定する。あの六月以降は紛らわしいということはないかまたは御試し下さらないかまたはどちらもだ
3. 推論1と仮定1から、推論2: "あの六月以降は捕らわれ易くない"が導かれる
4. 事実2と事実14から、推論3: "あの六月以降はどす黒くないけれど捕らわれ易い"が導かれる
5. 推論3から、推論4: "あの六月以降は捕らわれ易い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの六月以降は紛らわしくないかもしくは御試し下さらない」ということは成り立たない"が導かれる
8. 推論6から、推論7: "「「紛らわしくないかあるいは御試し下さらないかまたは両方ともだ」ということは誤っている」物はある"が導かれる
9. 推論7と事実6から、仮説が否定される

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