「「「勾当内侍だということはないけど田舎っぽい」ということは成り立つということはない」物はある」ということは成り立つ
fact1: このオレンジ系は勾当内侍だ fact2: 「勾当内侍でないし田舎っぽい」ものはある fact3: 「あのボーイはＬＦＡだが自閉性障害でない」ということは偽である fact4: 「「勾当内侍であるし田舎っぽい」ということは誤りな」物はある fact5: もし仮にとある物が自閉性障害だとすると田舎っぽい fact6: このオレンジ系は田舎っぽい fact7: もし仮に「あのボーイはＬＦＡであるがしかし自閉性障害でない」ということは間違いであるとしたらそれは自閉性障害だ
void -> assump1: 以下のように仮定する。このオレンジ系は勾当内侍でないけれど田舎っぽい; assump1 -> int1: このオレンジ系は勾当内侍でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このオレンジ系は勾当内侍でないが田舎っぽい」ということは嘘である; int3 -> hypothesis;
void -> assump1: (¬{A}{a} & {B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & {B}{a}); int3 -> hypothesis;
「「新教育方針中央講習会でないけど流行り始める」ということは成り立たない」物はある
fact10 -> int4: もしもあのボーイは自閉性障害だとすると「それは田舎っぽい」ということは本当である; fact9 & fact8 -> int5: 「あのボーイは自閉性障害である」ということは真実だ; int4 & int5 -> int6: あのボーイは田舎っぽい;
$facts$ = fact1: このオレンジ系は勾当内侍だ fact2: 「勾当内侍でないし田舎っぽい」ものはある fact3: 「あのボーイはＬＦＡだが自閉性障害でない」ということは偽である fact4: 「「勾当内侍であるし田舎っぽい」ということは誤りな」物はある fact5: もし仮にとある物が自閉性障害だとすると田舎っぽい fact6: このオレンジ系は田舎っぽい fact7: もし仮に「あのボーイはＬＦＡであるがしかし自閉性障害でない」ということは間違いであるとしたらそれは自閉性障害だ ; $hypothesis$ = 「「「勾当内侍だということはないけど田舎っぽい」ということは成り立つということはない」物はある」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。このオレンジ系は勾当内侍でないけれど田舎っぽい; assump1 -> int1: このオレンジ系は勾当内侍でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このオレンジ系は勾当内侍でないが田舎っぽい」ということは嘘である; int3 -> hypothesis; __PROVED__
事実1: このオレンジ系は勾当内侍だ
事実2: 「勾当内侍でないし田舎っぽい」ものはある
事実3: 「あのボーイはＬＦＡだが自閉性障害でない」ということは偽である
事実4: 「「勾当内侍であるし田舎っぽい」ということは誤りな」物はある
事実5: もし仮にとある物が自閉性障害だとすると田舎っぽい
事実6: このオレンジ系は田舎っぽい
事実7: もし仮に「あのボーイはＬＦＡであるがしかし自閉性障害でない」ということは間違いであるとしたらそれは自閉性障害だ

仮説: 「「「勾当内侍だということはないけど田舎っぽい」ということは成り立つということはない」物はある」ということは成り立つ
1. 仮定1: 以下のように仮定する。このオレンジ系は勾当内侍でないけれど田舎っぽい
2. 仮定1から、推論1: "このオレンジ系は勾当内侍でない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「このオレンジ系は勾当内侍でないが田舎っぽい」ということは嘘である"が導かれる
5. 推論3から、仮説が導かれる

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