もし仮にその大局観が守れるならこのスポーツイベントは南国リゾートだ
fact1: とあるものは守れる fact2: 何らかの物は守れるかもしくは紛らわしいなら「このスポーツイベントは南国リゾートだ」ということは正しい fact3: このスポーツイベントは南国リゾートであるかもしくは守れるかもしくはどちらもである fact4: もしもその大局観が南国リゾートであるということはないならばこのスポーツイベントは守れるしかつ紛らわしい fact5: もしも何らかの物が紛らわしいならこのスポーツイベントは南国リゾートである fact6: この文化活動は守れる fact7: このスポーツイベントは見抜けるかもしくは南国リゾートであるかまたは両方ともである
void -> assump1: 以下のように仮定する。その大局観は守れる; assump1 -> int1: その大局観は守れるかまたは紛らわしいかあるいは両方ともである; int1 -> int2: 「守れるか紛らわしいかもしくは両方な」ものはある; int2 & fact2 -> int3: このスポーツイベントは南国リゾートである; [assump1] & int3 -> hypothesis;
このスポーツイベントは守れる
$facts$ = fact1: とあるものは守れる fact2: 何らかの物は守れるかもしくは紛らわしいなら「このスポーツイベントは南国リゾートだ」ということは正しい fact3: このスポーツイベントは南国リゾートであるかもしくは守れるかもしくはどちらもである fact4: もしもその大局観が南国リゾートであるということはないならばこのスポーツイベントは守れるしかつ紛らわしい fact5: もしも何らかの物が紛らわしいならこのスポーツイベントは南国リゾートである fact6: この文化活動は守れる fact7: このスポーツイベントは見抜けるかもしくは南国リゾートであるかまたは両方ともである ; $hypothesis$ = もし仮にその大局観が守れるならこのスポーツイベントは南国リゾートだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その大局観は守れる; assump1 -> int1: その大局観は守れるかまたは紛らわしいかあるいは両方ともである; int1 -> int2: 「守れるか紛らわしいかもしくは両方な」ものはある; int2 & fact2 -> int3: このスポーツイベントは南国リゾートである; [assump1] & int3 -> hypothesis; __PROVED__
事実1: とあるものは守れる
事実2: 何らかの物は守れるかもしくは紛らわしいなら「このスポーツイベントは南国リゾートだ」ということは正しい
事実3: このスポーツイベントは南国リゾートであるかもしくは守れるかもしくはどちらもである
事実4: もしもその大局観が南国リゾートであるということはないならばこのスポーツイベントは守れるしかつ紛らわしい
事実5: もしも何らかの物が紛らわしいならこのスポーツイベントは南国リゾートである
事実6: この文化活動は守れる
事実7: このスポーツイベントは見抜けるかもしくは南国リゾートであるかまたは両方ともである

仮説: もし仮にその大局観が守れるならこのスポーツイベントは南国リゾートだ
1. 仮定1: 以下のように仮定する。その大局観は守れる
2. 仮定1から、推論1: "その大局観は守れるかまたは紛らわしいかあるいは両方ともである"が導かれる
3. 推論1から、推論2: "「守れるか紛らわしいかもしくは両方な」ものはある"が導かれる
4. 推論2と事実2から、推論3: "このスポーツイベントは南国リゾートである"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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