この歩哨はちぎれ易くないけれどしぶとい
fact1: もしその内襞が複数存在するとすると貸し出し先でない fact2: 「「ジャスティスであるが貸し出し先でない」ということは成り立たない」物はある fact3: もし仮にこの歩哨がちぎれ易いとすればこの屋久島野外活動総合センターは動き難い fact4: このビデオ・ジャーナリズムは微小転移でない一方でそれは問い続ける fact5: 「この屋久島野外活動総合センターは咲き出さない」ということは成り立つ fact6: あるものはジャスティスでなくて貸し出し先でない fact7: 仮に「この屋久島野外活動総合センターはちぎれ易くないけれどしぶとい」ということは間違いならばこの歩哨は動き難い fact8: この歩哨はちぎれ易いということはないがしかし動き難い fact9: 仮に「「ジャスティスでないししかも貸し出し先でない」ということは成り立たない」ものがあるとしたらこの屋久島野外活動総合センターは動き難くない fact10: 「この屋久島野外活動総合センターはちぎれ易くないけど動き難い」ということは偽だ fact11: 「「ジャスティスでなくて貸し出し先でない」ということは成り立たない」ものはある fact12: あのブースターは動き難くないがしかし松茸である fact13: 「「動き難いということはないししかもちぎれ易くない」ということは成り立たない」物はある fact14: もしもあのブースターが動き難くないならこの屋久島野外活動総合センターはジャスティスでない fact15: 「この歩哨はちぎれ易くないがしぶとい」ということは成り立たないとするとこの屋久島野外活動総合センターは動き難い fact16: 「「ジャスティスでないし貸し出し先である」ということは成り立たない」ものはある fact17: この歩哨はちぎれ易くない fact18: もし仮に「ジャスティスである」物があるとしたらこの屋久島野外活動総合センターは動き難くない fact19: 「この歩哨はちぎれ易いししぶとい」ということは成り立たない
void -> assump1: 以下のように仮定する。「この歩哨はちぎれ易いということはないがしぶとい」ということは間違いである; fact15 & assump1 -> int1: この屋久島野外活動総合センターは動き難い; fact11 & fact9 -> int2: この屋久島野外活動総合センターは動き難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この歩哨はちぎれ易くない一方でしぶとい」ということは成り立たない
$facts$ = fact1: もしその内襞が複数存在するとすると貸し出し先でない fact2: 「「ジャスティスであるが貸し出し先でない」ということは成り立たない」物はある fact3: もし仮にこの歩哨がちぎれ易いとすればこの屋久島野外活動総合センターは動き難い fact4: このビデオ・ジャーナリズムは微小転移でない一方でそれは問い続ける fact5: 「この屋久島野外活動総合センターは咲き出さない」ということは成り立つ fact6: あるものはジャスティスでなくて貸し出し先でない fact7: 仮に「この屋久島野外活動総合センターはちぎれ易くないけれどしぶとい」ということは間違いならばこの歩哨は動き難い fact8: この歩哨はちぎれ易いということはないがしかし動き難い fact9: 仮に「「ジャスティスでないししかも貸し出し先でない」ということは成り立たない」ものがあるとしたらこの屋久島野外活動総合センターは動き難くない fact10: 「この屋久島野外活動総合センターはちぎれ易くないけど動き難い」ということは偽だ fact11: 「「ジャスティスでなくて貸し出し先でない」ということは成り立たない」ものはある fact12: あのブースターは動き難くないがしかし松茸である fact13: 「「動き難いということはないししかもちぎれ易くない」ということは成り立たない」物はある fact14: もしもあのブースターが動き難くないならこの屋久島野外活動総合センターはジャスティスでない fact15: 「この歩哨はちぎれ易くないがしぶとい」ということは成り立たないとするとこの屋久島野外活動総合センターは動き難い fact16: 「「ジャスティスでないし貸し出し先である」ということは成り立たない」ものはある fact17: この歩哨はちぎれ易くない fact18: もし仮に「ジャスティスである」物があるとしたらこの屋久島野外活動総合センターは動き難くない fact19: 「この歩哨はちぎれ易いししぶとい」ということは成り立たない ; $hypothesis$ = この歩哨はちぎれ易くないけれどしぶとい ; $proof$ = 
void -> assump1: 以下のように仮定する。「この歩哨はちぎれ易いということはないがしぶとい」ということは間違いである; fact15 & assump1 -> int1: この屋久島野外活動総合センターは動き難い; fact11 & fact9 -> int2: この屋久島野外活動総合センターは動き難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその内襞が複数存在するとすると貸し出し先でない
事実2: 「「ジャスティスであるが貸し出し先でない」ということは成り立たない」物はある
事実3: もし仮にこの歩哨がちぎれ易いとすればこの屋久島野外活動総合センターは動き難い
事実4: このビデオ・ジャーナリズムは微小転移でない一方でそれは問い続ける
事実5: 「この屋久島野外活動総合センターは咲き出さない」ということは成り立つ
事実6: あるものはジャスティスでなくて貸し出し先でない
事実7: 仮に「この屋久島野外活動総合センターはちぎれ易くないけれどしぶとい」ということは間違いならばこの歩哨は動き難い
事実8: この歩哨はちぎれ易いということはないがしかし動き難い
事実9: 仮に「「ジャスティスでないししかも貸し出し先でない」ということは成り立たない」ものがあるとしたらこの屋久島野外活動総合センターは動き難くない
事実10: 「この屋久島野外活動総合センターはちぎれ易くないけど動き難い」ということは偽だ
事実11: 「「ジャスティスでなくて貸し出し先でない」ということは成り立たない」ものはある
事実12: あのブースターは動き難くないがしかし松茸である
事実13: 「「動き難いということはないししかもちぎれ易くない」ということは成り立たない」物はある
事実14: もしもあのブースターが動き難くないならこの屋久島野外活動総合センターはジャスティスでない
事実15: 「この歩哨はちぎれ易くないがしぶとい」ということは成り立たないとするとこの屋久島野外活動総合センターは動き難い
事実16: 「「ジャスティスでないし貸し出し先である」ということは成り立たない」ものはある
事実17: この歩哨はちぎれ易くない
事実18: もし仮に「ジャスティスである」物があるとしたらこの屋久島野外活動総合センターは動き難くない
事実19: 「この歩哨はちぎれ易いししぶとい」ということは成り立たない

仮説: この歩哨はちぎれ易くないけれどしぶとい
1. 仮定1: 以下のように仮定する。「この歩哨はちぎれ易いということはないがしぶとい」ということは間違いである
2. 事実15と仮定1から、推論1: "この屋久島野外活動総合センターは動き難い"が導かれる
3. 事実11と事実9から、推論2: "この屋久島野外活動総合センターは動き難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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