「「親しということはないししかも課題分析でない」ということは成り立たない」ものはある
fact1: もしもなにかは欺罔しないなら四角いかもしくは染め付けでない fact2: 「あの天井リフトは増加し始めないかあるいはモイスチャライザーでないかまたは両方ともである」ということは本当でない fact3: もし仮にあの天井リフトは凄いということはないなら「あの総合的管理は親しないしそれに課題分析でない」ということは成り立たない fact4: もしあの赤ちゃんがきついし校外学習であるとすればその非言説的領域は欺罔しない fact5: 仮にその非言説的領域が四角いかまたは染め付けだということはないかまたは両方ともであるならあの天井リフトは親しない fact6: もし仮にこの縦断勾配が有り難しないしおまけに約三十年前でないとしたらあの赤ちゃんは有り難しということはない fact7: この縦断勾配は有り難しということはなくて約三十年前でない fact8: 仮に「あの天井リフトは引き難い」ということは本当だとしたらそれは増加し始めないかモイスチャライザーでない fact9: もしもあの天井リフトは引き難くないとすれば「それは凄いということはない」ということは成り立つ fact10: もし仮に「あの赤ちゃんは有り難しない」ということは誤っていないならばきつくてかつ校外学習だ fact11: もしもとある物は引き難いということはないとすれば「「それは増加し始めないしそれは齎し易くない」ということは成り立つ」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの天井リフトは引き難い; fact8 & assump1 -> int1: あの天井リフトは増加し始めないかそれはモイスチャライザーでない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの天井リフトは引き難いということはない; int3 & fact9 -> int4: あの天井リフトは凄くない; int4 & fact3 -> int5: 「あの総合的管理は親しないしそれに課題分析でない」ということは成り立つということはない; int5 -> hypothesis;
「あの総合的管理は増加し始めないしその上齎し易くない」ということは間違っている
fact15 -> int6: もしもあの総合的管理は引き難くないとすれば「増加し始めないし加えて齎し易くない」ということは事実と異なる; fact14 -> int7: 仮にその非言説的領域が欺罔しないならば四角いかもしくは染め付けでないか両方である; fact18 & fact16 -> int8: あの赤ちゃんは有り難しない; fact12 & int8 -> int9: あの赤ちゃんはきついしそれは校外学習である; fact17 & int9 -> int10: その非言説的領域は欺罔しない; int7 & int10 -> int11: その非言説的領域は四角いかまたはそれは染め付けでないかあるいはどちらもである; fact13 & int11 -> int12: あの天井リフトは親しということはない;
$facts$ = fact1: もしもなにかは欺罔しないなら四角いかもしくは染め付けでない fact2: 「あの天井リフトは増加し始めないかあるいはモイスチャライザーでないかまたは両方ともである」ということは本当でない fact3: もし仮にあの天井リフトは凄いということはないなら「あの総合的管理は親しないしそれに課題分析でない」ということは成り立たない fact4: もしあの赤ちゃんがきついし校外学習であるとすればその非言説的領域は欺罔しない fact5: 仮にその非言説的領域が四角いかまたは染め付けだということはないかまたは両方ともであるならあの天井リフトは親しない fact6: もし仮にこの縦断勾配が有り難しないしおまけに約三十年前でないとしたらあの赤ちゃんは有り難しということはない fact7: この縦断勾配は有り難しということはなくて約三十年前でない fact8: 仮に「あの天井リフトは引き難い」ということは本当だとしたらそれは増加し始めないかモイスチャライザーでない fact9: もしもあの天井リフトは引き難くないとすれば「それは凄いということはない」ということは成り立つ fact10: もし仮に「あの赤ちゃんは有り難しない」ということは誤っていないならばきつくてかつ校外学習だ fact11: もしもとある物は引き難いということはないとすれば「「それは増加し始めないしそれは齎し易くない」ということは成り立つ」ということは事実と異なる ; $hypothesis$ = 「「親しということはないししかも課題分析でない」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの天井リフトは引き難い; fact8 & assump1 -> int1: あの天井リフトは増加し始めないかそれはモイスチャライザーでない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの天井リフトは引き難いということはない; int3 & fact9 -> int4: あの天井リフトは凄くない; int4 & fact3 -> int5: 「あの総合的管理は親しないしそれに課題分析でない」ということは成り立つということはない; int5 -> hypothesis; __PROVED__
事実1: もしもなにかは欺罔しないなら四角いかもしくは染め付けでない
事実2: 「あの天井リフトは増加し始めないかあるいはモイスチャライザーでないかまたは両方ともである」ということは本当でない
事実3: もし仮にあの天井リフトは凄いということはないなら「あの総合的管理は親しないしそれに課題分析でない」ということは成り立たない
事実4: もしあの赤ちゃんがきついし校外学習であるとすればその非言説的領域は欺罔しない
事実5: 仮にその非言説的領域が四角いかまたは染め付けだということはないかまたは両方ともであるならあの天井リフトは親しない
事実6: もし仮にこの縦断勾配が有り難しないしおまけに約三十年前でないとしたらあの赤ちゃんは有り難しということはない
事実7: この縦断勾配は有り難しということはなくて約三十年前でない
事実8: 仮に「あの天井リフトは引き難い」ということは本当だとしたらそれは増加し始めないかモイスチャライザーでない
事実9: もしもあの天井リフトは引き難くないとすれば「それは凄いということはない」ということは成り立つ
事実10: もし仮に「あの赤ちゃんは有り難しない」ということは誤っていないならばきつくてかつ校外学習だ
事実11: もしもとある物は引き難いということはないとすれば「「それは増加し始めないしそれは齎し易くない」ということは成り立つ」ということは事実と異なる

仮説: 「「親しということはないししかも課題分析でない」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。あの天井リフトは引き難い
2. 事実8と仮定1から、推論1: "あの天井リフトは増加し始めないかそれはモイスチャライザーでない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの天井リフトは引き難いということはない"が導かれる
5. 推論3と事実9から、推論4: "あの天井リフトは凄くない"が導かれる
6. 推論4と事実3から、推論5: "「あの総合的管理は親しないしそれに課題分析でない」ということは成り立つということはない"が導かれる
7. 推論5から、仮説が導かれる

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