「この脳外科医は脇差であるけれどそれはか細くない」ということは嘘だ
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: 以下のように仮定する。あの授業日数は評す; assump1 & fact4 -> int1: あの授業日数は評すしそれは溶け易い; int1 -> int2: なにかは評すしまたそれは溶け易い; int2 & fact21 -> int3: あの内灘試射場反対は自己破産する; int3 & fact17 -> int4: 「このホルモン補充療法は農園主だ」ということは事実である; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの授業日数は評さない; int6 & fact20 -> int7: あの授業日数は合併し易くない; int7 & fact8 -> hypothesis;
この脳外科医は合併し易い
fact24 -> int8: もし仮に「この脳外科医は評す」ということは成り立つとしたらそれは合併し易い;
$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: 以下のように仮定する。あの授業日数は評す; assump1 & fact4 -> int1: あの授業日数は評すしそれは溶け易い; int1 -> int2: なにかは評すしまたそれは溶け易い; int2 & fact21 -> int3: あの内灘試射場反対は自己破産する; int3 & fact17 -> int4: 「このホルモン補充療法は農園主だ」ということは事実である; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの授業日数は評さない; int6 & fact20 -> int7: あの授業日数は合併し易くない; int7 & fact8 -> 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. 仮定1と事実4から、推論1: "あの授業日数は評すしそれは溶け易い"が導かれる
3. 推論1から、推論2: "なにかは評すしまたそれは溶け易い"が導かれる
4. 推論2と事実21から、推論3: "あの内灘試射場反対は自己破産する"が導かれる
5. 推論3と事実17から、推論4: "「このホルモン補充療法は農園主だ」ということは事実である"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの授業日数は評さない"が導かれる
8. 推論6と事実20から、推論7: "あの授業日数は合併し易くない"が導かれる
9. 推論7と事実8から、仮説が否定される

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