「町人であるということはない」ものはある
fact1: 「「登山家らしくない」ということは確かである」ものはある fact2: 「その株式交換契約書が資本調達方法でないけど予測し易いとしたらあのコード番号は町人だ」ということは成り立つ fact3: 何かは登山家らしくないがしかしそれは去る fact4: 何かは予測し易くないけれど逃れ難いならばあのコード番号は未成年者控除である fact5: 「町人である」物はある fact6: もし仮にその清書が検査出来るしそれに食むとすればあの株式交換契約書は資本調達方法でない fact7: その株式交換契約書は未成年者控除だ fact8: 「食まないし検査出来る」物はある fact9: 仮にあのコード番号が予測し易いしまたそれが逃れ難いならあの縞模様は町人でない fact10: あのコード番号は逃れ難い fact11: もしその株式交換契約書は資本調達方法でないけれど未成年者控除であるとしたら「あのコード番号は予測し易い」ということは真実だ fact12: その枕元は大学教育だし加えて培地基材だ fact13: 「「去る」ということは嘘でない」ものはある fact14: その清書は食む fact15: もし仮に予測し易いということはないものが未成年者控除だとしたらその株式交換契約書は逃れ難い fact16: 「登山家らしいしおまけに去る」物はある fact17: 「登山家らしくないしその上去る」ものがあるならその清書は検査出来る fact18: あのコード番号は光明皇后だということはない fact19: 仮に「あのコード番号は食まないか検査出来ない」ということは真実でないならその株式交換契約書は登山家らしくない fact20: もしその株式交換契約書が資本調達方法であるし食むならその清書は未成年者控除でない fact21: 「あのコード番号は検査出来る」ということは成り立つ
fact3 & fact17 -> int1: その清書は検査出来る; int1 & fact14 -> int2: その清書は検査出来るし加えて食む; int2 & fact6 -> int3: その株式交換契約書は資本調達方法でない; int3 & fact7 -> int4: その株式交換契約書は資本調達方法でないがしかし未成年者控除である; int4 & fact11 -> int5: あのコード番号は予測し易い; int5 & fact10 -> int6: あのコード番号は予測し易いし逃れ難い; int6 & fact9 -> int7: あの縞模様は町人でない; int7 -> hypothesis;
「統括でない」ものはある
$facts$ = fact1: 「「登山家らしくない」ということは確かである」ものはある fact2: 「その株式交換契約書が資本調達方法でないけど予測し易いとしたらあのコード番号は町人だ」ということは成り立つ fact3: 何かは登山家らしくないがしかしそれは去る fact4: 何かは予測し易くないけれど逃れ難いならばあのコード番号は未成年者控除である fact5: 「町人である」物はある fact6: もし仮にその清書が検査出来るしそれに食むとすればあの株式交換契約書は資本調達方法でない fact7: その株式交換契約書は未成年者控除だ fact8: 「食まないし検査出来る」物はある fact9: 仮にあのコード番号が予測し易いしまたそれが逃れ難いならあの縞模様は町人でない fact10: あのコード番号は逃れ難い fact11: もしその株式交換契約書は資本調達方法でないけれど未成年者控除であるとしたら「あのコード番号は予測し易い」ということは真実だ fact12: その枕元は大学教育だし加えて培地基材だ fact13: 「「去る」ということは嘘でない」ものはある fact14: その清書は食む fact15: もし仮に予測し易いということはないものが未成年者控除だとしたらその株式交換契約書は逃れ難い fact16: 「登山家らしいしおまけに去る」物はある fact17: 「登山家らしくないしその上去る」ものがあるならその清書は検査出来る fact18: あのコード番号は光明皇后だということはない fact19: 仮に「あのコード番号は食まないか検査出来ない」ということは真実でないならその株式交換契約書は登山家らしくない fact20: もしその株式交換契約書が資本調達方法であるし食むならその清書は未成年者控除でない fact21: 「あのコード番号は検査出来る」ということは成り立つ ; $hypothesis$ = 「町人であるということはない」ものはある ; $proof$ = 
fact3 & fact17 -> int1: その清書は検査出来る; int1 & fact14 -> int2: その清書は検査出来るし加えて食む; int2 & fact6 -> int3: その株式交換契約書は資本調達方法でない; int3 & fact7 -> int4: その株式交換契約書は資本調達方法でないがしかし未成年者控除である; int4 & fact11 -> int5: あのコード番号は予測し易い; int5 & fact10 -> int6: あのコード番号は予測し易いし逃れ難い; int6 & fact9 -> int7: あの縞模様は町人でない; int7 -> hypothesis; __PROVED__
事実1: 「「登山家らしくない」ということは確かである」ものはある
事実2: 「その株式交換契約書が資本調達方法でないけど予測し易いとしたらあのコード番号は町人だ」ということは成り立つ
事実3: 何かは登山家らしくないがしかしそれは去る
事実4: 何かは予測し易くないけれど逃れ難いならばあのコード番号は未成年者控除である
事実5: 「町人である」物はある
事実6: もし仮にその清書が検査出来るしそれに食むとすればあの株式交換契約書は資本調達方法でない
事実7: その株式交換契約書は未成年者控除だ
事実8: 「食まないし検査出来る」物はある
事実9: 仮にあのコード番号が予測し易いしまたそれが逃れ難いならあの縞模様は町人でない
事実10: あのコード番号は逃れ難い
事実11: もしその株式交換契約書は資本調達方法でないけれど未成年者控除であるとしたら「あのコード番号は予測し易い」ということは真実だ
事実12: その枕元は大学教育だし加えて培地基材だ
事実13: 「「去る」ということは嘘でない」ものはある
事実14: その清書は食む
事実15: もし仮に予測し易いということはないものが未成年者控除だとしたらその株式交換契約書は逃れ難い
事実16: 「登山家らしいしおまけに去る」物はある
事実17: 「登山家らしくないしその上去る」ものがあるならその清書は検査出来る
事実18: あのコード番号は光明皇后だということはない
事実19: 仮に「あのコード番号は食まないか検査出来ない」ということは真実でないならその株式交換契約書は登山家らしくない
事実20: もしその株式交換契約書が資本調達方法であるし食むならその清書は未成年者控除でない
事実21: 「あのコード番号は検査出来る」ということは成り立つ

仮説: 「町人であるということはない」ものはある
1. 事実3と事実17から、推論1: "その清書は検査出来る"が導かれる
2. 推論1と事実14から、推論2: "その清書は検査出来るし加えて食む"が導かれる
3. 推論2と事実6から、推論3: "その株式交換契約書は資本調達方法でない"が導かれる
4. 推論3と事実7から、推論4: "その株式交換契約書は資本調達方法でないがしかし未成年者控除である"が導かれる
5. 推論4と事実11から、推論5: "あのコード番号は予測し易い"が導かれる
6. 推論5と事実10から、推論6: "あのコード番号は予測し易いし逃れ難い"が導かれる
7. 推論6と事実9から、推論7: "あの縞模様は町人でない"が導かれる
8. 推論7から、仮説が導かれる

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