「この得失は誤解し易いということはない」ということは事実である
fact1: 仮に「なにがしかのものは飲み始めるか慌ただしくないか両方ともである」ということは誤りであるならば召し抱える fact2: 仮にあの長伐期施業は紫杯連でないならば飲み始めない fact3: この劇は慌ただしい fact4: あの長伐期施業は飲み始めるということはない fact5: もしもあの長伐期施業が召し抱えるならこの得失は誤解し易くない fact6: あの長伐期施業は紫杯連であるということはない fact7: もしもあの長伐期施業は紫杯連であるということはないとすれば「飲み始めるかあるいは慌ただしくないかあるいはどちらもである」ということは成り立たない fact8: もしもあるものは飲み始めないとすると「「それは移ろい易いかもしくは檜山入り口でない」ということは事実だ」ということは成り立たない
fact1 -> int1: もし仮に「あの長伐期施業は飲み始めるかまたは慌ただしいということはないかまたは両方ともだ」ということは事実と異なるとすればそれは召し抱える; fact6 & fact7 -> int2: 「あの長伐期施業は飲み始めるかもしくは慌ただしくない」ということは正しくない; int1 & int2 -> int3: あの長伐期施業は召し抱える; int3 & fact5 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact6 & fact7 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact5 -> hypothesis;
もし「その家庭料理は飲み始めない」ということは成り立つとしたら「「それは移ろい易いかあるいは檜山入り口でない」ということは正しい」ということは嘘だ
fact9 -> hypothesis;
$facts$ = fact1: 仮に「なにがしかのものは飲み始めるか慌ただしくないか両方ともである」ということは誤りであるならば召し抱える fact2: 仮にあの長伐期施業は紫杯連でないならば飲み始めない fact3: この劇は慌ただしい fact4: あの長伐期施業は飲み始めるということはない fact5: もしもあの長伐期施業が召し抱えるならこの得失は誤解し易くない fact6: あの長伐期施業は紫杯連であるということはない fact7: もしもあの長伐期施業は紫杯連であるということはないとすれば「飲み始めるかあるいは慌ただしくないかあるいはどちらもである」ということは成り立たない fact8: もしもあるものは飲み始めないとすると「「それは移ろい易いかもしくは檜山入り口でない」ということは事実だ」ということは成り立たない ; $hypothesis$ = 「この得失は誤解し易いということはない」ということは事実である ; $proof$ = 
fact1 -> int1: もし仮に「あの長伐期施業は飲み始めるかまたは慌ただしいということはないかまたは両方ともだ」ということは事実と異なるとすればそれは召し抱える; fact6 & fact7 -> int2: 「あの長伐期施業は飲み始めるかもしくは慌ただしくない」ということは正しくない; int1 & int2 -> int3: あの長伐期施業は召し抱える; int3 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「なにがしかのものは飲み始めるか慌ただしくないか両方ともである」ということは誤りであるならば召し抱える
事実2: 仮にあの長伐期施業は紫杯連でないならば飲み始めない
事実3: この劇は慌ただしい
事実4: あの長伐期施業は飲み始めるということはない
事実5: もしもあの長伐期施業が召し抱えるならこの得失は誤解し易くない
事実6: あの長伐期施業は紫杯連であるということはない
事実7: もしもあの長伐期施業は紫杯連であるということはないとすれば「飲み始めるかあるいは慌ただしくないかあるいはどちらもである」ということは成り立たない
事実8: もしもあるものは飲み始めないとすると「「それは移ろい易いかもしくは檜山入り口でない」ということは事実だ」ということは成り立たない

仮説: 「この得失は誤解し易いということはない」ということは事実である
1. 事実1から、推論1: "もし仮に「あの長伐期施業は飲み始めるかまたは慌ただしいということはないかまたは両方ともだ」ということは事実と異なるとすればそれは召し抱える"が導かれる
2. 事実6と事実7から、推論2: "「あの長伐期施業は飲み始めるかもしくは慌ただしくない」ということは正しくない"が導かれる
3. 推論1と推論2から、推論3: "あの長伐期施業は召し抱える"が導かれる
4. 推論3と事実5から、仮説が導かれる

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