もしもその昆布出しが取っ付き難いということはないとすればその春彼岸はウィンクしない
fact1: その昆布出しは取っ付き難いかまたはそれは遅れ始めないかもしくは両方だ fact2: もしもその春彼岸が取っ付き難いということはないとするとその昆布出しは弱々しかない fact3: その春彼岸は遅れ始めるかもしくは弱々しいかもしくは両方ともだ fact4: その昆布出しは取っ付き難いかもしくはウィンクしないかもしくはどちらもだ fact5: その昆布出しは遅れ始めるかもしくは培わないかもしくは両方だ fact6: もしもその春彼岸がウィンクするならそれは遅れ始めるか弱々しいかもしくはどちらもである fact7: もし仮にその春彼岸が遅れ始めるかまたは弱々しかないかどちらもであるとしたらその昆布出しは取っ付き難い fact8: このバージンはウィンクしない fact9: もし仮になんらかのものがウィンクするなら遅れ始めるかまたは弱々しいかもしくは両方だ fact10: もし仮にその昆布出しが取っ付き難くないとしたらその春彼岸はウィンクする fact11: もしもなにかは取っ付き難いとしたらそれは弱々しいか遅れ始めないかどちらもである fact12: もし仮になにかはウィンクするとすればそれは遅れ始めるかもしくはそれは弱々しいということはないか両方だ fact13: 仮にその春彼岸が弱々しかないならその昆布出しは取っ付き難い fact14: もし仮にその春彼岸が取っ付き難いならばウィンクするかもしくはそれは遅れ始めないかあるいは両方ともである fact15: もしその昆布出しが遅れ始めるならそれは取っ付き難いかあるいは弱々しかないか両方ともである fact16: その昆布出しは根保証契約であるかまたは取り繕わないかまたは両方ともだ fact17: その武運は責任損害であるか遅れ始めない fact18: その昆布出しはウィンクしない fact19: もし仮にその昆布出しが取っ付き難いとするとその春彼岸はウィンクしない
fact12 -> int1: 仮に「その春彼岸はウィンクする」ということは成り立つとすると遅れ始めるか弱々しかないかまたは両方ともである; void -> assump1: 以下のように仮定する。その春彼岸はウィンクする; int1 & assump1 -> int2: その春彼岸は遅れ始めるかまたは弱々しかないかどちらもである; int2 & fact7 -> int3: その昆布出しは取っ付き難い; void -> assump2: 以下のように仮定する。「その昆布出しは取っ付き難くない」ということは真実である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その春彼岸はウィンクしない; [assump2] & int5 -> hypothesis;
$facts$ = fact1: その昆布出しは取っ付き難いかまたはそれは遅れ始めないかもしくは両方だ fact2: もしもその春彼岸が取っ付き難いということはないとするとその昆布出しは弱々しかない fact3: その春彼岸は遅れ始めるかもしくは弱々しいかもしくは両方ともだ fact4: その昆布出しは取っ付き難いかもしくはウィンクしないかもしくはどちらもだ fact5: その昆布出しは遅れ始めるかもしくは培わないかもしくは両方だ fact6: もしもその春彼岸がウィンクするならそれは遅れ始めるか弱々しいかもしくはどちらもである fact7: もし仮にその春彼岸が遅れ始めるかまたは弱々しかないかどちらもであるとしたらその昆布出しは取っ付き難い fact8: このバージンはウィンクしない fact9: もし仮になんらかのものがウィンクするなら遅れ始めるかまたは弱々しいかもしくは両方だ fact10: もし仮にその昆布出しが取っ付き難くないとしたらその春彼岸はウィンクする fact11: もしもなにかは取っ付き難いとしたらそれは弱々しいか遅れ始めないかどちらもである fact12: もし仮になにかはウィンクするとすればそれは遅れ始めるかもしくはそれは弱々しいということはないか両方だ fact13: 仮にその春彼岸が弱々しかないならその昆布出しは取っ付き難い fact14: もし仮にその春彼岸が取っ付き難いならばウィンクするかもしくはそれは遅れ始めないかあるいは両方ともである fact15: もしその昆布出しが遅れ始めるならそれは取っ付き難いかあるいは弱々しかないか両方ともである fact16: その昆布出しは根保証契約であるかまたは取り繕わないかまたは両方ともだ fact17: その武運は責任損害であるか遅れ始めない fact18: その昆布出しはウィンクしない fact19: もし仮にその昆布出しが取っ付き難いとするとその春彼岸はウィンクしない ; $hypothesis$ = もしもその昆布出しが取っ付き難いということはないとすればその春彼岸はウィンクしない ; $proof$ = 
fact12 -> int1: 仮に「その春彼岸はウィンクする」ということは成り立つとすると遅れ始めるか弱々しかないかまたは両方ともである; void -> assump1: 以下のように仮定する。その春彼岸はウィンクする; int1 & assump1 -> int2: その春彼岸は遅れ始めるかまたは弱々しかないかどちらもである; int2 & fact7 -> int3: その昆布出しは取っ付き難い; void -> assump2: 以下のように仮定する。「その昆布出しは取っ付き難くない」ということは真実である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その春彼岸はウィンクしない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: その昆布出しは取っ付き難いかまたはそれは遅れ始めないかもしくは両方だ
事実2: もしもその春彼岸が取っ付き難いということはないとするとその昆布出しは弱々しかない
事実3: その春彼岸は遅れ始めるかもしくは弱々しいかもしくは両方ともだ
事実4: その昆布出しは取っ付き難いかもしくはウィンクしないかもしくはどちらもだ
事実5: その昆布出しは遅れ始めるかもしくは培わないかもしくは両方だ
事実6: もしもその春彼岸がウィンクするならそれは遅れ始めるか弱々しいかもしくはどちらもである
事実7: もし仮にその春彼岸が遅れ始めるかまたは弱々しかないかどちらもであるとしたらその昆布出しは取っ付き難い
事実8: このバージンはウィンクしない
事実9: もし仮になんらかのものがウィンクするなら遅れ始めるかまたは弱々しいかもしくは両方だ
事実10: もし仮にその昆布出しが取っ付き難くないとしたらその春彼岸はウィンクする
事実11: もしもなにかは取っ付き難いとしたらそれは弱々しいか遅れ始めないかどちらもである
事実12: もし仮になにかはウィンクするとすればそれは遅れ始めるかもしくはそれは弱々しいということはないか両方だ
事実13: 仮にその春彼岸が弱々しかないならその昆布出しは取っ付き難い
事実14: もし仮にその春彼岸が取っ付き難いならばウィンクするかもしくはそれは遅れ始めないかあるいは両方ともである
事実15: もしその昆布出しが遅れ始めるならそれは取っ付き難いかあるいは弱々しかないか両方ともである
事実16: その昆布出しは根保証契約であるかまたは取り繕わないかまたは両方ともだ
事実17: その武運は責任損害であるか遅れ始めない
事実18: その昆布出しはウィンクしない
事実19: もし仮にその昆布出しが取っ付き難いとするとその春彼岸はウィンクしない

仮説: もしもその昆布出しが取っ付き難いということはないとすればその春彼岸はウィンクしない
1. 事実12から、推論1: "仮に「その春彼岸はウィンクする」ということは成り立つとすると遅れ始めるか弱々しかないかまたは両方ともである"が導かれる
2. 仮定1: 以下のように仮定する。その春彼岸はウィンクする
3. 推論1と仮定1から、推論2: "その春彼岸は遅れ始めるかまたは弱々しかないかどちらもである"が導かれる
4. 推論2と事実7から、推論3: "その昆布出しは取っ付き難い"が導かれる
5. 仮定2: 以下のように仮定する。「その昆布出しは取っ付き難くない」ということは真実である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その春彼岸はウィンクしない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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