「もし仮にその段落書式は片付けないとすると「このＴＩ時点は頸肩腕症候群でないかあるいは空振りするかあるいは両方である」ということは成り立たない」ということは成り立たない
fact1: このＴＩ時点は頸肩腕症候群でない fact2: 「このＴＩ時点は頸肩腕症候群であるかもしくは空振りするかまたはどちらもである」ということは間違っている fact3: 仮にこのＴＩ時点は殿堂法式であるとすると「その段落書式は片付けないかあるいはそれは空振りするかまたは両方だ」ということは成り立たない fact4: もし「「殿堂法式だけれど片付けない」ということは成り立たない」物があるならあの定性要因は殿堂法式でない fact5: あの保護色はＫ＋Ｎであるかまたは春らしい fact6: 「もし仮にその段落書式は頸肩腕症候群でないとしたら「このＴＩ時点は片付けるということはない」ということは本当だ」ということは真実である fact7: もし仮にこのＴＩ時点が片付けないかもしくは殿堂法式であるかあるいは両方であるならその段落書式は頸肩腕症候群でない fact8: その段落書式は殿堂法式である fact9: その各所属長は片付ける fact10: このＴＩ時点は空振りしないか殿堂法式であるかあるいはどちらもである fact11: 仮にその段落書式が空振りしないとするとこのＴＩ時点は片付けない fact12: その段落書式が黴びないかもしくはそれは空振りするかまたはどちらもだ fact13: もしその段落書式が片付けないとすればこのＴＩ時点は空振りしない fact14: 仮にこのＴＩ時点が片付けないならその段落書式は空振りしない fact15: 仮にこのＴＩ時点は空振りするとしたら「その段落書式は頸肩腕症候群であるということはないかまたは片付ける」ということは誤っている fact16: もしも「その各所属長は殿堂法式でない」ということは本当であるとすればその段落書式は殿堂法式であるししかも片付ける fact17: このＴＩ時点は頸肩腕症候群でないかまたはそれは片付けるかまたは両方だ fact18: もしもこのＴＩ時点が頸肩腕症候群でないかまたは空振りするかもしくは両方ともだとするとその各所属長は殿堂法式でない fact19: この愛玩は殿堂法式でない fact20: その各所属長は退色する fact21: もしこのＴＩ時点が片付けないとしたらその段落書式は片付ける
void -> assump1: 以下のように仮定する。このＴＩ時点は頸肩腕症候群でないかそれは空振りするかあるいは両方ともである; fact18 & assump1 -> int1: その各所属長は殿堂法式でない; int1 & fact16 -> int2: その段落書式は殿堂法式であるしそれに片付ける; int2 -> 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: この愛玩は殿堂法式でない fact20: その各所属長は退色する fact21: もしこのＴＩ時点が片付けないとしたらその段落書式は片付ける ; $hypothesis$ = 「もし仮にその段落書式は片付けないとすると「このＴＩ時点は頸肩腕症候群でないかあるいは空振りするかあるいは両方である」ということは成り立たない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＴＩ時点は頸肩腕症候群でないかそれは空振りするかあるいは両方ともである; fact18 & assump1 -> int1: その各所属長は殿堂法式でない; int1 & fact16 -> int2: その段落書式は殿堂法式であるしそれに片付ける; int2 -> int3: その段落書式は片付ける; void -> assump2: 以下のように仮定する。「その段落書式は片付けない」ということは事実である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このＴＩ時点は頸肩腕症候群でないか空振りするかまたは両方ともだ」ということは成り立たない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: このＴＩ時点は頸肩腕症候群でない
事実2: 「このＴＩ時点は頸肩腕症候群であるかもしくは空振りするかまたはどちらもである」ということは間違っている
事実3: 仮にこのＴＩ時点は殿堂法式であるとすると「その段落書式は片付けないかあるいはそれは空振りするかまたは両方だ」ということは成り立たない
事実4: もし「「殿堂法式だけれど片付けない」ということは成り立たない」物があるならあの定性要因は殿堂法式でない
事実5: あの保護色はＫ＋Ｎであるかまたは春らしい
事実6: 「もし仮にその段落書式は頸肩腕症候群でないとしたら「このＴＩ時点は片付けるということはない」ということは本当だ」ということは真実である
事実7: もし仮にこのＴＩ時点が片付けないかもしくは殿堂法式であるかあるいは両方であるならその段落書式は頸肩腕症候群でない
事実8: その段落書式は殿堂法式である
事実9: その各所属長は片付ける
事実10: このＴＩ時点は空振りしないか殿堂法式であるかあるいはどちらもである
事実11: 仮にその段落書式が空振りしないとするとこのＴＩ時点は片付けない
事実12: その段落書式が黴びないかもしくはそれは空振りするかまたはどちらもだ
事実13: もしその段落書式が片付けないとすればこのＴＩ時点は空振りしない
事実14: 仮にこのＴＩ時点が片付けないならその段落書式は空振りしない
事実15: 仮にこのＴＩ時点は空振りするとしたら「その段落書式は頸肩腕症候群であるということはないかまたは片付ける」ということは誤っている
事実16: もしも「その各所属長は殿堂法式でない」ということは本当であるとすればその段落書式は殿堂法式であるししかも片付ける
事実17: このＴＩ時点は頸肩腕症候群でないかまたはそれは片付けるかまたは両方だ
事実18: もしもこのＴＩ時点が頸肩腕症候群でないかまたは空振りするかもしくは両方ともだとするとその各所属長は殿堂法式でない
事実19: この愛玩は殿堂法式でない
事実20: その各所属長は退色する
事実21: もしこのＴＩ時点が片付けないとしたらその段落書式は片付ける

仮説: 「もし仮にその段落書式は片付けないとすると「このＴＩ時点は頸肩腕症候群でないかあるいは空振りするかあるいは両方である」ということは成り立たない」ということは成り立たない
1. 仮定1: 以下のように仮定する。このＴＩ時点は頸肩腕症候群でないかそれは空振りするかあるいは両方ともである
2. 事実18と仮定1から、推論1: "その各所属長は殿堂法式でない"が導かれる
3. 推論1と事実16から、推論2: "その段落書式は殿堂法式であるしそれに片付ける"が導かれる
4. 推論2から、推論3: "その段落書式は片付ける"が導かれる
5. 仮定2: 以下のように仮定する。「その段落書式は片付けない」ということは事実である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「このＴＩ時点は頸肩腕症候群でないか空振りするかまたは両方ともだ」ということは成り立たない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

よって、仮説が否定されました。