その隊員は泣き疲れない
fact1: もし仮にこの看護師が早起き出来るとしたらあの両目視差はしても良い fact2: 仮にあの該当欄が考え辛いということはないならばあの高温期は目鼻立ちである fact3: ちっこくないものは成仏するかもしくは鉄鎖であるかあるいはどちらもだ fact4: 「この看護師は厄介者扱いであるしそれは目鼻立ちだ」ということは確かであるということはない fact5: あの探究心はちっこくない fact6: もし仮に何かはしても良いならば「それは損なうしまたそれは言い難くない」ということは嘘である fact7: もしもなんらかのものが早起き出来るということはないならそれはしても良くないしそれに泣き疲れるということはない fact8: 仮にあの高温期が目鼻立ちであるとすればその隊員は泣き疲れる fact9: この看護師は追加投与しない一方で厄介者扱いだ fact10: もし仮にその隊員は泣き疲れるとすると「それは厄介者扱いであるけれどしても良くない」ということは嘘だ fact11: もしも「あの両目視差は損なうが言い難くない」ということは本当でないならあの該当欄は考え辛くない fact12: もし「あの探究心は成仏する」ということは真実であるならあの高温期はＴＸＴでない fact13: もし仮にあの該当欄は言い難くないとすれば「あの両目視差は損なうが早起き出来ない」ということは偽である fact14: なにがしかのものはＴＸＴでないならば「それは目鼻立ちでないかまたは考え辛いか両方ともである」ということは成り立つということはない fact15: もしもこの看護師は追加投与しないが厄介者扱いだとするとそれは早起き出来る fact16: この看護師がしても良くないしまた泣き疲れないならその隊員は泣き疲れない
fact15 & fact9 -> int1: この看護師は早起き出来る; int1 & fact1 -> int2: あの両目視差はしても良い; fact6 -> int3: もしもあの両目視差はしても良いとすると「それが損なうしその上それは言い難くない」ということは事実と異なる; int2 & int3 -> int4: 「あの両目視差は損なう一方で言い難くない」ということは成り立たない; int4 & fact11 -> int5: あの該当欄は考え辛くない; int5 & fact2 -> int6: あの高温期は目鼻立ちである; int6 & fact8 -> hypothesis;
その隊員は泣き疲れない
fact17 -> int7: この看護師が早起き出来るということはないとするとそれはしても良くないしその上泣き疲れない; fact19 -> int8: もしあの高温期はＴＸＴでないとしたら「目鼻立ちでないか考え辛いかあるいはどちらもだ」ということは誤りである; fact23 -> int9: もしも「あの探究心はちっこくない」ということは本当ならそれは成仏するかまたは鉄鎖であるかまたは両方ともである; int9 & fact18 -> int10: 「あの探究心は成仏するかもしくはそれは鉄鎖だ」ということは確かである;
$facts$ = fact1: もし仮にこの看護師が早起き出来るとしたらあの両目視差はしても良い fact2: 仮にあの該当欄が考え辛いということはないならばあの高温期は目鼻立ちである fact3: ちっこくないものは成仏するかもしくは鉄鎖であるかあるいはどちらもだ fact4: 「この看護師は厄介者扱いであるしそれは目鼻立ちだ」ということは確かであるということはない fact5: あの探究心はちっこくない fact6: もし仮に何かはしても良いならば「それは損なうしまたそれは言い難くない」ということは嘘である fact7: もしもなんらかのものが早起き出来るということはないならそれはしても良くないしそれに泣き疲れるということはない fact8: 仮にあの高温期が目鼻立ちであるとすればその隊員は泣き疲れる fact9: この看護師は追加投与しない一方で厄介者扱いだ fact10: もし仮にその隊員は泣き疲れるとすると「それは厄介者扱いであるけれどしても良くない」ということは嘘だ fact11: もしも「あの両目視差は損なうが言い難くない」ということは本当でないならあの該当欄は考え辛くない fact12: もし「あの探究心は成仏する」ということは真実であるならあの高温期はＴＸＴでない fact13: もし仮にあの該当欄は言い難くないとすれば「あの両目視差は損なうが早起き出来ない」ということは偽である fact14: なにがしかのものはＴＸＴでないならば「それは目鼻立ちでないかまたは考え辛いか両方ともである」ということは成り立つということはない fact15: もしもこの看護師は追加投与しないが厄介者扱いだとするとそれは早起き出来る fact16: この看護師がしても良くないしまた泣き疲れないならその隊員は泣き疲れない ; $hypothesis$ = その隊員は泣き疲れない ; $proof$ = 
fact15 & fact9 -> int1: この看護師は早起き出来る; int1 & fact1 -> int2: あの両目視差はしても良い; fact6 -> int3: もしもあの両目視差はしても良いとすると「それが損なうしその上それは言い難くない」ということは事実と異なる; int2 & int3 -> int4: 「あの両目視差は損なう一方で言い難くない」ということは成り立たない; int4 & fact11 -> int5: あの該当欄は考え辛くない; int5 & fact2 -> int6: あの高温期は目鼻立ちである; int6 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの看護師が早起き出来るとしたらあの両目視差はしても良い
事実2: 仮にあの該当欄が考え辛いということはないならばあの高温期は目鼻立ちである
事実3: ちっこくないものは成仏するかもしくは鉄鎖であるかあるいはどちらもだ
事実4: 「この看護師は厄介者扱いであるしそれは目鼻立ちだ」ということは確かであるということはない
事実5: あの探究心はちっこくない
事実6: もし仮に何かはしても良いならば「それは損なうしまたそれは言い難くない」ということは嘘である
事実7: もしもなんらかのものが早起き出来るということはないならそれはしても良くないしそれに泣き疲れるということはない
事実8: 仮にあの高温期が目鼻立ちであるとすればその隊員は泣き疲れる
事実9: この看護師は追加投与しない一方で厄介者扱いだ
事実10: もし仮にその隊員は泣き疲れるとすると「それは厄介者扱いであるけれどしても良くない」ということは嘘だ
事実11: もしも「あの両目視差は損なうが言い難くない」ということは本当でないならあの該当欄は考え辛くない
事実12: もし「あの探究心は成仏する」ということは真実であるならあの高温期はＴＸＴでない
事実13: もし仮にあの該当欄は言い難くないとすれば「あの両目視差は損なうが早起き出来ない」ということは偽である
事実14: なにがしかのものはＴＸＴでないならば「それは目鼻立ちでないかまたは考え辛いか両方ともである」ということは成り立つということはない
事実15: もしもこの看護師は追加投与しないが厄介者扱いだとするとそれは早起き出来る
事実16: この看護師がしても良くないしまた泣き疲れないならその隊員は泣き疲れない

仮説: その隊員は泣き疲れない
1. 事実15と事実9から、推論1: "この看護師は早起き出来る"が導かれる
2. 推論1と事実1から、推論2: "あの両目視差はしても良い"が導かれる
3. 事実6から、推論3: "もしもあの両目視差はしても良いとすると「それが損なうしその上それは言い難くない」ということは事実と異なる"が導かれる
4. 推論2と推論3から、推論4: "「あの両目視差は損なう一方で言い難くない」ということは成り立たない"が導かれる
5. 推論4と事実11から、推論5: "あの該当欄は考え辛くない"が導かれる
6. 推論5と事実2から、推論6: "あの高温期は目鼻立ちである"が導かれる
7. 推論6と事実8から、仮説が否定される

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