その仲はハンセン病患者である
fact1: 全ての物は調べ出すし更にそれは踏み外す fact2: その仲はハンセン病患者でないとしたら「「謎めかないし可愛らしくない」ということは成り立つ」ということは間違っている fact3: 仮に「「謎めかないしさらに可愛らしくない」ということは本当でない」ものがあるならこの全戸は調べ出さない
void -> assump1: 以下のように仮定する。その仲はハンセン病患者でない; fact2 & assump1 -> int1: 「その仲は謎めくということはないしかつそれは可愛らしくない」ということは誤りだ; int1 -> int2: 「「謎めかなくてまた可愛らしいということはない」ということは成り立たない」物はある; int2 & fact3 -> int3: この全戸は調べ出さない; fact1 -> int4: この全戸は調べ出すし更に踏み外す; int4 -> int5: この全戸は調べ出す; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 全ての物は調べ出すし更にそれは踏み外す fact2: その仲はハンセン病患者でないとしたら「「謎めかないし可愛らしくない」ということは成り立つ」ということは間違っている fact3: 仮に「「謎めかないしさらに可愛らしくない」ということは本当でない」ものがあるならこの全戸は調べ出さない ; $hypothesis$ = その仲はハンセン病患者である ; $proof$ = 
void -> assump1: 以下のように仮定する。その仲はハンセン病患者でない; fact2 & assump1 -> int1: 「その仲は謎めくということはないしかつそれは可愛らしくない」ということは誤りだ; int1 -> int2: 「「謎めかなくてまた可愛らしいということはない」ということは成り立たない」物はある; int2 & fact3 -> int3: この全戸は調べ出さない; fact1 -> int4: この全戸は調べ出すし更に踏み外す; int4 -> int5: この全戸は調べ出す; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 全ての物は調べ出すし更にそれは踏み外す
事実2: その仲はハンセン病患者でないとしたら「「謎めかないし可愛らしくない」ということは成り立つ」ということは間違っている
事実3: 仮に「「謎めかないしさらに可愛らしくない」ということは本当でない」ものがあるならこの全戸は調べ出さない

仮説: その仲はハンセン病患者である
1. 仮定1: 以下のように仮定する。その仲はハンセン病患者でない
2. 事実2と仮定1から、推論1: "「その仲は謎めくということはないしかつそれは可愛らしくない」ということは誤りだ"が導かれる
3. 推論1から、推論2: "「「謎めかなくてまた可愛らしいということはない」ということは成り立たない」物はある"が導かれる
4. 推論2と事実3から、推論3: "この全戸は調べ出さない"が導かれる
5. 事実1から、推論4: "この全戸は調べ出すし更に踏み外す"が導かれる
6. 推論4から、推論5: "この全戸は調べ出す"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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