このセットポイントは可笑しくないけれどそれは感染し易い
fact1: もしもなにがしかのものはケセン語ならば「それは可笑しくないけど感染し易い」ということは誤っている fact2: もしなにかは平静でないとしたら可笑しくないしそれは感染し易い fact3: 仮に「その相は春画であるしおまけに溶け込む」ということは成り立たないならばあのセットポイントは平静でない fact4: その在宅福祉サービスはケセン語でない fact5: もしその在宅福祉サービスはケセン語でないとしたら「その相は春画であるし溶け込む」ということは間違っている fact6: もしもこのセットポイントは平静でないとしたらそれは感染し易い
fact5 & fact4 -> int1: 「その相は春画であるしそれに溶け込む」ということは間違いである; int1 & fact3 -> int2: このセットポイントは平静でない; fact2 -> int3: もしもこのセットポイントは平静であるということはないならばそれは可笑しくないが感染し易い; int2 & int3 -> hypothesis;
「このセットポイントは可笑しくないけどそれは感染し易い」ということは確かでない
fact7 -> int4: もし仮にこのセットポイントはケセン語であるならば「それは可笑しいということはないけど感染し易い」ということは成り立たない;
$facts$ = fact1: もしもなにがしかのものはケセン語ならば「それは可笑しくないけど感染し易い」ということは誤っている fact2: もしなにかは平静でないとしたら可笑しくないしそれは感染し易い fact3: 仮に「その相は春画であるしおまけに溶け込む」ということは成り立たないならばあのセットポイントは平静でない fact4: その在宅福祉サービスはケセン語でない fact5: もしその在宅福祉サービスはケセン語でないとしたら「その相は春画であるし溶け込む」ということは間違っている fact6: もしもこのセットポイントは平静でないとしたらそれは感染し易い ; $hypothesis$ = このセットポイントは可笑しくないけれどそれは感染し易い ; $proof$ = 
fact5 & fact4 -> int1: 「その相は春画であるしそれに溶け込む」ということは間違いである; int1 & fact3 -> int2: このセットポイントは平静でない; fact2 -> int3: もしもこのセットポイントは平静であるということはないならばそれは可笑しくないが感染し易い; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものはケセン語ならば「それは可笑しくないけど感染し易い」ということは誤っている
事実2: もしなにかは平静でないとしたら可笑しくないしそれは感染し易い
事実3: 仮に「その相は春画であるしおまけに溶け込む」ということは成り立たないならばあのセットポイントは平静でない
事実4: その在宅福祉サービスはケセン語でない
事実5: もしその在宅福祉サービスはケセン語でないとしたら「その相は春画であるし溶け込む」ということは間違っている
事実6: もしもこのセットポイントは平静でないとしたらそれは感染し易い

仮説: このセットポイントは可笑しくないけれどそれは感染し易い
1. 事実5と事実4から、推論1: "「その相は春画であるしそれに溶け込む」ということは間違いである"が導かれる
2. 推論1と事実3から、推論2: "このセットポイントは平静でない"が導かれる
3. 事実2から、推論3: "もしもこのセットポイントは平静であるということはないならばそれは可笑しくないが感染し易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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