あの各所は私らしくないかあるいは切り離し難いということはないか両方だ
fact1: 「とある物は運び易くなくてそれは変化し易くない」ということは事実なら「このメッセージダイアログは子供っぽくない」ということは本当である fact2: もし「なんらかのものは垂直尾翼だということはないか算定し難くないか両方である」ということは成り立たないとするとそれは介護サービス計画作成機関でない fact3: 「なんらかの物は算定し難くないけどとろい」ということは嘘であるならそれはとろいということはない fact4: 仮に運び易くないし変化し易いものがあるとすればあのメッセージダイアログは子供っぽいということはない fact5: 運び易くないし変化し易くないものはある fact6: もし仮に「なんらかの物はプリンタ用紙でないかもしくはそれは投資出来ないかもしくは両方ともである」ということは確かでないとすればそれは介護サービス計画作成機関である fact7: もし仮にあの各所が甲斐甲斐しかなくて企業社会でないとすればとろいということはない fact8: 私らしい物はフリーライドしないかもしくは剥がれ易くないかまたはどちらもである fact9: もし仮にとあるものは垂直尾翼でないとすれば「算定し難くないけどとろい」ということは成り立たない fact10: もしもあの各所が私らしいとすると甲斐甲斐しいということはないしさらにそれは企業社会でない fact11: 「あの各所は介護サービス計画作成機関だがしかし垂直尾翼でない」ということは成り立たない fact12: もし仮にあの各所はとろくないならば「そのデモ隊は垂直尾翼でないかもしくはそれは算定し難くないかあるいはどちらもである」ということは成り立たない fact13: このメッセージダイアログは子供っぽくないとすれば「「そのデモ隊はプリンタ用紙でないかそれは投資出来ない」ということは成り立たない」ということは成り立つ
void -> assump1: 以下のように仮定する。あの各所は私らしい; fact10 & assump1 -> int1: あの各所は甲斐甲斐しかないし加えて企業社会だということはない; int1 & fact7 -> int2: あの各所はとろくない; int2 & fact12 -> int3: 「そのデモ隊は垂直尾翼でないかまたはそれは算定し難くないか両方だ」ということは誤りだ; fact2 -> int4: 仮に「「そのデモ隊は垂直尾翼でないかまたはそれは算定し難くないかもしくは両方ともである」ということは間違っている」ということは真実なら「介護サービス計画作成機関でない」ということは成り立つ; int3 & int4 -> int5: そのデモ隊は介護サービス計画作成機関でない; fact1 & fact5 -> int6: このメッセージダイアログは子供っぽくない; fact13 & int6 -> int7: 「そのデモ隊はプリンタ用紙でないかもしくは投資出来ないかまたはどちらもだ」ということは事実と異なる; fact6 -> int8: もし仮に「そのデモ隊はプリンタ用紙でないかもしくは投資出来ないかあるいはどちらもだ」ということは間違いであるならそれは介護サービス計画作成機関である; int7 & int8 -> int9: そのデモ隊は介護サービス計画作成機関だ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの各所は私らしいということはない; int11 -> hypothesis;
「あの各所は私らしいということはないかあるいは切り離し難くないかまたは両方である」ということは事実と異なる
fact14 -> int12: 「そのデモ隊は算定し難くないがとろい」ということは成り立たないならば「とろくない」ということは正しい; fact15 -> int13: もしもそのデモ隊は垂直尾翼であるということはないならば「算定し難くないしそれにとろい」ということは成り立たない;
$facts$ = fact1: 「とある物は運び易くなくてそれは変化し易くない」ということは事実なら「このメッセージダイアログは子供っぽくない」ということは本当である fact2: もし「なんらかのものは垂直尾翼だということはないか算定し難くないか両方である」ということは成り立たないとするとそれは介護サービス計画作成機関でない fact3: 「なんらかの物は算定し難くないけどとろい」ということは嘘であるならそれはとろいということはない fact4: 仮に運び易くないし変化し易いものがあるとすればあのメッセージダイアログは子供っぽいということはない fact5: 運び易くないし変化し易くないものはある fact6: もし仮に「なんらかの物はプリンタ用紙でないかもしくはそれは投資出来ないかもしくは両方ともである」ということは確かでないとすればそれは介護サービス計画作成機関である fact7: もし仮にあの各所が甲斐甲斐しかなくて企業社会でないとすればとろいということはない fact8: 私らしい物はフリーライドしないかもしくは剥がれ易くないかまたはどちらもである fact9: もし仮にとあるものは垂直尾翼でないとすれば「算定し難くないけどとろい」ということは成り立たない fact10: もしもあの各所が私らしいとすると甲斐甲斐しいということはないしさらにそれは企業社会でない fact11: 「あの各所は介護サービス計画作成機関だがしかし垂直尾翼でない」ということは成り立たない fact12: もし仮にあの各所はとろくないならば「そのデモ隊は垂直尾翼でないかもしくはそれは算定し難くないかあるいはどちらもである」ということは成り立たない fact13: このメッセージダイアログは子供っぽくないとすれば「「そのデモ隊はプリンタ用紙でないかそれは投資出来ない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = あの各所は私らしくないかあるいは切り離し難いということはないか両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの各所は私らしい; fact10 & assump1 -> int1: あの各所は甲斐甲斐しかないし加えて企業社会だということはない; int1 & fact7 -> int2: あの各所はとろくない; int2 & fact12 -> int3: 「そのデモ隊は垂直尾翼でないかまたはそれは算定し難くないか両方だ」ということは誤りだ; fact2 -> int4: 仮に「「そのデモ隊は垂直尾翼でないかまたはそれは算定し難くないかもしくは両方ともである」ということは間違っている」ということは真実なら「介護サービス計画作成機関でない」ということは成り立つ; int3 & int4 -> int5: そのデモ隊は介護サービス計画作成機関でない; fact1 & fact5 -> int6: このメッセージダイアログは子供っぽくない; fact13 & int6 -> int7: 「そのデモ隊はプリンタ用紙でないかもしくは投資出来ないかまたはどちらもだ」ということは事実と異なる; fact6 -> int8: もし仮に「そのデモ隊はプリンタ用紙でないかもしくは投資出来ないかあるいはどちらもだ」ということは間違いであるならそれは介護サービス計画作成機関である; int7 & int8 -> int9: そのデモ隊は介護サービス計画作成機関だ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの各所は私らしいということはない; int11 -> hypothesis; __PROVED__
事実1: 「とある物は運び易くなくてそれは変化し易くない」ということは事実なら「このメッセージダイアログは子供っぽくない」ということは本当である
事実2: もし「なんらかのものは垂直尾翼だということはないか算定し難くないか両方である」ということは成り立たないとするとそれは介護サービス計画作成機関でない
事実3: 「なんらかの物は算定し難くないけどとろい」ということは嘘であるならそれはとろいということはない
事実4: 仮に運び易くないし変化し易いものがあるとすればあのメッセージダイアログは子供っぽいということはない
事実5: 運び易くないし変化し易くないものはある
事実6: もし仮に「なんらかの物はプリンタ用紙でないかもしくはそれは投資出来ないかもしくは両方ともである」ということは確かでないとすればそれは介護サービス計画作成機関である
事実7: もし仮にあの各所が甲斐甲斐しかなくて企業社会でないとすればとろいということはない
事実8: 私らしい物はフリーライドしないかもしくは剥がれ易くないかまたはどちらもである
事実9: もし仮にとあるものは垂直尾翼でないとすれば「算定し難くないけどとろい」ということは成り立たない
事実10: もしもあの各所が私らしいとすると甲斐甲斐しいということはないしさらにそれは企業社会でない
事実11: 「あの各所は介護サービス計画作成機関だがしかし垂直尾翼でない」ということは成り立たない
事実12: もし仮にあの各所はとろくないならば「そのデモ隊は垂直尾翼でないかもしくはそれは算定し難くないかあるいはどちらもである」ということは成り立たない
事実13: このメッセージダイアログは子供っぽくないとすれば「「そのデモ隊はプリンタ用紙でないかそれは投資出来ない」ということは成り立たない」ということは成り立つ

