あの検査官は形象でない
fact1: その不正が自己言及するとすればあの検査官は自己言及する fact2: 「「使うしかつ継続し難くない」ということは嘘な」物はある fact3: もしもこの不安定は使わないとしたら「それは肥満傾向だし未練がましい」ということは成り立つということはない fact4: この再結成は騒がしくない fact5: その不正は自己言及するしけたたましい fact6: 騒がしい物は形象だ fact7: 「その測定値は自己言及するということはないかもしくはだだっ広い」ということは間違いだ fact8: 仮にこの再結成が騒がしいとしたらあの検査官は騒がしい fact9: もし「この不安定は肥満傾向であるしおまけに未練がましい」ということは嘘なら未練がましかない fact10: その不正は掃き溜めでない fact11: 仮に「何かは自決しないかもしくはそれは散華するかもしくは両方だ」ということは嘘だとするとそれは管理し易い fact12: もし「とあるものは排さないか掃き溜めであるかあるいは両方だ」ということは確かでないとすると感嘆する fact13: 「「その不正は掃き溜めであるかもしくはそれは自己言及する」ということは確かでない」ということは事実ならばそれは形象だ fact14: あの検査官は排す fact15: 「何かは自己言及するかもしくはそれは排すかまたは両方ともである」ということは本当でないならけたたましい fact16: 「「使うしその上継続し難くない」ということは誤りである」物があるならこの不安定は使わない fact17: もし仮に何らかの物が自己言及するし更に感嘆するなら「それは形象でない」ということは正しい fact18: もし仮に「けたたましくない」ものはあるとすると「その不正はインターセプトでしかも自己言及する」ということは成り立つということはない fact19: 「何かは稼働音でないかＭＥＣＥであるかどちらもだ」ということは正しくないなら「それは掛け難い」ということは事実である fact20: もしこの再結成は騒がしくないなら「あの検査官は排さないかあるいは掃き溜めであるかまたは両方である」ということは成り立たない fact21: 「「何らかの物は排すかあるいはそれは掃き溜めだ」ということは偽であるならば感嘆する」ということは真実だ fact22: もし仮にとあるものが未練はましくらないとすれば「調べ出すかもしくは貯水しない」ということは誤りだ fact23: 「ある物は調べ出すかまたは貯水するということはない」ということは嘘であるとするとけたたましくない fact24: もし仮にこの再結成が自己言及しないとすればあの検査官は騒がしいしさらに感嘆する fact25: 「そのＬ型は自己言及しないかまたは聞き終わる」ということは成り立たない
fact20 & fact4 -> int1: 「あの検査官は排さないかあるいは掃き溜めであるかもしくはどちらもだ」ということは偽だ; fact12 -> int2: もし「あの検査官は排さないか掃き溜めである」ということは成り立たないならば感嘆する; int1 & int2 -> int3: あの検査官は感嘆する; fact5 -> int4: その不正は自己言及する; fact1 & int4 -> int5: 「あの検査官は自己言及する」ということは正しい; int3 & int5 -> int6: 「あの検査官は自己言及するし感嘆する」ということは正しい; fact17 -> int7: もし仮にあの検査官は自己言及するししかも感嘆するならそれは形象でない; int6 & int7 -> hypothesis;
あの検査官は形象だ
fact30 -> int8: 仮にあの検査官が騒がしいとすればそれは形象だ; fact33 -> int9: 仮に「この不安定は調べ出すかもしくはそれは貯水するということはないかあるいは両方ともだ」ということは間違っているならそれはけたたましくない; fact32 -> int10: もしこの不安定が未練はましくらないとしたら「調べ出すかそれは貯水しない」ということは成り立たない; fact29 & fact31 -> int11: この不安定は使うということはない; fact28 & int11 -> int12: 「この不安定は肥満傾向であるし未練がましい」ということは間違いである; fact27 & int12 -> int13: この不安定は未練がましいということはない; int10 & int13 -> int14: 「この不安定は調べ出すかまたは貯水しないかあるいは両方ともだ」ということは事実と異なる; int9 & int14 -> int15: 「この不安定はけたたましくない」ということは誤りでない; int15 -> int16: 「けたたましくない」ものはある; int16 & fact34 -> int17: 「その不正はインターセプトだししかも自己言及する」ということは嘘だ; int17 -> int18: 「「インターセプトであるしそれに自己言及する」ということは誤っている」ものはある;
$facts$ = fact1: その不正が自己言及するとすればあの検査官は自己言及する fact2: 「「使うしかつ継続し難くない」ということは嘘な」物はある fact3: もしもこの不安定は使わないとしたら「それは肥満傾向だし未練がましい」ということは成り立つということはない fact4: この再結成は騒がしくない fact5: その不正は自己言及するしけたたましい fact6: 騒がしい物は形象だ fact7: 「その測定値は自己言及するということはないかもしくはだだっ広い」ということは間違いだ fact8: 仮にこの再結成が騒がしいとしたらあの検査官は騒がしい fact9: もし「この不安定は肥満傾向であるしおまけに未練がましい」ということは嘘なら未練がましかない fact10: その不正は掃き溜めでない fact11: 仮に「何かは自決しないかもしくはそれは散華するかもしくは両方だ」ということは嘘だとするとそれは管理し易い fact12: もし「とあるものは排さないか掃き溜めであるかあるいは両方だ」ということは確かでないとすると感嘆する fact13: 「「その不正は掃き溜めであるかもしくはそれは自己言及する」ということは確かでない」ということは事実ならばそれは形象だ fact14: あの検査官は排す fact15: 「何かは自己言及するかもしくはそれは排すかまたは両方ともである」ということは本当でないならけたたましい fact16: 「「使うしその上継続し難くない」ということは誤りである」物があるならこの不安定は使わない fact17: もし仮に何らかの物が自己言及するし更に感嘆するなら「それは形象でない」ということは正しい fact18: もし仮に「けたたましくない」ものはあるとすると「その不正はインターセプトでしかも自己言及する」ということは成り立つということはない fact19: 「何かは稼働音でないかＭＥＣＥであるかどちらもだ」ということは正しくないなら「それは掛け難い」ということは事実である fact20: もしこの再結成は騒がしくないなら「あの検査官は排さないかあるいは掃き溜めであるかまたは両方である」ということは成り立たない fact21: 「「何らかの物は排すかあるいはそれは掃き溜めだ」ということは偽であるならば感嘆する」ということは真実だ fact22: もし仮にとあるものが未練はましくらないとすれば「調べ出すかもしくは貯水しない」ということは誤りだ fact23: 「ある物は調べ出すかまたは貯水するということはない」ということは嘘であるとするとけたたましくない fact24: もし仮にこの再結成が自己言及しないとすればあの検査官は騒がしいしさらに感嘆する fact25: 「そのＬ型は自己言及しないかまたは聞き終わる」ということは成り立たない ; $hypothesis$ = あの検査官は形象でない ; $proof$ = 
fact20 & fact4 -> int1: 「あの検査官は排さないかあるいは掃き溜めであるかもしくはどちらもだ」ということは偽だ; fact12 -> int2: もし「あの検査官は排さないか掃き溜めである」ということは成り立たないならば感嘆する; int1 & int2 -> int3: あの検査官は感嘆する; fact5 -> int4: その不正は自己言及する; fact1 & int4 -> int5: 「あの検査官は自己言及する」ということは正しい; int3 & int5 -> int6: 「あの検査官は自己言及するし感嘆する」ということは正しい; fact17 -> int7: もし仮にあの検査官は自己言及するししかも感嘆するならそれは形象でない; int6 & int7 -> hypothesis; __PROVED__
事実1: その不正が自己言及するとすればあの検査官は自己言及する
事実2: 「「使うしかつ継続し難くない」ということは嘘な」物はある
事実3: もしもこの不安定は使わないとしたら「それは肥満傾向だし未練がましい」ということは成り立つということはない
事実4: この再結成は騒がしくない
事実5: その不正は自己言及するしけたたましい
事実6: 騒がしい物は形象だ
事実7: 「その測定値は自己言及するということはないかもしくはだだっ広い」ということは間違いだ
事実8: 仮にこの再結成が騒がしいとしたらあの検査官は騒がしい
事実9: もし「この不安定は肥満傾向であるしおまけに未練がましい」ということは嘘なら未練がましかない
事実10: その不正は掃き溜めでない
事実11: 仮に「何かは自決しないかもしくはそれは散華するかもしくは両方だ」ということは嘘だとするとそれは管理し易い
事実12: もし「とあるものは排さないか掃き溜めであるかあるいは両方だ」ということは確かでないとすると感嘆する
事実13: 「「その不正は掃き溜めであるかもしくはそれは自己言及する」ということは確かでない」ということは事実ならばそれは形象だ
事実14: あの検査官は排す
事実15: 「何かは自己言及するかもしくはそれは排すかまたは両方ともである」ということは本当でないならけたたましい
事実16: 「「使うしその上継続し難くない」ということは誤りである」物があるならこの不安定は使わない
事実17: もし仮に何らかの物が自己言及するし更に感嘆するなら「それは形象でない」ということは正しい
事実18: もし仮に「けたたましくない」ものはあるとすると「その不正はインターセプトでしかも自己言及する」ということは成り立つということはない
事実19: 「何かは稼働音でないかＭＥＣＥであるかどちらもだ」ということは正しくないなら「それは掛け難い」ということは事実である
事実20: もしこの再結成は騒がしくないなら「あの検査官は排さないかあるいは掃き溜めであるかまたは両方である」ということは成り立たない
事実21: 「「何らかの物は排すかあるいはそれは掃き溜めだ」ということは偽であるならば感嘆する」ということは真実だ
事実22: もし仮にとあるものが未練はましくらないとすれば「調べ出すかもしくは貯水しない」ということは誤りだ
事実23: 「ある物は調べ出すかまたは貯水するということはない」ということは嘘であるとするとけたたましくない
事実24: もし仮にこの再結成が自己言及しないとすればあの検査官は騒がしいしさらに感嘆する
事実25: 「そのＬ型は自己言及しないかまたは聞き終わる」ということは成り立たない

仮説: あの検査官は形象でない
1. 事実20と事実4から、推論1: "「あの検査官は排さないかあるいは掃き溜めであるかもしくはどちらもだ」ということは偽だ"が導かれる
2. 事実12から、推論2: "もし「あの検査官は排さないか掃き溜めである」ということは成り立たないならば感嘆する"が導かれる
3. 推論1と推論2から、推論3: "あの検査官は感嘆する"が導かれる
4. 事実5から、推論4: "その不正は自己言及する"が導かれる
5. 事実1と推論4から、推論5: "「あの検査官は自己言及する」ということは正しい"が導かれる
6. 推論3と推論5から、推論6: "「あの検査官は自己言及するし感嘆する」ということは正しい"が導かれる
7. 事実17から、推論7: "もし仮にあの検査官は自己言及するししかも感嘆するならそれは形象でない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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