「洗い直さない」物はある
fact1: もし「「視点だし洗い直す」ということは成り立たない」物があるとすればあの内部抗争は微笑ましかない fact2: 「視点だしその上飛び越える」物はある fact3: あの内部抗争が訴うということはないとすれば繋がり易いししかもそつ無い fact4: この配偶者控除は洗い直さないとすれば「それは微笑ましいしかつ視点だ」ということは偽だ fact5: もし仮に「あの内部抗争は人らしくないけれど北向きだ」ということは誤っていれば訴うということはない fact6: なにがしかのものは洗い直す fact7: もし仮に「「視点であるしそれに飛び越える」ということは間違いである」物があるならあの内部抗争は洗い直すということはない fact8: この配偶者控除は微笑ましかない fact9: 「「操作し易いししかも悪しい」ということは誤りである」ものはある fact10: あの内部抗争は抜けない fact11: 「「飛び越えるししかも微笑ましい」ということは事実と異なる」ものはある fact12: もし繋がり易い物が洗い直せばそれは微笑ましかない fact13: 「そのデルフト焼きは微笑ましいし満遍無い」ということは成り立たない fact14: この配偶者控除は微笑ましくらないとすれば「それは視点でおまけに飛び越える」ということは偽だ fact15: もしもとある物は微笑ましくらないとすれば「嫁入りするし加えてたじろぐ」ということは誤りだ fact16: もしも「飛び越えるということはない」ものがあるならあの内部抗争は洗い直すということはない
fact14 & fact8 -> int1: 「この配偶者控除は視点であるしおまけに飛び越える」ということは嘘である; int1 -> int2: 「「視点であるし飛び越える」ということは成り立たない」物はある; int2 & fact7 -> int3: あの内部抗争は洗い直さない; int3 -> hypothesis;
「あの内部抗争は嫁入りするしその上たじろぐ」ということは嘘である
fact18 -> int4: もしあの内部抗争は微笑ましかないならば「嫁入りするしさらにたじろぐ」ということは成り立たない; fact20 -> int5: もしもあの内部抗争が繋がり易いしその上洗い直すとするとそれは微笑ましかない;
$facts$ = fact1: もし「「視点だし洗い直す」ということは成り立たない」物があるとすればあの内部抗争は微笑ましかない fact2: 「視点だしその上飛び越える」物はある fact3: あの内部抗争が訴うということはないとすれば繋がり易いししかもそつ無い fact4: この配偶者控除は洗い直さないとすれば「それは微笑ましいしかつ視点だ」ということは偽だ fact5: もし仮に「あの内部抗争は人らしくないけれど北向きだ」ということは誤っていれば訴うということはない fact6: なにがしかのものは洗い直す fact7: もし仮に「「視点であるしそれに飛び越える」ということは間違いである」物があるならあの内部抗争は洗い直すということはない fact8: この配偶者控除は微笑ましかない fact9: 「「操作し易いししかも悪しい」ということは誤りである」ものはある fact10: あの内部抗争は抜けない fact11: 「「飛び越えるししかも微笑ましい」ということは事実と異なる」ものはある fact12: もし繋がり易い物が洗い直せばそれは微笑ましかない fact13: 「そのデルフト焼きは微笑ましいし満遍無い」ということは成り立たない fact14: この配偶者控除は微笑ましくらないとすれば「それは視点でおまけに飛び越える」ということは偽だ fact15: もしもとある物は微笑ましくらないとすれば「嫁入りするし加えてたじろぐ」ということは誤りだ fact16: もしも「飛び越えるということはない」ものがあるならあの内部抗争は洗い直すということはない ; $hypothesis$ = 「洗い直さない」物はある ; $proof$ = 
fact14 & fact8 -> int1: 「この配偶者控除は視点であるしおまけに飛び越える」ということは嘘である; int1 -> int2: 「「視点であるし飛び越える」ということは成り立たない」物はある; int2 & fact7 -> int3: あの内部抗争は洗い直さない; int3 -> hypothesis; __PROVED__
事実1: もし「「視点だし洗い直す」ということは成り立たない」物があるとすればあの内部抗争は微笑ましかない
事実2: 「視点だしその上飛び越える」物はある
事実3: あの内部抗争が訴うということはないとすれば繋がり易いししかもそつ無い
事実4: この配偶者控除は洗い直さないとすれば「それは微笑ましいしかつ視点だ」ということは偽だ
事実5: もし仮に「あの内部抗争は人らしくないけれど北向きだ」ということは誤っていれば訴うということはない
事実6: なにがしかのものは洗い直す
事実7: もし仮に「「視点であるしそれに飛び越える」ということは間違いである」物があるならあの内部抗争は洗い直すということはない
事実8: この配偶者控除は微笑ましかない
事実9: 「「操作し易いししかも悪しい」ということは誤りである」ものはある
事実10: あの内部抗争は抜けない
事実11: 「「飛び越えるししかも微笑ましい」ということは事実と異なる」ものはある
事実12: もし繋がり易い物が洗い直せばそれは微笑ましかない
事実13: 「そのデルフト焼きは微笑ましいし満遍無い」ということは成り立たない
事実14: この配偶者控除は微笑ましくらないとすれば「それは視点でおまけに飛び越える」ということは偽だ
事実15: もしもとある物は微笑ましくらないとすれば「嫁入りするし加えてたじろぐ」ということは誤りだ
事実16: もしも「飛び越えるということはない」ものがあるならあの内部抗争は洗い直すということはない

仮説: 「洗い直さない」物はある
1. 事実14と事実8から、推論1: "「この配偶者控除は視点であるしおまけに飛び越える」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「視点であるし飛び越える」ということは成り立たない」物はある"が導かれる
3. 推論2と事実7から、推論3: "あの内部抗争は洗い直さない"が導かれる
4. 推論3から、仮説が導かれる

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