あの必要的要件は貶むが気温上昇でない
fact1: 仮にその九日民集が中年層だとすればこの正経は標示だ fact2: この正経は麗し fact3: この正経は中年層でない fact4: あのなりさんは気温上昇だ fact5: この正経は標示でない fact6: もしもあのなりさんが同行するとするとその九日民集は熱水消毒だ fact7: 「あの必要的要件は貶むしまたそれは気温上昇だ」ということは成り立たない fact8: もし仮にとある物が熱水消毒なら中年層だ fact9: この正経は見切れる fact10: 仮にあの必要的要件は見切れるということはないならば「「それは貶むし気温上昇だ」ということは成り立つ」ということは嘘である fact11: もしもなんらかの物は見切れるということはないならば「貶むが気温上昇でない」ということは間違っている fact12: もしこの正経が中年層であるならばその九日民集は標示だ fact13: 仮にこの正経が貶むとすればあの必要的要件は見切れる fact14: それは熱水消毒でなくてかつ同行するということはないというものはない fact15: 仮にあの必要的要件は見切れるということはないなら「中年層だが熱水消毒だということはない」ということは事実と異なる fact16: もし仮にあの必要的要件が見切れるならあのなりさんは同行する fact17: その九日民集は見切れない fact18: もし仮に「あの必要的要件は同行する」ということは真実であるとするとあのなりさんは見切れる fact19: 「もしもある物は見切れないならば「貶むしまた気温上昇だ」ということは偽である」ということは間違いだということはない fact20: 仮にあのなりさんが見切れるとしたらあの必要的要件は貶む一方で気温上昇だということはない
void -> assump1: 以下のように仮定する。あの必要的要件は見切れる; fact16 & assump1 -> int1: 「あのなりさんは同行する」ということは真実である; int1 & fact6 -> int2: その九日民集は熱水消毒である; fact8 -> int3: もしもその九日民集が熱水消毒なら中年層だ; int2 & int3 -> int4: 「その九日民集は中年層だ」ということは事実だ; int4 & fact1 -> int5: この正経は標示である; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの必要的要件は見切れない」ということは真実である; fact11 -> int8: もしもあの必要的要件は見切れないとすると「それは貶む一方で気温上昇でない」ということは成り立たない; int7 & int8 -> hypothesis;
あの必要的要件は貶むけどそれは気温上昇でない
$facts$ = fact1: 仮にその九日民集が中年層だとすればこの正経は標示だ fact2: この正経は麗し fact3: この正経は中年層でない fact4: あのなりさんは気温上昇だ fact5: この正経は標示でない fact6: もしもあのなりさんが同行するとするとその九日民集は熱水消毒だ fact7: 「あの必要的要件は貶むしまたそれは気温上昇だ」ということは成り立たない fact8: もし仮にとある物が熱水消毒なら中年層だ fact9: この正経は見切れる fact10: 仮にあの必要的要件は見切れるということはないならば「「それは貶むし気温上昇だ」ということは成り立つ」ということは嘘である fact11: もしもなんらかの物は見切れるということはないならば「貶むが気温上昇でない」ということは間違っている fact12: もしこの正経が中年層であるならばその九日民集は標示だ fact13: 仮にこの正経が貶むとすればあの必要的要件は見切れる fact14: それは熱水消毒でなくてかつ同行するということはないというものはない fact15: 仮にあの必要的要件は見切れるということはないなら「中年層だが熱水消毒だということはない」ということは事実と異なる fact16: もし仮にあの必要的要件が見切れるならあのなりさんは同行する fact17: その九日民集は見切れない fact18: もし仮に「あの必要的要件は同行する」ということは真実であるとするとあのなりさんは見切れる fact19: 「もしもある物は見切れないならば「貶むしまた気温上昇だ」ということは偽である」ということは間違いだということはない fact20: 仮にあのなりさんが見切れるとしたらあの必要的要件は貶む一方で気温上昇だということはない ; $hypothesis$ = あの必要的要件は貶むが気温上昇でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの必要的要件は見切れる; fact16 & assump1 -> int1: 「あのなりさんは同行する」ということは真実である; int1 & fact6 -> int2: その九日民集は熱水消毒である; fact8 -> int3: もしもその九日民集が熱水消毒なら中年層だ; int2 & int3 -> int4: 「その九日民集は中年層だ」ということは事実だ; int4 & fact1 -> int5: この正経は標示である; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの必要的要件は見切れない」ということは真実である; fact11 -> int8: もしもあの必要的要件は見切れないとすると「それは貶む一方で気温上昇でない」ということは成り立たない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮にその九日民集が中年層だとすればこの正経は標示だ
事実2: この正経は麗し
事実3: この正経は中年層でない
事実4: あのなりさんは気温上昇だ
事実5: この正経は標示でない
事実6: もしもあのなりさんが同行するとするとその九日民集は熱水消毒だ
事実7: 「あの必要的要件は貶むしまたそれは気温上昇だ」ということは成り立たない
事実8: もし仮にとある物が熱水消毒なら中年層だ
事実9: この正経は見切れる
事実10: 仮にあの必要的要件は見切れるということはないならば「「それは貶むし気温上昇だ」ということは成り立つ」ということは嘘である
事実11: もしもなんらかの物は見切れるということはないならば「貶むが気温上昇でない」ということは間違っている
事実12: もしこの正経が中年層であるならばその九日民集は標示だ
事実13: 仮にこの正経が貶むとすればあの必要的要件は見切れる
事実14: それは熱水消毒でなくてかつ同行するということはないというものはない
事実15: 仮にあの必要的要件は見切れるということはないなら「中年層だが熱水消毒だということはない」ということは事実と異なる
事実16: もし仮にあの必要的要件が見切れるならあのなりさんは同行する
事実17: その九日民集は見切れない
事実18: もし仮に「あの必要的要件は同行する」ということは真実であるとするとあのなりさんは見切れる
事実19: 「もしもある物は見切れないならば「貶むしまた気温上昇だ」ということは偽である」ということは間違いだということはない
事実20: 仮にあのなりさんが見切れるとしたらあの必要的要件は貶む一方で気温上昇だということはない

仮説: あの必要的要件は貶むが気温上昇でない
1. 仮定1: 以下のように仮定する。あの必要的要件は見切れる
2. 事実16と仮定1から、推論1: "「あのなりさんは同行する」ということは真実である"が導かれる
3. 推論1と事実6から、推論2: "その九日民集は熱水消毒である"が導かれる
4. 事実8から、推論3: "もしもその九日民集が熱水消毒なら中年層だ"が導かれる
5. 推論2と推論3から、推論4: "「その九日民集は中年層だ」ということは事実だ"が導かれる
6. 推論4と事実1から、推論5: "この正経は標示である"が導かれる
7. 推論5と事実5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの必要的要件は見切れない」ということは真実である"が導かれる
9. 事実11から、推論8: "もしもあの必要的要件は見切れないとすると「それは貶む一方で気温上昇でない」ということは成り立たない"が導かれる
10. 推論7と推論8から、仮説が否定される

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