あのジョブ管理は女っぽい
fact1: もし仮に何らかの物は入り浸るがしかしヘパリンロックであるということはないとしたら貢献出来る fact2: 「この片手間は霊気でない」ということは事実だとすれば「あのジョブ管理は女っぽいということはないし明るくない」ということは間違いだ fact3: このテレビ放映は終末期だ fact4: その此れ以前は女っぽい fact5: もしもその此れ以前が入り浸るとすればあの片手間は貢献出来る fact6: 仮にあのジョブ管理が明るいしその上それが女っぽいとするとあの蓼原湿原は霊気でない fact7: もし「この片手間は霊気でない」ということは間違いだということはないならばあのジョブ管理は霊気である fact8: もしも「何らかのものは限り無しけど寄る辺無いということはない」ということは事実であるということはないとすればそれは霊気であるということはない fact9: もし仮にあのジョブ管理が作り易いということはないならそれは霊気でない fact10: その家族周期は霊気である fact11: 限り無しということはないものは明るくてそれに女っぽい fact12: もし「なんらかのものは貢献出来る」ということは成り立つとしたら「それは限り無し一方で寄る辺無くない」ということは成り立たない fact13: あのジョブ管理が霊気であるかまたは明るくないとすればあのコミュニティセンターは明るくない fact14: その賃借権質は霊気でない fact15: もしその反乱分子が当時ならその此れ以前は当時だ fact16: もしあのジョブ管理が女っぽいとすると明るい fact17: あのジョブ管理は霊気でない fact18: もしとあるものが貢献出来るならそれは限り無しないしそれにそれは寄る辺無くない fact19: もしその此れ以前が当時ならばこの片手間は入り浸るけどヘパリンロックでない fact20: あのジョブ管理は信じ難くない fact21: 仮にあのジョブ管理は霊気でないなら明るいということはない fact22: もし仮に「なにかは女っぽくないしおまけに明るくない」ということは間違っているとすると「女っぽい」ということは真実である fact23: もしもこの片手間が貢献出来るとしたらあのジョブ管理は貢献出来る
void -> assump1: 以下のように仮定する。あのジョブ管理は女っぽい; fact16 & assump1 -> int1: あのジョブ管理は明るい; fact21 & fact17 -> int2: あのジョブ管理は明るくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact16 & assump1 -> int1: {B}{a}; fact21 & fact17 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あのコミュニティセンターは明るくない」ということは正しい
$facts$ = fact1: もし仮に何らかの物は入り浸るがしかしヘパリンロックであるということはないとしたら貢献出来る fact2: 「この片手間は霊気でない」ということは事実だとすれば「あのジョブ管理は女っぽいということはないし明るくない」ということは間違いだ fact3: このテレビ放映は終末期だ fact4: その此れ以前は女っぽい fact5: もしもその此れ以前が入り浸るとすればあの片手間は貢献出来る fact6: 仮にあのジョブ管理が明るいしその上それが女っぽいとするとあの蓼原湿原は霊気でない fact7: もし「この片手間は霊気でない」ということは間違いだということはないならばあのジョブ管理は霊気である fact8: もしも「何らかのものは限り無しけど寄る辺無いということはない」ということは事実であるということはないとすればそれは霊気であるということはない fact9: もし仮にあのジョブ管理が作り易いということはないならそれは霊気でない fact10: その家族周期は霊気である fact11: 限り無しということはないものは明るくてそれに女っぽい fact12: もし「なんらかのものは貢献出来る」ということは成り立つとしたら「それは限り無し一方で寄る辺無くない」ということは成り立たない fact13: あのジョブ管理が霊気であるかまたは明るくないとすればあのコミュニティセンターは明るくない fact14: その賃借権質は霊気でない fact15: もしその反乱分子が当時ならその此れ以前は当時だ fact16: もしあのジョブ管理が女っぽいとすると明るい fact17: あのジョブ管理は霊気でない fact18: もしとあるものが貢献出来るならそれは限り無しないしそれにそれは寄る辺無くない fact19: もしその此れ以前が当時ならばこの片手間は入り浸るけどヘパリンロックでない fact20: あのジョブ管理は信じ難くない fact21: 仮にあのジョブ管理は霊気でないなら明るいということはない fact22: もし仮に「なにかは女っぽくないしおまけに明るくない」ということは間違っているとすると「女っぽい」ということは真実である fact23: もしもこの片手間が貢献出来るとしたらあのジョブ管理は貢献出来る ; $hypothesis$ = あのジョブ管理は女っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのジョブ管理は女っぽい; fact16 & assump1 -> int1: あのジョブ管理は明るい; fact21 & fact17 -> int2: あのジョブ管理は明るくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は入り浸るがしかしヘパリンロックであるということはないとしたら貢献出来る
事実2: 「この片手間は霊気でない」ということは事実だとすれば「あのジョブ管理は女っぽいということはないし明るくない」ということは間違いだ
事実3: このテレビ放映は終末期だ
事実4: その此れ以前は女っぽい
事実5: もしもその此れ以前が入り浸るとすればあの片手間は貢献出来る
事実6: 仮にあのジョブ管理が明るいしその上それが女っぽいとするとあの蓼原湿原は霊気でない
事実7: もし「この片手間は霊気でない」ということは間違いだということはないならばあのジョブ管理は霊気である
事実8: もしも「何らかのものは限り無しけど寄る辺無いということはない」ということは事実であるということはないとすればそれは霊気であるということはない
事実9: もし仮にあのジョブ管理が作り易いということはないならそれは霊気でない
事実10: その家族周期は霊気である
事実11: 限り無しということはないものは明るくてそれに女っぽい
事実12: もし「なんらかのものは貢献出来る」ということは成り立つとしたら「それは限り無し一方で寄る辺無くない」ということは成り立たない
事実13: あのジョブ管理が霊気であるかまたは明るくないとすればあのコミュニティセンターは明るくない
事実14: その賃借権質は霊気でない
事実15: もしその反乱分子が当時ならその此れ以前は当時だ
事実16: もしあのジョブ管理が女っぽいとすると明るい
事実17: あのジョブ管理は霊気でない
事実18: もしとあるものが貢献出来るならそれは限り無しないしそれにそれは寄る辺無くない
事実19: もしその此れ以前が当時ならばこの片手間は入り浸るけどヘパリンロックでない
事実20: あのジョブ管理は信じ難くない
事実21: 仮にあのジョブ管理は霊気でないなら明るいということはない
事実22: もし仮に「なにかは女っぽくないしおまけに明るくない」ということは間違っているとすると「女っぽい」ということは真実である
事実23: もしもこの片手間が貢献出来るとしたらあのジョブ管理は貢献出来る

仮説: あのジョブ管理は女っぽい
1. 仮定1: 以下のように仮定する。あのジョブ管理は女っぽい
2. 事実16と仮定1から、推論1: "あのジョブ管理は明るい"が導かれる
3. 事実21と事実17から、推論2: "あのジョブ管理は明るくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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