その求職者は三十八万人である
fact1: あの三法師は馴染み易い fact2: もし仮に何らかの物は近くないなら「それは取れ難くないし長屋門でない」ということは正しくない fact3: もし「その三日前は多くないか近くないかあるいは両方だ」ということは本当であるとするとそれは近くない fact4: もし仮にその一発逆転が血管収縮薬だとしたらそのにんげは勧請しない fact5: そのにんげは勧請しない fact6: もしその求職者が御付き合いするしそれが赴任するとしたら取れ難くない fact7: その求職者は赴任する fact8: もしあの三法師が馴染み易いならばその三日前は多くないかもしくは近くないかまたは両方だ fact9: もし仮に何らかのものが取れ難くないとしたら三十八万人だ fact10: 仮にその一発逆転が血管収縮薬ならばそのにんげは嫉むがしかし勧請しない fact11: 「「取れ難くないし長屋門であるということはない」ということは嘘な」物があるとしたらそのにんげは赴任しない fact12: もし「嫉む」ものがあるとすればその求職者は御付き合いする fact13: その一発逆転は血管収縮薬だ
fact10 & fact13 -> int1: そのにんげは嫉むけれど勧請しない; int1 -> int2: そのにんげは嫉む; int2 -> int3: 「嫉む」物はある; int3 & fact12 -> int4: その求職者は御付き合いする; int4 & fact7 -> int5: その求職者は御付き合いするしまた赴任する; int5 & fact6 -> int6: その求職者は取れ難くない; fact9 -> int7: その求職者が取れ難くないならば三十八万人だ; int6 & int7 -> hypothesis;
「その求職者は三十八万人であるということはない」ということは成り立つ
fact17 -> int8: もし仮にその三日前は近いということはないなら「取れ難くないしそれに長屋門であるということはない」ということは成り立たない; fact15 & fact18 -> int9: その三日前は多くないかそれは近くない; fact16 & int9 -> int10: その三日前は近くない; int8 & int10 -> int11: 「その三日前は取れ難くないし長屋門でない」ということは偽である; int11 -> int12: 「「取れ難くないし長屋門だということはない」ということは成り立たない」ものはある; int12 & fact14 -> int13: そのにんげは赴任しない; int13 -> int14: 「赴任しない」物はある;
$facts$ = fact1: あの三法師は馴染み易い fact2: もし仮に何らかの物は近くないなら「それは取れ難くないし長屋門でない」ということは正しくない fact3: もし「その三日前は多くないか近くないかあるいは両方だ」ということは本当であるとするとそれは近くない fact4: もし仮にその一発逆転が血管収縮薬だとしたらそのにんげは勧請しない fact5: そのにんげは勧請しない fact6: もしその求職者が御付き合いするしそれが赴任するとしたら取れ難くない fact7: その求職者は赴任する fact8: もしあの三法師が馴染み易いならばその三日前は多くないかもしくは近くないかまたは両方だ fact9: もし仮に何らかのものが取れ難くないとしたら三十八万人だ fact10: 仮にその一発逆転が血管収縮薬ならばそのにんげは嫉むがしかし勧請しない fact11: 「「取れ難くないし長屋門であるということはない」ということは嘘な」物があるとしたらそのにんげは赴任しない fact12: もし「嫉む」ものがあるとすればその求職者は御付き合いする fact13: その一発逆転は血管収縮薬だ ; $hypothesis$ = その求職者は三十八万人である ; $proof$ = 
fact10 & fact13 -> int1: そのにんげは嫉むけれど勧請しない; int1 -> int2: そのにんげは嫉む; int2 -> int3: 「嫉む」物はある; int3 & fact12 -> int4: その求職者は御付き合いする; int4 & fact7 -> int5: その求職者は御付き合いするしまた赴任する; int5 & fact6 -> int6: その求職者は取れ難くない; fact9 -> int7: その求職者が取れ難くないならば三十八万人だ; int6 & int7 -> hypothesis; __PROVED__
事実1: あの三法師は馴染み易い
事実2: もし仮に何らかの物は近くないなら「それは取れ難くないし長屋門でない」ということは正しくない
事実3: もし「その三日前は多くないか近くないかあるいは両方だ」ということは本当であるとするとそれは近くない
事実4: もし仮にその一発逆転が血管収縮薬だとしたらそのにんげは勧請しない
事実5: そのにんげは勧請しない
事実6: もしその求職者が御付き合いするしそれが赴任するとしたら取れ難くない
事実7: その求職者は赴任する
事実8: もしあの三法師が馴染み易いならばその三日前は多くないかもしくは近くないかまたは両方だ
事実9: もし仮に何らかのものが取れ難くないとしたら三十八万人だ
事実10: 仮にその一発逆転が血管収縮薬ならばそのにんげは嫉むがしかし勧請しない
事実11: 「「取れ難くないし長屋門であるということはない」ということは嘘な」物があるとしたらそのにんげは赴任しない
事実12: もし「嫉む」ものがあるとすればその求職者は御付き合いする
事実13: その一発逆転は血管収縮薬だ

仮説: その求職者は三十八万人である
1. 事実10と事実13から、推論1: "そのにんげは嫉むけれど勧請しない"が導かれる
2. 推論1から、推論2: "そのにんげは嫉む"が導かれる
3. 推論2から、推論3: "「嫉む」物はある"が導かれる
4. 推論3と事実12から、推論4: "その求職者は御付き合いする"が導かれる
5. 推論4と事実7から、推論5: "その求職者は御付き合いするしまた赴任する"が導かれる
6. 推論5と事実6から、推論6: "その求職者は取れ難くない"が導かれる
7. 事実9から、推論7: "その求職者が取れ難くないならば三十八万人だ"が導かれる
8. 推論6と推論7から、仮説が導かれる

よって、仮説が証明されました。