この別居親は見難い
fact1: この体細胞が凶器準備集合罪であるとしたらこの別居親は見難い fact2: なにかは表現空間でないとしたらそれは凶器準備集合罪でまた見難い fact3: その積雪量は見難い fact4: もしもこの言い形は割烹着でないならばそれは凶器準備集合罪で猫じゃらしである fact5: あのアッパー・ウエストサイドは見難い fact6: この体細胞は凶器準備集合罪だ fact7: この別居親は冒険する
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
この別居親は見難くない
$facts$ = fact1: この体細胞が凶器準備集合罪であるとしたらこの別居親は見難い fact2: なにかは表現空間でないとしたらそれは凶器準備集合罪でまた見難い fact3: その積雪量は見難い fact4: もしもこの言い形は割烹着でないならばそれは凶器準備集合罪で猫じゃらしである fact5: あのアッパー・ウエストサイドは見難い fact6: この体細胞は凶器準備集合罪だ fact7: この別居親は冒険する ; $hypothesis$ = この別居親は見難い ; $proof$ = 
fact1 & fact6 -> hypothesis; __PROVED__
事実1: この体細胞が凶器準備集合罪であるとしたらこの別居親は見難い
事実2: なにかは表現空間でないとしたらそれは凶器準備集合罪でまた見難い
事実3: その積雪量は見難い
事実4: もしもこの言い形は割烹着でないならばそれは凶器準備集合罪で猫じゃらしである
事実5: あのアッパー・ウエストサイドは見難い
事実6: この体細胞は凶器準備集合罪だ
事実7: この別居親は冒険する

仮説: この別居親は見難い
1. 事実1と事実6から、仮説が導かれる

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