その脱脂綿は職場復帰しない
fact1: 「この準則は背泳ぎでないがそれは厚生年金基金である」ということは成り立たないならその公式参拝は背泳ぎだ fact2: ノンポリが院外ならばそれは職場復帰するということはない fact3: もし仮になにかは揮発し易いなら「それは背泳ぎでないが厚生年金基金である」ということは事実でない fact4: もし何かは付き合えるしおまけにそれが失い兼ねるならメートルであるということはない fact5: その脱脂綿はノンポリである fact6: その脱脂綿はしぶとい fact7: なんらかのものが背泳ぎであるとするとこの掟はノンポリでそれにそれは院外である fact8: あらゆるものは揮発し易い fact9: その脱脂綿はしぶとくて加えて院外である
fact9 -> int1: その脱脂綿は院外だ; int1 & fact5 -> int2: その脱脂綿がノンポリだしその上院外である; fact2 -> int3: もしもその脱脂綿はノンポリであるし加えて院外なら職場復帰するということはない; int2 & int3 -> hypothesis;
fact9 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); fact2 -> int3: ({C}{a} & {B}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
その脱脂綿は職場復帰する
fact12 -> int4: 仮にこの腹案は揮発し易いとすると「背泳ぎであるということはなくてしかもそれは厚生年金基金だ」ということは真実でない; fact13 -> int5: この腹案は揮発し易い; int4 & int5 -> int6: 「この腹案は背泳ぎでない一方で厚生年金基金である」ということは誤っている; int6 -> int7: 背泳ぎでないけど厚生年金基金だというものはない; int7 -> int8: 「この準則は背泳ぎでないけど厚生年金基金である」ということは誤っている; int8 & fact10 -> int9: その公式参拝は背泳ぎである; int9 -> int10: とある物は背泳ぎだ; fact11 & int10 -> int11: この掟はノンポリであるしまたそれは院外である; int11 -> int12: この掟は院外だ;
$facts$ = fact1: 「この準則は背泳ぎでないがそれは厚生年金基金である」ということは成り立たないならその公式参拝は背泳ぎだ fact2: ノンポリが院外ならばそれは職場復帰するということはない fact3: もし仮になにかは揮発し易いなら「それは背泳ぎでないが厚生年金基金である」ということは事実でない fact4: もし何かは付き合えるしおまけにそれが失い兼ねるならメートルであるということはない fact5: その脱脂綿はノンポリである fact6: その脱脂綿はしぶとい fact7: なんらかのものが背泳ぎであるとするとこの掟はノンポリでそれにそれは院外である fact8: あらゆるものは揮発し易い fact9: その脱脂綿はしぶとくて加えて院外である ; $hypothesis$ = その脱脂綿は職場復帰しない ; $proof$ = 
fact9 -> int1: その脱脂綿は院外だ; int1 & fact5 -> int2: その脱脂綿がノンポリだしその上院外である; fact2 -> int3: もしもその脱脂綿はノンポリであるし加えて院外なら職場復帰するということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 「この準則は背泳ぎでないがそれは厚生年金基金である」ということは成り立たないならその公式参拝は背泳ぎだ
事実2: ノンポリが院外ならばそれは職場復帰するということはない
事実3: もし仮になにかは揮発し易いなら「それは背泳ぎでないが厚生年金基金である」ということは事実でない
事実4: もし何かは付き合えるしおまけにそれが失い兼ねるならメートルであるということはない
事実5: その脱脂綿はノンポリである
事実6: その脱脂綿はしぶとい
事実7: なんらかのものが背泳ぎであるとするとこの掟はノンポリでそれにそれは院外である
事実8: あらゆるものは揮発し易い
事実9: その脱脂綿はしぶとくて加えて院外である

仮説: その脱脂綿は職場復帰しない
1. 事実9から、推論1: "その脱脂綿は院外だ"が導かれる
2. 推論1と事実5から、推論2: "その脱脂綿がノンポリだしその上院外である"が導かれる
3. 事実2から、推論3: "もしもその脱脂綿はノンポリであるし加えて院外なら職場復帰するということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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