その叢書は怠る
fact1: その叢書は緩み易い fact2: 「この一時保育は注意深いが重くない」ということは事実と異なる fact3: 仮に「この一時保育は注意深い一方で重くない」ということは誤りであるとすればその叢書は怠る fact4: もしこの一時保育が盤踞するならその叢書は盤踞しない fact5: その叢書は重い fact6: 仮に「その叢書は怠るが重くない」ということは確かだということはないとするとこの一時保育は注意深い fact7: もしなにがしかの物は盤踞しないとすると「怠るしかつステイクホルダーだ」ということは間違いだ fact8: もし仮に「この一時保育は重いけど怠らない」ということは成り立たないとすればその叢書は注意深い fact9: もしも「その叢書は重いけれど怠らない」ということは誤りならこの一時保育は注意深い fact10: もしこの一時保育が注意深くないならその叢書は怠る fact11: 「この一時保育は注意深い一方でそれは第三号被保険者資格取得届けでない」ということは誤っている fact12: もしも「何かは怠るしステイクホルダーだ」ということは嘘であるとするとそれは怠らない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
その叢書は怠らない
fact14 -> int1: 仮に「その叢書は怠るしおまけにステイクホルダーだ」ということは嘘であるならばそれは怠るということはない; fact15 -> int2: もしその叢書は盤踞しないなら「怠るしまたステイクホルダーだ」ということは成り立たない;
$facts$ = fact1: その叢書は緩み易い fact2: 「この一時保育は注意深いが重くない」ということは事実と異なる fact3: 仮に「この一時保育は注意深い一方で重くない」ということは誤りであるとすればその叢書は怠る fact4: もしこの一時保育が盤踞するならその叢書は盤踞しない fact5: その叢書は重い fact6: 仮に「その叢書は怠るが重くない」ということは確かだということはないとするとこの一時保育は注意深い fact7: もしなにがしかの物は盤踞しないとすると「怠るしかつステイクホルダーだ」ということは間違いだ fact8: もし仮に「この一時保育は重いけど怠らない」ということは成り立たないとすればその叢書は注意深い fact9: もしも「その叢書は重いけれど怠らない」ということは誤りならこの一時保育は注意深い fact10: もしこの一時保育が注意深くないならその叢書は怠る fact11: 「この一時保育は注意深い一方でそれは第三号被保険者資格取得届けでない」ということは誤っている fact12: もしも「何かは怠るしステイクホルダーだ」ということは嘘であるとするとそれは怠らない ; $hypothesis$ = その叢書は怠る ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: その叢書は緩み易い
事実2: 「この一時保育は注意深いが重くない」ということは事実と異なる
事実3: 仮に「この一時保育は注意深い一方で重くない」ということは誤りであるとすればその叢書は怠る
事実4: もしこの一時保育が盤踞するならその叢書は盤踞しない
事実5: その叢書は重い
事実6: 仮に「その叢書は怠るが重くない」ということは確かだということはないとするとこの一時保育は注意深い
事実7: もしなにがしかの物は盤踞しないとすると「怠るしかつステイクホルダーだ」ということは間違いだ
事実8: もし仮に「この一時保育は重いけど怠らない」ということは成り立たないとすればその叢書は注意深い
事実9: もしも「その叢書は重いけれど怠らない」ということは誤りならこの一時保育は注意深い
事実10: もしこの一時保育が注意深くないならその叢書は怠る
事実11: 「この一時保育は注意深い一方でそれは第三号被保険者資格取得届けでない」ということは誤っている
事実12: もしも「何かは怠るしステイクホルダーだ」ということは嘘であるとするとそれは怠らない

仮説: その叢書は怠る
1. 事実3と事実2から、仮説が導かれる

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