「もしもいみじないかもしくは目敏くないとしたら静置しない」ものはある
fact1: 「もし「「「目敏い」ということは正しい」ということは誤りである」ということは偽でないならば静置しない」物はある fact2: 「いみじかまたは目敏くないかあるいはどちらもであるとすると静置するということはない」物はある fact3: あのデスクがいみじかそれは目敏くないかまたは両方ともならばそれは静置しない fact4: もしもあのデスクがいみじないかまたはそれは目敏くないかまたは両方だとすれば「それは静置する」ということは真実だ fact5: 「仮にいみじということはないかもしくは目敏いとすると静置しない」ものはある fact6: 「仮に中国等でないかもしくは避難経路であるということはないとしたら「都市農業だということはない」ということは正しい」物はある fact7: 「形容し難くないかあるいは授かるということはないならば風水術でない」ものはある fact8: あのデスクが目敏くないとすると静置しない fact9: 「仮に「格好良くないかもしくは思慮深くないかまたは両方ともだ」ということは事実であるとすると訴訟当事者でない」ものはある fact10: 仮に何らかのものが圧縮表現でないかまたはモラールでないとするとそれは小汚くない fact11: もしその関係人集会が避難経路でないかまたはそれは静置しないか両方なら「それは王侯貴族でない」ということは正しい fact12: もし仮にあのデスクが売り込むということはないかまたはそれは静置しないかどちらもだとしたらそれは元気付けない fact13: あのデスクがいみじないかあるいはそれは遮光するということはないかまたはどちらもだとすると節点移動でない fact14: 仮にあのデスクがいみじないかまたはそれは目敏くないか両方ともだとすると静置しない fact15: 「仮に気恥ずかしくないか遣り逃げするということはないなら好ましくない」ものはある fact16: もしあのデスクが練修でないかもしくは荒くないか両方ともであるとすると目敏くない fact17: 「仮に切り口でないかもしくは血染めでないかあるいは両方ともなら中国等でない」物はある fact18: 「もし「荒いということはないか心許なくないかどちらもだ」ということは事実であるとすれば見えない」物はある fact19: 「もしもいみじないなら静置しない」ものはある fact20: 「もしも荒くないかもしくは心許なくないならばすりゃ良くない」物はある fact21: 「もし仮にいみじないかあるいは目敏くないかもしくは両方だとすれば「静置する」ということは成り立つ」ものはある
fact14 -> hypothesis;
「もしも圧縮表現でないかもしくはモラールでないかあるいは両方ともであるならば小汚くない」物はある
fact22 -> int1: あの舌苔は圧縮表現でないかあるいはモラールでないかどちらもであるとしたらそれは小汚くない; int1 -> hypothesis;
$facts$ = fact1: 「もし「「「目敏い」ということは正しい」ということは誤りである」ということは偽でないならば静置しない」物はある fact2: 「いみじかまたは目敏くないかあるいはどちらもであるとすると静置するということはない」物はある fact3: あのデスクがいみじかそれは目敏くないかまたは両方ともならばそれは静置しない fact4: もしもあのデスクがいみじないかまたはそれは目敏くないかまたは両方だとすれば「それは静置する」ということは真実だ fact5: 「仮にいみじということはないかもしくは目敏いとすると静置しない」ものはある fact6: 「仮に中国等でないかもしくは避難経路であるということはないとしたら「都市農業だということはない」ということは正しい」物はある fact7: 「形容し難くないかあるいは授かるということはないならば風水術でない」ものはある fact8: あのデスクが目敏くないとすると静置しない fact9: 「仮に「格好良くないかもしくは思慮深くないかまたは両方ともだ」ということは事実であるとすると訴訟当事者でない」ものはある fact10: 仮に何らかのものが圧縮表現でないかまたはモラールでないとするとそれは小汚くない fact11: もしその関係人集会が避難経路でないかまたはそれは静置しないか両方なら「それは王侯貴族でない」ということは正しい fact12: もし仮にあのデスクが売り込むということはないかまたはそれは静置しないかどちらもだとしたらそれは元気付けない fact13: あのデスクがいみじないかあるいはそれは遮光するということはないかまたはどちらもだとすると節点移動でない fact14: 仮にあのデスクがいみじないかまたはそれは目敏くないか両方ともだとすると静置しない fact15: 「仮に気恥ずかしくないか遣り逃げするということはないなら好ましくない」ものはある fact16: もしあのデスクが練修でないかもしくは荒くないか両方ともであるとすると目敏くない fact17: 「仮に切り口でないかもしくは血染めでないかあるいは両方ともなら中国等でない」物はある fact18: 「もし「荒いということはないか心許なくないかどちらもだ」ということは事実であるとすれば見えない」物はある fact19: 「もしもいみじないなら静置しない」ものはある fact20: 「もしも荒くないかもしくは心許なくないならばすりゃ良くない」物はある fact21: 「もし仮にいみじないかあるいは目敏くないかもしくは両方だとすれば「静置する」ということは成り立つ」ものはある ; $hypothesis$ = 「もしもいみじないかもしくは目敏くないとしたら静置しない」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もし「「「目敏い」ということは正しい」ということは誤りである」ということは偽でないならば静置しない」物はある
事実2: 「いみじかまたは目敏くないかあるいはどちらもであるとすると静置するということはない」物はある
事実3: あのデスクがいみじかそれは目敏くないかまたは両方ともならばそれは静置しない
事実4: もしもあのデスクがいみじないかまたはそれは目敏くないかまたは両方だとすれば「それは静置する」ということは真実だ
事実5: 「仮にいみじということはないかもしくは目敏いとすると静置しない」ものはある
事実6: 「仮に中国等でないかもしくは避難経路であるということはないとしたら「都市農業だということはない」ということは正しい」物はある
事実7: 「形容し難くないかあるいは授かるということはないならば風水術でない」ものはある
事実8: あのデスクが目敏くないとすると静置しない
事実9: 「仮に「格好良くないかもしくは思慮深くないかまたは両方ともだ」ということは事実であるとすると訴訟当事者でない」ものはある
事実10: 仮に何らかのものが圧縮表現でないかまたはモラールでないとするとそれは小汚くない
事実11: もしその関係人集会が避難経路でないかまたはそれは静置しないか両方なら「それは王侯貴族でない」ということは正しい
事実12: もし仮にあのデスクが売り込むということはないかまたはそれは静置しないかどちらもだとしたらそれは元気付けない
事実13: あのデスクがいみじないかあるいはそれは遮光するということはないかまたはどちらもだとすると節点移動でない
事実14: 仮にあのデスクがいみじないかまたはそれは目敏くないか両方ともだとすると静置しない
事実15: 「仮に気恥ずかしくないか遣り逃げするということはないなら好ましくない」ものはある
事実16: もしあのデスクが練修でないかもしくは荒くないか両方ともであるとすると目敏くない
事実17: 「仮に切り口でないかもしくは血染めでないかあるいは両方ともなら中国等でない」物はある
事実18: 「もし「荒いということはないか心許なくないかどちらもだ」ということは事実であるとすれば見えない」物はある
事実19: 「もしもいみじないなら静置しない」ものはある
事実20: 「もしも荒くないかもしくは心許なくないならばすりゃ良くない」物はある
事実21: 「もし仮にいみじないかあるいは目敏くないかもしくは両方だとすれば「静置する」ということは成り立つ」ものはある

仮説: 「もしもいみじないかもしくは目敏くないとしたら静置しない」ものはある
1. 事実14から、仮説が導かれる

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