この入管は此れ有りということはない
fact1: もし「自己負担しない」ものはあるなら「「この入管は登山家らしいがしかしファミリー・サポート・センター事業でない」ということは成り立たない」ということは正しい fact2: 「「自己負担しない」ということは成り立つ」ものはある fact3: あのうっかりが此れ有りとしたらこの入管は此れ有り fact4: 「おもろい」ものはある fact5: 「開放出来るということはない」ものはある fact6: この入管は蠅でない fact7: 「再放送でない」物はある fact8: もしも「その経済的自由はファミリー・サポート・センター事業である」ということは成り立つとするとそれは見難くない fact9: 「この入管は登山家らしいししかもそれはファミリー・サポート・センター事業である」ということは間違いである fact10: もし「「あるものは登山家らしい一方でファミリー・サポート・センター事業でない」ということは成り立つ」ということは間違っていれば「それは此れ有りということはない」ということは事実である fact11: もしもこの入管はファミリー・サポート・センター事業であるなら心憎くない fact12: もし仮に「高過ぎない」ものはあるとしたら「あのスポーツ・文化活動は登山家らしいけれど暗しない」ということは成り立たない fact13: 「対向しない」物はある fact14: この入管は完成出来ない
fact2 & fact1 -> int1: 「この入管は登山家らしいがファミリー・サポート・センター事業でない」ということは偽だ; fact10 -> int2: 仮に「この入管は登山家らしいけれどファミリー・サポート・センター事業でない」ということは偽であるならばそれは此れ有りということはない; int1 & int2 -> hypothesis;
fact2 & fact1 -> int1: ¬({B}{a} & ¬{C}{a}); fact10 -> int2: ¬({B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> hypothesis;
この入管は此れ有り
$facts$ = fact1: もし「自己負担しない」ものはあるなら「「この入管は登山家らしいがしかしファミリー・サポート・センター事業でない」ということは成り立たない」ということは正しい fact2: 「「自己負担しない」ということは成り立つ」ものはある fact3: あのうっかりが此れ有りとしたらこの入管は此れ有り fact4: 「おもろい」ものはある fact5: 「開放出来るということはない」ものはある fact6: この入管は蠅でない fact7: 「再放送でない」物はある fact8: もしも「その経済的自由はファミリー・サポート・センター事業である」ということは成り立つとするとそれは見難くない fact9: 「この入管は登山家らしいししかもそれはファミリー・サポート・センター事業である」ということは間違いである fact10: もし「「あるものは登山家らしい一方でファミリー・サポート・センター事業でない」ということは成り立つ」ということは間違っていれば「それは此れ有りということはない」ということは事実である fact11: もしもこの入管はファミリー・サポート・センター事業であるなら心憎くない fact12: もし仮に「高過ぎない」ものはあるとしたら「あのスポーツ・文化活動は登山家らしいけれど暗しない」ということは成り立たない fact13: 「対向しない」物はある fact14: この入管は完成出来ない ; $hypothesis$ = この入管は此れ有りということはない ; $proof$ = 
fact2 & fact1 -> int1: 「この入管は登山家らしいがファミリー・サポート・センター事業でない」ということは偽だ; fact10 -> int2: 仮に「この入管は登山家らしいけれどファミリー・サポート・センター事業でない」ということは偽であるならばそれは此れ有りということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「自己負担しない」ものはあるなら「「この入管は登山家らしいがしかしファミリー・サポート・センター事業でない」ということは成り立たない」ということは正しい
事実2: 「「自己負担しない」ということは成り立つ」ものはある
事実3: あのうっかりが此れ有りとしたらこの入管は此れ有り
事実4: 「おもろい」ものはある
事実5: 「開放出来るということはない」ものはある
事実6: この入管は蠅でない
事実7: 「再放送でない」物はある
事実8: もしも「その経済的自由はファミリー・サポート・センター事業である」ということは成り立つとするとそれは見難くない
事実9: 「この入管は登山家らしいししかもそれはファミリー・サポート・センター事業である」ということは間違いである
事実10: もし「「あるものは登山家らしい一方でファミリー・サポート・センター事業でない」ということは成り立つ」ということは間違っていれば「それは此れ有りということはない」ということは事実である
事実11: もしもこの入管はファミリー・サポート・センター事業であるなら心憎くない
事実12: もし仮に「高過ぎない」ものはあるとしたら「あのスポーツ・文化活動は登山家らしいけれど暗しない」ということは成り立たない
事実13: 「対向しない」物はある
事実14: この入管は完成出来ない

仮説: この入管は此れ有りということはない
1. 事実2と事実1から、推論1: "「この入管は登山家らしいがファミリー・サポート・センター事業でない」ということは偽だ"が導かれる
2. 事実10から、推論2: "仮に「この入管は登山家らしいけれどファミリー・サポート・センター事業でない」ということは偽であるならばそれは此れ有りということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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