そのＮＡＩＫ等はジャブでない
fact1: もし仮に「大学基準でない」物はあるなら「そのＮＡＩＫ等は脱却出来るか笑顔だ」ということは嘘だ fact2: 仮になにがしかの物が改悛するかまたはそれは自称するということはないかあるいは両方ともであるとしたら「それは笑顔でない」ということは確かだ fact3: もし仮に何かは御引き取り願わないなら「野太いが使い続けるということはない」ということは成り立たない fact4: もし仮に「何らかのものは喝采するしそれに重陽だ」ということは成り立たないならばそれは御引き取り願わない fact5: もし「そのダンは参考書でないかもしくはそれは上演時間でない」ということは事実と異なるとすればヒアリング等でない fact6: 仮に「何かは辛いかあるいはそれは公教育である」ということは間違いであるならそれは駆け巡るということはない fact7: 「大学基準でない」物はある fact8: そのＮＡＩＫ等は脱却出来ない fact9: もし「なにがしかのものは制御するかそれは上演時間だ」ということは間違いであるとしたら小便だということはない fact10: もし「何らかの物は脱却出来るかもしくは笑顔であるかまたは両方ともである」ということは成り立たないならばジャブでない fact11: もし「伊蘇国でない」物はあれば「そのＮＡＩＫ等は身体像であるかもしくはそれは脱却出来るかあるいは両方だ」ということは嘘である fact12: もし「なんらかの物は野太い一方で使い続けない」ということは誤っているとするとそれは自称しない fact13: 仮にある物は笑顔でないならば「それは大学基準でなくてその上それは脱却出来ない」ということは間違いである fact14: もし「なにがしかのものは脱却出来るけど大学基準でない」ということは誤っているとしたら製造課でない fact15: ある物は似付かわしい fact16: 「大学基準である」物はある fact17: もしもそのダンはアルテミス号でないとすれば「参考書でないかもしくはそれは上演時間でない」ということは嘘である fact18: 仮に「あの妄動は大学基準だということはなくてそれは脱却出来ない」ということは間違いであるなら「そのＮＡＩＫ等はジャブである」ということは確かである fact19: そのダンはヒアリング等でないならば「あの妄動は喝采するしそれに重陽だ」ということは成り立つということはない fact20: もしあるものが大学基準でないならばそのＮＡＩＫ等は脱却出来ない
fact7 & fact1 -> int1: 「そのＮＡＩＫ等は脱却出来るかあるいは笑顔である」ということは誤りだ; fact10 -> int2: もし仮に「「そのＮＡＩＫ等は脱却出来るかあるいはそれは笑顔だ」ということは間違いだ」ということは正しいならばそれはジャブでない; int1 & int2 -> hypothesis;
「製造課でない」物はある
fact21 -> int3: 仮に「そのＮＡＩＫ等は脱却出来るけれど大学基準でない」ということは事実と異なるならそれは製造課だということはない;
$facts$ = fact1: もし仮に「大学基準でない」物はあるなら「そのＮＡＩＫ等は脱却出来るか笑顔だ」ということは嘘だ fact2: 仮になにがしかの物が改悛するかまたはそれは自称するということはないかあるいは両方ともであるとしたら「それは笑顔でない」ということは確かだ fact3: もし仮に何かは御引き取り願わないなら「野太いが使い続けるということはない」ということは成り立たない fact4: もし仮に「何らかのものは喝采するしそれに重陽だ」ということは成り立たないならばそれは御引き取り願わない fact5: もし「そのダンは参考書でないかもしくはそれは上演時間でない」ということは事実と異なるとすればヒアリング等でない fact6: 仮に「何かは辛いかあるいはそれは公教育である」ということは間違いであるならそれは駆け巡るということはない fact7: 「大学基準でない」物はある fact8: そのＮＡＩＫ等は脱却出来ない fact9: もし「なにがしかのものは制御するかそれは上演時間だ」ということは間違いであるとしたら小便だということはない fact10: もし「何らかの物は脱却出来るかもしくは笑顔であるかまたは両方ともである」ということは成り立たないならばジャブでない fact11: もし「伊蘇国でない」物はあれば「そのＮＡＩＫ等は身体像であるかもしくはそれは脱却出来るかあるいは両方だ」ということは嘘である fact12: もし「なんらかの物は野太い一方で使い続けない」ということは誤っているとするとそれは自称しない fact13: 仮にある物は笑顔でないならば「それは大学基準でなくてその上それは脱却出来ない」ということは間違いである fact14: もし「なにがしかのものは脱却出来るけど大学基準でない」ということは誤っているとしたら製造課でない fact15: ある物は似付かわしい fact16: 「大学基準である」物はある fact17: もしもそのダンはアルテミス号でないとすれば「参考書でないかもしくはそれは上演時間でない」ということは嘘である fact18: 仮に「あの妄動は大学基準だということはなくてそれは脱却出来ない」ということは間違いであるなら「そのＮＡＩＫ等はジャブである」ということは確かである fact19: そのダンはヒアリング等でないならば「あの妄動は喝采するしそれに重陽だ」ということは成り立つということはない fact20: もしあるものが大学基準でないならばそのＮＡＩＫ等は脱却出来ない ; $hypothesis$ = そのＮＡＩＫ等はジャブでない ; $proof$ = 
fact7 & fact1 -> int1: 「そのＮＡＩＫ等は脱却出来るかあるいは笑顔である」ということは誤りだ; fact10 -> int2: もし仮に「「そのＮＡＩＫ等は脱却出来るかあるいはそれは笑顔だ」ということは間違いだ」ということは正しいならばそれはジャブでない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「大学基準でない」物はあるなら「そのＮＡＩＫ等は脱却出来るか笑顔だ」ということは嘘だ
事実2: 仮になにがしかの物が改悛するかまたはそれは自称するということはないかあるいは両方ともであるとしたら「それは笑顔でない」ということは確かだ
事実3: もし仮に何かは御引き取り願わないなら「野太いが使い続けるということはない」ということは成り立たない
事実4: もし仮に「何らかのものは喝采するしそれに重陽だ」ということは成り立たないならばそれは御引き取り願わない
事実5: もし「そのダンは参考書でないかもしくはそれは上演時間でない」ということは事実と異なるとすればヒアリング等でない
事実6: 仮に「何かは辛いかあるいはそれは公教育である」ということは間違いであるならそれは駆け巡るということはない
事実7: 「大学基準でない」物はある
事実8: そのＮＡＩＫ等は脱却出来ない
事実9: もし「なにがしかのものは制御するかそれは上演時間だ」ということは間違いであるとしたら小便だということはない
事実10: もし「何らかの物は脱却出来るかもしくは笑顔であるかまたは両方ともである」ということは成り立たないならばジャブでない
事実11: もし「伊蘇国でない」物はあれば「そのＮＡＩＫ等は身体像であるかもしくはそれは脱却出来るかあるいは両方だ」ということは嘘である
事実12: もし「なんらかの物は野太い一方で使い続けない」ということは誤っているとするとそれは自称しない
事実13: 仮にある物は笑顔でないならば「それは大学基準でなくてその上それは脱却出来ない」ということは間違いである
事実14: もし「なにがしかのものは脱却出来るけど大学基準でない」ということは誤っているとしたら製造課でない
事実15: ある物は似付かわしい
事実16: 「大学基準である」物はある
事実17: もしもそのダンはアルテミス号でないとすれば「参考書でないかもしくはそれは上演時間でない」ということは嘘である
事実18: 仮に「あの妄動は大学基準だということはなくてそれは脱却出来ない」ということは間違いであるなら「そのＮＡＩＫ等はジャブである」ということは確かである
事実19: そのダンはヒアリング等でないならば「あの妄動は喝采するしそれに重陽だ」ということは成り立つということはない
事実20: もしあるものが大学基準でないならばそのＮＡＩＫ等は脱却出来ない

仮説: そのＮＡＩＫ等はジャブでない
1. 事実7と事実1から、推論1: "「そのＮＡＩＫ等は脱却出来るかあるいは笑顔である」ということは誤りだ"が導かれる
2. 事実10から、推論2: "もし仮に「「そのＮＡＩＫ等は脱却出来るかあるいはそれは笑顔だ」ということは間違いだ」ということは正しいならばそれはジャブでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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