あのみえみよLv.17は苛立たしい
fact1: もし「あのみえみよLv.17は父親らしい」ということは誤っていないとすればあのみえみよLv.17は重々しい fact2: 仮にあのみえみよLv.17が重々しいとしたらあのみえみよLv.17は避け難い fact3: 「あのみえみよLv.17は父親らしいしまたしかつめらしい」ということは成り立たない fact4: もし仮に「あのみえみよLv.17は父親らしくない一方でしかつめらしい」ということは事実でないならばあのみえみよLv.17は重々しい fact5: 仮に「あのみえみよLv.17は許し難し」ということは本当であるとしたらあのみえみよLv.17は眠たい fact6: 「あのみえみよLv.17は父親らしくない一方でしかつめらしい」ということは成り立たない fact7: 仮にあのみえみよLv.17が避け難いなら苛立たしい
fact4 & fact6 -> int1: あのみえみよLv.17は重々しい; int1 & fact2 -> int2: あのみえみよLv.17は避け難い; int2 & fact7 -> hypothesis;
fact4 & fact6 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{a}; int2 & fact7 -> hypothesis;
$facts$ = fact1: もし「あのみえみよLv.17は父親らしい」ということは誤っていないとすればあのみえみよLv.17は重々しい fact2: 仮にあのみえみよLv.17が重々しいとしたらあのみえみよLv.17は避け難い fact3: 「あのみえみよLv.17は父親らしいしまたしかつめらしい」ということは成り立たない fact4: もし仮に「あのみえみよLv.17は父親らしくない一方でしかつめらしい」ということは事実でないならばあのみえみよLv.17は重々しい fact5: 仮に「あのみえみよLv.17は許し難し」ということは本当であるとしたらあのみえみよLv.17は眠たい fact6: 「あのみえみよLv.17は父親らしくない一方でしかつめらしい」ということは成り立たない fact7: 仮にあのみえみよLv.17が避け難いなら苛立たしい ; $hypothesis$ = あのみえみよLv.17は苛立たしい ; $proof$ = 
fact4 & fact6 -> int1: あのみえみよLv.17は重々しい; int1 & fact2 -> int2: あのみえみよLv.17は避け難い; int2 & fact7 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{a}; int2 & fact7 -> hypothesis; __PROVED__