その播種は十二Ｒだ
fact1: もし仮にあのコア内がむさいならこのカマーは伝え易い fact2: 「あのコア内はむさい」ということは成り立つ fact3: もし仮にこのカマーは笑えるということはないとしたら「それは分類出来るしかつそれは十二Ｒである」ということは本当でない fact4: 仮に「なんらかの物は中小法人でしかも笑える」ということは成り立つということはないとしたらそれは十二Ｒでない fact5: このカマーは笑えるということはない fact6: その鬱病患者は笑えるということはない fact7: もし仮に「「このカマーは分類出来るけれど完全親会社でない」ということは真実だ」ということは嘘だとしたらその播種は十二Ｒだ fact8: もし仮に「このカマーは笑えない」ということは誤っていないとしたら「それは分類出来る一方で完全親会社だということはない」ということは成り立たない fact9: 仮になんらかの物は十二Ｒであるとしたらそれは笑える fact10: 仮にとある物はすごーくないなら「それが中小法人だしさらにそれは笑える」ということは事実と異なる fact11: このカマーが伝え易いしさらにそれがすごーいならその播種はすごーくない
fact8 & fact5 -> int1: 「このカマーは分類出来るがしかし完全親会社でない」ということは嘘である; int1 & fact7 -> hypothesis;
その播種は十二Ｒだということはない
fact13 -> int2: 「その播種は中小法人だしさらに笑える」ということは誤りであるならばそれは十二Ｒでない; fact12 -> int3: もしもその播種はすごーくないなら「それは中小法人であるし笑える」ということは成り立つということはない; fact16 & fact14 -> int4: このカマーは伝え易い;
$facts$ = fact1: もし仮にあのコア内がむさいならこのカマーは伝え易い fact2: 「あのコア内はむさい」ということは成り立つ fact3: もし仮にこのカマーは笑えるということはないとしたら「それは分類出来るしかつそれは十二Ｒである」ということは本当でない fact4: 仮に「なんらかの物は中小法人でしかも笑える」ということは成り立つということはないとしたらそれは十二Ｒでない fact5: このカマーは笑えるということはない fact6: その鬱病患者は笑えるということはない fact7: もし仮に「「このカマーは分類出来るけれど完全親会社でない」ということは真実だ」ということは嘘だとしたらその播種は十二Ｒだ fact8: もし仮に「このカマーは笑えない」ということは誤っていないとしたら「それは分類出来る一方で完全親会社だということはない」ということは成り立たない fact9: 仮になんらかの物は十二Ｒであるとしたらそれは笑える fact10: 仮にとある物はすごーくないなら「それが中小法人だしさらにそれは笑える」ということは事実と異なる fact11: このカマーが伝え易いしさらにそれがすごーいならその播種はすごーくない ; $hypothesis$ = その播種は十二Ｒだ ; $proof$ = 
fact8 & fact5 -> int1: 「このカマーは分類出来るがしかし完全親会社でない」ということは嘘である; int1 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にあのコア内がむさいならこのカマーは伝え易い
事実2: 「あのコア内はむさい」ということは成り立つ
事実3: もし仮にこのカマーは笑えるということはないとしたら「それは分類出来るしかつそれは十二Ｒである」ということは本当でない
事実4: 仮に「なんらかの物は中小法人でしかも笑える」ということは成り立つということはないとしたらそれは十二Ｒでない
事実5: このカマーは笑えるということはない
事実6: その鬱病患者は笑えるということはない
事実7: もし仮に「「このカマーは分類出来るけれど完全親会社でない」ということは真実だ」ということは嘘だとしたらその播種は十二Ｒだ
事実8: もし仮に「このカマーは笑えない」ということは誤っていないとしたら「それは分類出来る一方で完全親会社だということはない」ということは成り立たない
事実9: 仮になんらかの物は十二Ｒであるとしたらそれは笑える
事実10: 仮にとある物はすごーくないなら「それが中小法人だしさらにそれは笑える」ということは事実と異なる
事実11: このカマーが伝え易いしさらにそれがすごーいならその播種はすごーくない

仮説: その播種は十二Ｒだ
1. 事実8と事実5から、推論1: "「このカマーは分類出来るがしかし完全親会社でない」ということは嘘である"が導かれる
2. 推論1と事実7から、仮説が導かれる

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