仮説: あの各所は私らしくないかあるいは切り離し難いということはないか両方だ
1. 仮定1: 以下のように仮定する。あの各所は私らしい
2. 事実10と仮定1から、推論1: "あの各所は甲斐甲斐しかないし加えて企業社会だということはない"が導かれる
3. 推論1と事実7から、推論2: "あの各所はとろくない"が導かれる
4. 推論2と事実12から、推論3: "「そのデモ隊は垂直尾翼でないかまたはそれは算定し難くないか両方だ」ということは誤りだ"が導かれる
5. 事実2から、推論4: "仮に「「そのデモ隊は垂直尾翼でないかまたはそれは算定し難くないかもしくは両方ともである」ということは間違っている」ということは真実なら「介護サービス計画作成機関でない」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "そのデモ隊は介護サービス計画作成機関でない"が導かれる
7. 事実1と事実5から、推論6: "このメッセージダイアログは子供っぽくない"が導かれる
8. 事実13と推論6から、推論7: "「そのデモ隊はプリンタ用紙でないかもしくは投資出来ないかまたはどちらもだ」ということは事実と異なる"が導かれる
9. 事実6から、推論8: "もし仮に「そのデモ隊はプリンタ用紙でないかもしくは投資出来ないかあるいはどちらもだ」ということは間違いであるならそれは介護サービス計画作成機関である"が導かれる
10. 推論7と推論8から、推論9: "そのデモ隊は介護サービス計画作成機関だ"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの各所は私らしいということはない"が導かれる
13. 推論11から、仮説が導かれる

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