「このローラ・コンベアは徴兵するけれどそれは介護サービス費用でない」ということは本当でない
fact1: 仮にあの調節時がめぼしいとしたらあのシャドウは物々交換だ fact2: あのシャドウは使用し難くない fact3: もしあのシャドウが介護サービス費用でないならこのローラ・コンベアは御偉いしそれは徴兵する fact4: もしも何らかのものが徴兵するとするとそれは御尋ねしないし加えて得られ難くない fact5: あのシャドウは内応でないししかも御尋ねしないとしたらそれは御偉くない fact6: もしも「あの調節時は介護サービス費用だということはない一方でそれは儚し」ということは間違っているとしたらあのシャドウは介護サービス費用でない fact7: 「あのシャドウは御偉いけど介護サービス費用でない」ということは事実と異なる fact8: このローラ・コンベアは御偉くない fact9: あのシャドウは内応でない fact10: あのシャドウは内応でないしさらに御尋ねしない fact11: あの調節時はめぼしいしおまけに実行し易い fact12: あのシャドウは御偉くないとすると「このローラ・コンベアは徴兵するしかつそれは介護サービス費用だ」ということは事実でない fact13: もしあのシャドウが内応であるけれどそれは御尋ねしないなら「御偉くない」ということは本当である fact14: あのシャドウは徴兵しない fact15: 「このローラ・コンベアは徴兵するしそれは介護サービス費用だ」ということは誤っている fact16: あのシャドウは介護サービス費用でないとしたら「このローラ・コンベアは徴兵するがしかし内応であるということはない」ということは嘘だ fact17: もしもなにかは使用し難くないならば「それは北海道行でないししかも欠配でない」ということは成り立つということはない fact18: もし仮に「ある物は北海道行でなくて加えて欠配だということはない」ということは成り立たないなら儚し fact19: このキリスト自身は物々交換だとしたら「あの調節時は介護サービス費用であるということはない一方で儚し」ということは成り立たない fact20: もしも「あのシャドウは御偉くない」ということは事実であるならば「このローラ・コンベアは徴兵するけれどそれは介護サービス費用でない」ということは間違いだ
fact5 & fact10 -> int1: あのシャドウは御偉くない; int1 & fact20 -> hypothesis;
このローラ・コンベアは御尋ねしなくて加えて得られ難くない
fact21 -> int2: 仮に「このローラ・コンベアは徴兵する」ということは成り立てばそれは御尋ねしないし得られ難くない;
$facts$ = fact1: 仮にあの調節時がめぼしいとしたらあのシャドウは物々交換だ fact2: あのシャドウは使用し難くない fact3: もしあのシャドウが介護サービス費用でないならこのローラ・コンベアは御偉いしそれは徴兵する fact4: もしも何らかのものが徴兵するとするとそれは御尋ねしないし加えて得られ難くない fact5: あのシャドウは内応でないししかも御尋ねしないとしたらそれは御偉くない fact6: もしも「あの調節時は介護サービス費用だということはない一方でそれは儚し」ということは間違っているとしたらあのシャドウは介護サービス費用でない fact7: 「あのシャドウは御偉いけど介護サービス費用でない」ということは事実と異なる fact8: このローラ・コンベアは御偉くない fact9: あのシャドウは内応でない fact10: あのシャドウは内応でないしさらに御尋ねしない fact11: あの調節時はめぼしいしおまけに実行し易い fact12: あのシャドウは御偉くないとすると「このローラ・コンベアは徴兵するしかつそれは介護サービス費用だ」ということは事実でない fact13: もしあのシャドウが内応であるけれどそれは御尋ねしないなら「御偉くない」ということは本当である fact14: あのシャドウは徴兵しない fact15: 「このローラ・コンベアは徴兵するしそれは介護サービス費用だ」ということは誤っている fact16: あのシャドウは介護サービス費用でないとしたら「このローラ・コンベアは徴兵するがしかし内応であるということはない」ということは嘘だ fact17: もしもなにかは使用し難くないならば「それは北海道行でないししかも欠配でない」ということは成り立つということはない fact18: もし仮に「ある物は北海道行でなくて加えて欠配だということはない」ということは成り立たないなら儚し fact19: このキリスト自身は物々交換だとしたら「あの調節時は介護サービス費用であるということはない一方で儚し」ということは成り立たない fact20: もしも「あのシャドウは御偉くない」ということは事実であるならば「このローラ・コンベアは徴兵するけれどそれは介護サービス費用でない」ということは間違いだ ; $hypothesis$ = 「このローラ・コンベアは徴兵するけれどそれは介護サービス費用でない」ということは本当でない ; $proof$ = 
fact5 & fact10 -> int1: あのシャドウは御偉くない; int1 & fact20 -> hypothesis; __PROVED__
事実1: 仮にあの調節時がめぼしいとしたらあのシャドウは物々交換だ
事実2: あのシャドウは使用し難くない
事実3: もしあのシャドウが介護サービス費用でないならこのローラ・コンベアは御偉いしそれは徴兵する
事実4: もしも何らかのものが徴兵するとするとそれは御尋ねしないし加えて得られ難くない
事実5: あのシャドウは内応でないししかも御尋ねしないとしたらそれは御偉くない
事実6: もしも「あの調節時は介護サービス費用だということはない一方でそれは儚し」ということは間違っているとしたらあのシャドウは介護サービス費用でない
事実7: 「あのシャドウは御偉いけど介護サービス費用でない」ということは事実と異なる
事実8: このローラ・コンベアは御偉くない
事実9: あのシャドウは内応でない
事実10: あのシャドウは内応でないしさらに御尋ねしない
事実11: あの調節時はめぼしいしおまけに実行し易い
事実12: あのシャドウは御偉くないとすると「このローラ・コンベアは徴兵するしかつそれは介護サービス費用だ」ということは事実でない
事実13: もしあのシャドウが内応であるけれどそれは御尋ねしないなら「御偉くない」ということは本当である
事実14: あのシャドウは徴兵しない
事実15: 「このローラ・コンベアは徴兵するしそれは介護サービス費用だ」ということは誤っている
事実16: あのシャドウは介護サービス費用でないとしたら「このローラ・コンベアは徴兵するがしかし内応であるということはない」ということは嘘だ
事実17: もしもなにかは使用し難くないならば「それは北海道行でないししかも欠配でない」ということは成り立つということはない
事実18: もし仮に「ある物は北海道行でなくて加えて欠配だということはない」ということは成り立たないなら儚し
事実19: このキリスト自身は物々交換だとしたら「あの調節時は介護サービス費用であるということはない一方で儚し」ということは成り立たない
事実20: もしも「あのシャドウは御偉くない」ということは事実であるならば「このローラ・コンベアは徴兵するけれどそれは介護サービス費用でない」ということは間違いだ

仮説: 「このローラ・コンベアは徴兵するけれどそれは介護サービス費用でない」ということは本当でない
1. 事実5と事実10から、推論1: "あのシャドウは御偉くない"が導かれる
2. 推論1と事実20から、仮説が導かれる

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