その厳戒態勢は交配前後だ
fact1: もしも何かは拾えなくて家庭訪問しないとすると益無し fact2: 「なにがしかの物は繋がり易い」ということは成り立つとすれば交配前後だ fact3: 仮に「この民衆は拾えないしまた家庭訪問しない」ということは間違っているとするとその厳戒態勢は繋がり易い fact4: なにがしかのものは食い慣れるということはない fact5: 「食い慣れない」物があるならこの民衆は益無しない fact6: この民衆は拾えなくてそれに交配前後でない fact7: 何らかのものが名高いとすると競合他社である
fact1 -> int1: もしもこの民衆が拾えなくてまたそれが家庭訪問しないとすれば益無し; void -> assump1: 以下のように仮定する。この民衆は拾えなくてその上それは家庭訪問するということはない; int1 & assump1 -> int2: この民衆は益無し; fact4 & fact5 -> int3: 「この民衆は益無しない」ということは本当である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この民衆は拾えなくてその上家庭訪問しない」ということは本当でない; int5 & fact3 -> int6: その厳戒態勢は繋がり易い; fact2 -> int7: もし「その厳戒態勢は繋がり易い」ということは正しいとすればそれは交配前後である; int6 & int7 -> hypothesis;
その大穴が名高いとすれば競合他社だ
fact8 -> hypothesis;
$facts$ = fact1: もしも何かは拾えなくて家庭訪問しないとすると益無し fact2: 「なにがしかの物は繋がり易い」ということは成り立つとすれば交配前後だ fact3: 仮に「この民衆は拾えないしまた家庭訪問しない」ということは間違っているとするとその厳戒態勢は繋がり易い fact4: なにがしかのものは食い慣れるということはない fact5: 「食い慣れない」物があるならこの民衆は益無しない fact6: この民衆は拾えなくてそれに交配前後でない fact7: 何らかのものが名高いとすると競合他社である ; $hypothesis$ = その厳戒態勢は交配前後だ ; $proof$ = 
fact1 -> int1: もしもこの民衆が拾えなくてまたそれが家庭訪問しないとすれば益無し; void -> assump1: 以下のように仮定する。この民衆は拾えなくてその上それは家庭訪問するということはない; int1 & assump1 -> int2: この民衆は益無し; fact4 & fact5 -> int3: 「この民衆は益無しない」ということは本当である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この民衆は拾えなくてその上家庭訪問しない」ということは本当でない; int5 & fact3 -> int6: その厳戒態勢は繋がり易い; fact2 -> int7: もし「その厳戒態勢は繋がり易い」ということは正しいとすればそれは交配前後である; int6 & int7 -> hypothesis; __PROVED__
事実1: もしも何かは拾えなくて家庭訪問しないとすると益無し
事実2: 「なにがしかの物は繋がり易い」ということは成り立つとすれば交配前後だ
事実3: 仮に「この民衆は拾えないしまた家庭訪問しない」ということは間違っているとするとその厳戒態勢は繋がり易い
事実4: なにがしかのものは食い慣れるということはない
事実5: 「食い慣れない」物があるならこの民衆は益無しない
事実6: この民衆は拾えなくてそれに交配前後でない
事実7: 何らかのものが名高いとすると競合他社である

仮説: その厳戒態勢は交配前後だ
1. 事実1から、推論1: "もしもこの民衆が拾えなくてまたそれが家庭訪問しないとすれば益無し"が導かれる
2. 仮定1: 以下のように仮定する。この民衆は拾えなくてその上それは家庭訪問するということはない
3. 推論1と仮定1から、推論2: "この民衆は益無し"が導かれる
4. 事実4と事実5から、推論3: "「この民衆は益無しない」ということは本当である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この民衆は拾えなくてその上家庭訪問しない」ということは本当でない"が導かれる
7. 推論5と事実3から、推論6: "その厳戒態勢は繋がり易い"が導かれる
8. 事実2から、推論7: "もし「その厳戒態勢は繋がり易い」ということは正しいとすればそれは交配前後である"が導かれる
9. 推論6と推論7から、仮説が導かれる

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