その児童福祉専門職は妻せらない
fact1: もしその縦棒は突発するということはないとすると「浅しないしおまけにとろいということはない」ということは間違っている fact2: その縦棒はとろくないとすれば「それは突発するということはなくてかつ妻せらない」ということは成り立たない fact3: 仮に「その縦棒は浅しないしさらにとろくない」ということは成り立たないとすればその児童福祉専門職は妻せるということはない fact4: 「その縦棒は浅し一方でそれはとろくない」ということは事実と異なる fact5: もし仮にその縦棒が浅しとすればその児童福祉専門職は妻せらない fact6: 「その縦棒は突発しない」ということは本当である fact7: この不溶性は妻せらない fact8: その児童福祉専門職はとろくない fact9: 「もしその縦棒は突発するということはないとしたら「その縦棒は浅しがとろくない」ということは誤りだ」ということは事実だ fact10: 「このグリスは突発しない」ということは本当である
fact1 & fact6 -> int1: 「その縦棒は浅しないしかつとろくない」ということは偽である; int1 & fact3 -> hypothesis;
$facts$ = fact1: もしその縦棒は突発するということはないとすると「浅しないしおまけにとろいということはない」ということは間違っている fact2: その縦棒はとろくないとすれば「それは突発するということはなくてかつ妻せらない」ということは成り立たない fact3: 仮に「その縦棒は浅しないしさらにとろくない」ということは成り立たないとすればその児童福祉専門職は妻せるということはない fact4: 「その縦棒は浅し一方でそれはとろくない」ということは事実と異なる fact5: もし仮にその縦棒が浅しとすればその児童福祉専門職は妻せらない fact6: 「その縦棒は突発しない」ということは本当である fact7: この不溶性は妻せらない fact8: その児童福祉専門職はとろくない fact9: 「もしその縦棒は突発するということはないとしたら「その縦棒は浅しがとろくない」ということは誤りだ」ということは事実だ fact10: 「このグリスは突発しない」ということは本当である ; $hypothesis$ = その児童福祉専門職は妻せらない ; $proof$ = 
fact1 & fact6 -> int1: 「その縦棒は浅しないしかつとろくない」ということは偽である; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしその縦棒は突発するということはないとすると「浅しないしおまけにとろいということはない」ということは間違っている
事実2: その縦棒はとろくないとすれば「それは突発するということはなくてかつ妻せらない」ということは成り立たない
事実3: 仮に「その縦棒は浅しないしさらにとろくない」ということは成り立たないとすればその児童福祉専門職は妻せるということはない
事実4: 「その縦棒は浅し一方でそれはとろくない」ということは事実と異なる
事実5: もし仮にその縦棒が浅しとすればその児童福祉専門職は妻せらない
事実6: 「その縦棒は突発しない」ということは本当である
事実7: この不溶性は妻せらない
事実8: その児童福祉専門職はとろくない
事実9: 「もしその縦棒は突発するということはないとしたら「その縦棒は浅しがとろくない」ということは誤りだ」ということは事実だ
事実10: 「このグリスは突発しない」ということは本当である

仮説: その児童福祉専門職は妻せらない
1. 事実1と事実6から、推論1: "「その縦棒は浅しないしかつとろくない」ということは偽である"が導かれる
2. 推論1と事実3から、仮説が導かれる

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