そのＮＡＳＨは術衣であるしその上機械器具だ
fact1: 仮にその消費水準が御話出来ないならその輸入者は平均寿命でなくてまた意識改革でない fact2: もしも「何らかのものは平均寿命で御話出来る」ということは成り立つということはないならばそれは御話出来るということはない fact3: そのＮＡＳＨは術衣だ fact4: 仮に「この星屎は読書しない」ということは確かならあの語流暢課題は骨格標本だということはない fact5: もしこの星屎が原書だとするとあの語流暢課題は天狗らしい fact6: もし仮にその輸入者が平均寿命でなくて意識改革でないとするとあの語流暢課題は骨格標本である fact7: 仮に「そのＮＡＳＨは知り難くない」ということは誤りでないならその消費水準は御話出来るということはない fact8: もしそのＮＡＳＨはしゃぶりつかないとしたら「その消費水準は御話出来ない」ということは確かである fact9: 仮に「読書しなくてまた骨格標本であるということはない」物があるとしたらその消費水準は意識改革でない fact10: 「除籍するということはないしさらに頂かない」ものはある fact11: もしもその消費水準が意識改革でないとするとその輸入者は御話出来ない fact12: この星屎は平均寿命だということはないし潰れない fact13: 「「天狗らしくないし原書でない」ということは成り立つということはない」物があるとすればこの星屎は読書しない fact14: もしもなにがしかのものは知り難くないとしたら「術衣であるしその上それは機械器具だ」ということは成り立つということはない fact15: その輸入者は御話出来ない fact16: 仮に「とあるものは知り難しということはないかもしくはしゃぶりつかないかあるいはどちらもだ」ということは間違っているとしたらそれは機械器具だ fact17: 「「天狗らしくないしさらに原書だということはない」ということは成り立たない」物はある fact18: もし仮になんらかのものが御話出来ないとすれば知り難くないしさらにしゃぶりつかない fact19: 「その輸入者は骨格標本でない」ということは本当だ fact20: 仮に「あの語流暢課題は天狗らしい」ということは成り立つとしたらそれは読書しなくてそれに骨格標本でない
void -> assump1: 以下のように仮定する。そのＮＡＳＨは知り難くないかまたはしゃぶりつかないかどちらもだ; assump1 & fact7 & fact8 -> int1: その消費水準は御話出来ない; int1 & fact1 -> int2: その輸入者は平均寿命でなくて意識改革でない; int2 & fact6 -> int3: あの語流暢課題は骨格標本だ; fact13 & fact17 -> int4: この星屎は読書しない; fact4 & int4 -> int5: あの語流暢課題は骨格標本でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのＮＡＳＨは知り難くないかしゃぶりつくということはないかあるいは両方だ」ということは偽である; fact16 -> int8: 仮に「そのＮＡＳＨは知り難くないかもしくはしゃぶりつかないかあるいは両方ともである」ということは嘘だとすると機械器具である; int7 & int8 -> int9: そのＮＡＳＨは機械器具である; int9 & fact3 -> hypothesis;
「そのＮＡＳＨは術衣で加えてそれは機械器具だ」ということは誤っている
fact21 -> int10: もしもそのＮＡＳＨは知り難くないなら「術衣だしおまけに機械器具である」ということは成り立たない; fact25 -> int11: もしもそのＮＡＳＨが御話出来ないとしたらそれは知り難くないしまたしゃぶりつくということはない; fact27 -> int12: もし仮に「そのＮＡＳＨは平均寿命であるし更に御話出来る」ということは間違いならば「御話出来ない」ということは本当だ;
$facts$ = fact1: 仮にその消費水準が御話出来ないならその輸入者は平均寿命でなくてまた意識改革でない fact2: もしも「何らかのものは平均寿命で御話出来る」ということは成り立つということはないならばそれは御話出来るということはない fact3: そのＮＡＳＨは術衣だ fact4: 仮に「この星屎は読書しない」ということは確かならあの語流暢課題は骨格標本だということはない fact5: もしこの星屎が原書だとするとあの語流暢課題は天狗らしい fact6: もし仮にその輸入者が平均寿命でなくて意識改革でないとするとあの語流暢課題は骨格標本である fact7: 仮に「そのＮＡＳＨは知り難くない」ということは誤りでないならその消費水準は御話出来るということはない fact8: もしそのＮＡＳＨはしゃぶりつかないとしたら「その消費水準は御話出来ない」ということは確かである fact9: 仮に「読書しなくてまた骨格標本であるということはない」物があるとしたらその消費水準は意識改革でない fact10: 「除籍するということはないしさらに頂かない」ものはある fact11: もしもその消費水準が意識改革でないとするとその輸入者は御話出来ない fact12: この星屎は平均寿命だということはないし潰れない fact13: 「「天狗らしくないし原書でない」ということは成り立つということはない」物があるとすればこの星屎は読書しない fact14: もしもなにがしかのものは知り難くないとしたら「術衣であるしその上それは機械器具だ」ということは成り立つということはない fact15: その輸入者は御話出来ない fact16: 仮に「とあるものは知り難しということはないかもしくはしゃぶりつかないかあるいはどちらもだ」ということは間違っているとしたらそれは機械器具だ fact17: 「「天狗らしくないしさらに原書だということはない」ということは成り立たない」物はある fact18: もし仮になんらかのものが御話出来ないとすれば知り難くないしさらにしゃぶりつかない fact19: 「その輸入者は骨格標本でない」ということは本当だ fact20: 仮に「あの語流暢課題は天狗らしい」ということは成り立つとしたらそれは読書しなくてそれに骨格標本でない ; $hypothesis$ = そのＮＡＳＨは術衣であるしその上機械器具だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＮＡＳＨは知り難くないかまたはしゃぶりつかないかどちらもだ; assump1 & fact7 & fact8 -> int1: その消費水準は御話出来ない; int1 & fact1 -> int2: その輸入者は平均寿命でなくて意識改革でない; int2 & fact6 -> int3: あの語流暢課題は骨格標本だ; fact13 & fact17 -> int4: この星屎は読書しない; fact4 & int4 -> int5: あの語流暢課題は骨格標本でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのＮＡＳＨは知り難くないかしゃぶりつくということはないかあるいは両方だ」ということは偽である; fact16 -> int8: 仮に「そのＮＡＳＨは知り難くないかもしくはしゃぶりつかないかあるいは両方ともである」ということは嘘だとすると機械器具である; int7 & int8 -> int9: そのＮＡＳＨは機械器具である; int9 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその消費水準が御話出来ないならその輸入者は平均寿命でなくてまた意識改革でない
事実2: もしも「何らかのものは平均寿命で御話出来る」ということは成り立つということはないならばそれは御話出来るということはない
事実3: そのＮＡＳＨは術衣だ
事実4: 仮に「この星屎は読書しない」ということは確かならあの語流暢課題は骨格標本だということはない
事実5: もしこの星屎が原書だとするとあの語流暢課題は天狗らしい
事実6: もし仮にその輸入者が平均寿命でなくて意識改革でないとするとあの語流暢課題は骨格標本である
事実7: 仮に「そのＮＡＳＨは知り難くない」ということは誤りでないならその消費水準は御話出来るということはない
事実8: もしそのＮＡＳＨはしゃぶりつかないとしたら「その消費水準は御話出来ない」ということは確かである
事実9: 仮に「読書しなくてまた骨格標本であるということはない」物があるとしたらその消費水準は意識改革でない
事実10: 「除籍するということはないしさらに頂かない」ものはある
事実11: もしもその消費水準が意識改革でないとするとその輸入者は御話出来ない
事実12: この星屎は平均寿命だということはないし潰れない
事実13: 「「天狗らしくないし原書でない」ということは成り立つということはない」物があるとすればこの星屎は読書しない
事実14: もしもなにがしかのものは知り難くないとしたら「術衣であるしその上それは機械器具だ」ということは成り立つということはない
事実15: その輸入者は御話出来ない
事実16: 仮に「とあるものは知り難しということはないかもしくはしゃぶりつかないかあるいはどちらもだ」ということは間違っているとしたらそれは機械器具だ
事実17: 「「天狗らしくないしさらに原書だということはない」ということは成り立たない」物はある
事実18: もし仮になんらかのものが御話出来ないとすれば知り難くないしさらにしゃぶりつかない
事実19: 「その輸入者は骨格標本でない」ということは本当だ
事実20: 仮に「あの語流暢課題は天狗らしい」ということは成り立つとしたらそれは読書しなくてそれに骨格標本でない

仮説: そのＮＡＳＨは術衣であるしその上機械器具だ
1. 仮定1: 以下のように仮定する。そのＮＡＳＨは知り難くないかまたはしゃぶりつかないかどちらもだ
2. 仮定1と事実7と事実8から、推論1: "その消費水準は御話出来ない"が導かれる
3. 推論1と事実1から、推論2: "その輸入者は平均寿命でなくて意識改革でない"が導かれる
4. 推論2と事実6から、推論3: "あの語流暢課題は骨格標本だ"が導かれる
5. 事実13と事実17から、推論4: "この星屎は読書しない"が導かれる
6. 事実4と推論4から、推論5: "あの語流暢課題は骨格標本でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「そのＮＡＳＨは知り難くないかしゃぶりつくということはないかあるいは両方だ」ということは偽である"が導かれる
9. 事実16から、推論8: "仮に「そのＮＡＳＨは知り難くないかもしくはしゃぶりつかないかあるいは両方ともである」ということは嘘だとすると機械器具である"が導かれる
10. 推論7と推論8から、推論9: "そのＮＡＳＨは機械器具である"が導かれる
11. 推論9と事実3から、仮説が導かれる

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