この四十四人は糖尿病性網膜症だ
fact1: 「仮にその細胞内局在が社会福祉であるということはないならばこの乙姫様は御詳しくないかあるいは仕うない」ということは事実である fact2: もしも「この乙姫様は歩き易くない」ということは成り立つならこの四十四人はずらせないか御詳しいということはないか両方である fact3: 「仮にこの西洋以外はＧＩレでないとすれば「その細胞内局在は社会福祉でない」ということは正しい」ということは成り立つ fact4: もしその細胞内局在が歩き易くないならばそれは社会福祉でない fact5: この四十四人は正しくないかもしくは冗談っぽいということはないかまたはどちらもだ fact6: この乙姫様が御詳しくないかもしくは仕うないかまたは両方ともであるならこの四十四人は自戒するということはない fact7: 仮にこの乙姫様が仕うないとすればこの四十四人は自戒しない fact8: もしその細胞内局在は社会福祉であるということはないならば「この乙姫様は御詳しくないかもしくは仕うかあるいは両方だ」ということは確かだ fact9: この四十四人は仕うない fact10: もしこの西洋以外は自戒するとしたら「御詳しい」ということは成り立つ fact11: この西洋以外は社会福祉でない fact12: もしこの四十四人がずらせないならそれは糖尿病性網膜症でない fact13: この四十四人は社会福祉でない一方で糖尿病性網膜症ならば御詳しいということはない fact14: もし仮にその細胞内局在は自戒するとすれば「この西洋以外は自戒する」ということは成り立つ fact15: もしこの四十四人は自戒しないけど歩き易いなら「ずらせない」ということは正しい fact16: この西洋以外はＧＩレであるということはない fact17: この乙姫様は御詳しくないかもしくは仕うかどちらもである fact18: 仮にこの西洋以外がずらせないがしかしＧＩレだとしたら歩き易くない fact19: この西洋以外は御詳しくない fact20: この四十四人は歩き易い fact21: その細胞内局在は自戒するかあるいは歩き易い
fact3 & fact16 -> int1: その細胞内局在は社会福祉でない; int1 & fact1 -> int2: この乙姫様は御詳しくないか仕うということはないかどちらもである; int2 & fact6 -> int3: この四十四人は自戒しない; int3 & fact20 -> int4: この四十四人は自戒しないけれど歩き易い; int4 & fact15 -> int5: この四十四人はずらせるということはない; int5 & fact12 -> 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$ = 
fact3 & fact16 -> int1: その細胞内局在は社会福祉でない; int1 & fact1 -> int2: この乙姫様は御詳しくないか仕うということはないかどちらもである; int2 & fact6 -> int3: この四十四人は自戒しない; int3 & fact20 -> int4: この四十四人は自戒しないけれど歩き易い; int4 & fact15 -> int5: この四十四人はずらせるということはない; int5 & fact12 -> hypothesis; __DISPROVED__
事実1: 「仮にその細胞内局在が社会福祉であるということはないならばこの乙姫様は御詳しくないかあるいは仕うない」ということは事実である
事実2: もしも「この乙姫様は歩き易くない」ということは成り立つならこの四十四人はずらせないか御詳しいということはないか両方である
事実3: 「仮にこの西洋以外はＧＩレでないとすれば「その細胞内局在は社会福祉でない」ということは正しい」ということは成り立つ
事実4: もしその細胞内局在が歩き易くないならばそれは社会福祉でない
事実5: この四十四人は正しくないかもしくは冗談っぽいということはないかまたはどちらもだ
事実6: この乙姫様が御詳しくないかもしくは仕うないかまたは両方ともであるならこの四十四人は自戒するということはない
事実7: 仮にこの乙姫様が仕うないとすればこの四十四人は自戒しない
事実8: もしその細胞内局在は社会福祉であるということはないならば「この乙姫様は御詳しくないかもしくは仕うかあるいは両方だ」ということは確かだ
事実9: この四十四人は仕うない
事実10: もしこの西洋以外は自戒するとしたら「御詳しい」ということは成り立つ
事実11: この西洋以外は社会福祉でない
事実12: もしこの四十四人がずらせないならそれは糖尿病性網膜症でない
事実13: この四十四人は社会福祉でない一方で糖尿病性網膜症ならば御詳しいということはない
事実14: もし仮にその細胞内局在は自戒するとすれば「この西洋以外は自戒する」ということは成り立つ
事実15: もしこの四十四人は自戒しないけど歩き易いなら「ずらせない」ということは正しい
事実16: この西洋以外はＧＩレであるということはない
事実17: この乙姫様は御詳しくないかもしくは仕うかどちらもである
事実18: 仮にこの西洋以外がずらせないがしかしＧＩレだとしたら歩き易くない
事実19: この西洋以外は御詳しくない
事実20: この四十四人は歩き易い
事実21: その細胞内局在は自戒するかあるいは歩き易い

仮説: この四十四人は糖尿病性網膜症だ
1. 事実3と事実16から、推論1: "その細胞内局在は社会福祉でない"が導かれる
2. 推論1と事実1から、推論2: "この乙姫様は御詳しくないか仕うということはないかどちらもである"が導かれる
3. 推論2と事実6から、推論3: "この四十四人は自戒しない"が導かれる
4. 推論3と事実20から、推論4: "この四十四人は自戒しないけれど歩き易い"が導かれる
5. 推論4と事実15から、推論5: "この四十四人はずらせるということはない"が導かれる
6. 推論5と事実12から、仮説が否定される

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