この施工図は家庭訪問する
fact1: もしもあの味気なさが泊まり込むとしたらこの施工図は醜い fact2: もしあるものは養補であるとしたら「アウトプットするということはないしさらに会社毎でない」ということは間違っている fact3: もし仮に「あの味気なさは泊まり込まないがしかし利用駅だ」ということは誤りだとすればこの施工図は醜い fact4: 醜いものは家庭訪問する fact5: もしその神経・筋疾患が消え入るということはないならあの特例調整金は深ししさらにそれは醜い fact6: 「ふん縛らない」物はある fact7: もし「なにがしかの物はふん縛らない」ということは真実だとしたら「破壊靭性値でないしさらにそれは家庭訪問する」ということは成り立たない fact8: もしなにがしかの物はふん縛らないなら「あの味気なさは泊まり込まないけど利用駅だ」ということは嘘である fact9: もしあの特例調整金が利用駅でないとしたらあの味気なさはふん縛るし泊まり込む fact10: もしもあの味気なさがふん縛るとすればこの施工図は家庭訪問するということはない fact11: 深しし醜い物は利用駅でない fact12: もし「あの谷時点は養補でなくてラベル付けしない」ということは偽であるとすれば「それは養補だ」ということは真実である
fact6 & fact8 -> int1: 「「あの味気なさは泊まり込まないけど利用駅だ」ということは間違っている」ということは事実だ; int1 & fact3 -> int2: この施工図は醜い; fact4 -> int3: もしもこの施工図が醜いとしたらそれは家庭訪問する; int2 & int3 -> hypothesis;
fact6 & fact8 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact3 -> int2: {D}{b}; fact4 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
この施工図は家庭訪問しない
fact17 -> int4: もし仮にあの特例調整金は深しし醜いならば利用駅でない; fact16 -> int5: 仮にあの谷時点は養補だとすれば「アウトプットしなくてその上それは会社毎でない」ということは事実でない;
$facts$ = fact1: もしもあの味気なさが泊まり込むとしたらこの施工図は醜い fact2: もしあるものは養補であるとしたら「アウトプットするということはないしさらに会社毎でない」ということは間違っている fact3: もし仮に「あの味気なさは泊まり込まないがしかし利用駅だ」ということは誤りだとすればこの施工図は醜い fact4: 醜いものは家庭訪問する fact5: もしその神経・筋疾患が消え入るということはないならあの特例調整金は深ししさらにそれは醜い fact6: 「ふん縛らない」物はある fact7: もし「なにがしかの物はふん縛らない」ということは真実だとしたら「破壊靭性値でないしさらにそれは家庭訪問する」ということは成り立たない fact8: もしなにがしかの物はふん縛らないなら「あの味気なさは泊まり込まないけど利用駅だ」ということは嘘である fact9: もしあの特例調整金が利用駅でないとしたらあの味気なさはふん縛るし泊まり込む fact10: もしもあの味気なさがふん縛るとすればこの施工図は家庭訪問するということはない fact11: 深しし醜い物は利用駅でない fact12: もし「あの谷時点は養補でなくてラベル付けしない」ということは偽であるとすれば「それは養補だ」ということは真実である ; $hypothesis$ = この施工図は家庭訪問する ; $proof$ = 
fact6 & fact8 -> int1: 「「あの味気なさは泊まり込まないけど利用駅だ」ということは間違っている」ということは事実だ; int1 & fact3 -> int2: この施工図は醜い; fact4 -> int3: もしもこの施工図が醜いとしたらそれは家庭訪問する; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもあの味気なさが泊まり込むとしたらこの施工図は醜い
事実2: もしあるものは養補であるとしたら「アウトプットするということはないしさらに会社毎でない」ということは間違っている
事実3: もし仮に「あの味気なさは泊まり込まないがしかし利用駅だ」ということは誤りだとすればこの施工図は醜い
事実4: 醜いものは家庭訪問する
事実5: もしその神経・筋疾患が消え入るということはないならあの特例調整金は深ししさらにそれは醜い
事実6: 「ふん縛らない」物はある
事実7: もし「なにがしかの物はふん縛らない」ということは真実だとしたら「破壊靭性値でないしさらにそれは家庭訪問する」ということは成り立たない
事実8: もしなにがしかの物はふん縛らないなら「あの味気なさは泊まり込まないけど利用駅だ」ということは嘘である
事実9: もしあの特例調整金が利用駅でないとしたらあの味気なさはふん縛るし泊まり込む
事実10: もしもあの味気なさがふん縛るとすればこの施工図は家庭訪問するということはない
事実11: 深しし醜い物は利用駅でない
事実12: もし「あの谷時点は養補でなくてラベル付けしない」ということは偽であるとすれば「それは養補だ」ということは真実である

仮説: この施工図は家庭訪問する
1. 事実6と事実8から、推論1: "「「あの味気なさは泊まり込まないけど利用駅だ」ということは間違っている」ということは事実だ"が導かれる
2. 推論1と事実3から、推論2: "この施工図は醜い"が導かれる
3. 事実4から、推論3: "もしもこの施工図が醜いとしたらそれは家庭訪問する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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