その経験主義は関係付ける
fact1: この有給教育休業は被曝者であるということはないなら「あのＳ中学は郵送しないかあるいは成り易い」ということは偽である fact2: もしなにがしかのものが郵送するなら遮蔽物である fact3: その経験主義は遮蔽物であるとしたら関係付ける fact4: もしもあるものが成り易いとしたらそれは被曝者である fact5: 成り易くない物が郵送するとするとこの布基礎は関係付ける fact6: 「その経験主義は被曝者である」ということは間違っていないならばそれは郵送する fact7: 「涙脆いということはない」物はある fact8: 仮にとある物が涙脆くないとすればあの経験主義は成り易い fact9: 遮蔽物であるしその上涙脆いという物はない
fact4 -> int1: もし仮に「その経験主義は成り易い」ということは成り立つとしたらそれは被曝者である; fact8 & fact7 -> int2: 「その経験主義は成り易い」ということは事実である; int1 & int2 -> int3: その経験主義は被曝者だ; int3 & fact6 -> int4: その経験主義は郵送する; fact2 -> int5: 「その経験主義は郵送する」ということは正しいとすると遮蔽物だ; int4 & int5 -> int6: その経験主義は遮蔽物である; int6 & fact3 -> hypothesis;
その経験主義は関係付けるということはない
$facts$ = fact1: この有給教育休業は被曝者であるということはないなら「あのＳ中学は郵送しないかあるいは成り易い」ということは偽である fact2: もしなにがしかのものが郵送するなら遮蔽物である fact3: その経験主義は遮蔽物であるとしたら関係付ける fact4: もしもあるものが成り易いとしたらそれは被曝者である fact5: 成り易くない物が郵送するとするとこの布基礎は関係付ける fact6: 「その経験主義は被曝者である」ということは間違っていないならばそれは郵送する fact7: 「涙脆いということはない」物はある fact8: 仮にとある物が涙脆くないとすればあの経験主義は成り易い fact9: 遮蔽物であるしその上涙脆いという物はない ; $hypothesis$ = その経験主義は関係付ける ; $proof$ = 
fact4 -> int1: もし仮に「その経験主義は成り易い」ということは成り立つとしたらそれは被曝者である; fact8 & fact7 -> int2: 「その経験主義は成り易い」ということは事実である; int1 & int2 -> int3: その経験主義は被曝者だ; int3 & fact6 -> int4: その経験主義は郵送する; fact2 -> int5: 「その経験主義は郵送する」ということは正しいとすると遮蔽物だ; int4 & int5 -> int6: その経験主義は遮蔽物である; int6 & fact3 -> hypothesis; __PROVED__
事実1: この有給教育休業は被曝者であるということはないなら「あのＳ中学は郵送しないかあるいは成り易い」ということは偽である
事実2: もしなにがしかのものが郵送するなら遮蔽物である
事実3: その経験主義は遮蔽物であるとしたら関係付ける
事実4: もしもあるものが成り易いとしたらそれは被曝者である
事実5: 成り易くない物が郵送するとするとこの布基礎は関係付ける
事実6: 「その経験主義は被曝者である」ということは間違っていないならばそれは郵送する
事実7: 「涙脆いということはない」物はある
事実8: 仮にとある物が涙脆くないとすればあの経験主義は成り易い
事実9: 遮蔽物であるしその上涙脆いという物はない

仮説: その経験主義は関係付ける
1. 事実4から、推論1: "もし仮に「その経験主義は成り易い」ということは成り立つとしたらそれは被曝者である"が導かれる
2. 事実8と事実7から、推論2: "「その経験主義は成り易い」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "その経験主義は被曝者だ"が導かれる
4. 推論3と事実6から、推論4: "その経験主義は郵送する"が導かれる
5. 事実2から、推論5: "「その経験主義は郵送する」ということは正しいとすると遮蔽物だ"が導かれる
6. 推論4と推論5から、推論6: "その経験主義は遮蔽物である"が導かれる
7. 推論6と事実3から、仮説が導かれる

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