その事業成長は南米選手権だ
fact1: もし「その箕輪遺跡はカツレツでなくておまけにルークでない」ということは成り立つということはないならそのＩＮＳネットはルークでない fact2: 老人病棟はある fact3: もしなんらかの物は揺り起こさないなら「それは転び易くない一方で他愛無い」ということは誤りである fact4: この第三章水素は揺り起こす fact5: 老人病棟が転び易いならば南米選手権でない fact6: もしも転び易いということはないものが老人病棟だとしたらあの住民サービスは他愛無くない fact7: ある物は揺り起こす fact8: この接遇は揺り起こす fact9: もしあの住民サービスは揺り起こすとすれば「それは平和的手段であるし更にそれは他愛無くない」ということは成り立たない fact10: もしも「この第三章水素は揺り起こすということはないかもしくは引きちぎらないかどちらもだ」ということは間違いだとしたらあの住民サービスは揺り起こすということはない fact11: 「転び易いということはないけれど老人病棟な」物はある fact12: ルークは南米選手権だ fact13: あのビット列は当然視するとすれば「この第三章水素は揺り起こさないか引きちぎらないかあるいは両方だ」ということは誤りだ fact14: あの住民サービスは揺り起こす fact15: もし仮に「あの住民サービスは平和的手段だということはない」ということは事実であるとするとその事業成長はルークだ fact16: 「その箕輪遺跡はカツレツでないしまたルークでない」ということは正しくない fact17: 「他愛無いということはないがしかし平和的手段である」ものはある fact18: 「揺り起こすし加えて他愛無い」物はある fact19: もしもそのＩＮＳネットがルークでないならばその事業成長は老人病棟であるしかつ平和的手段である
fact11 & fact6 -> int1: あの住民サービスは他愛無くない; void -> assump1: 以下のように仮定する。あの住民サービスは平和的手段だ; int1 & assump1 -> int2: あの住民サービスは平和的手段だが他愛無くない; fact14 & fact9 -> int3: 「あの住民サービスは平和的手段だがしかしそれは他愛無いということはない」ということは間違いだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの住民サービスは平和的手段だということはない; int5 & fact15 -> int6: その事業成長はルークである; fact12 -> int7: 「もしもその事業成長がルークだとするとその事業成長は南米選手権だ」ということは確かだ; int6 & int7 -> hypothesis;
その事業成長は南米選手権でない
fact26 -> int8: 「もしも「その事業成長は老人病棟でそれに転び易い」ということは本当だとすればその事業成長は南米選手権でない」ということは間違っていない; fact24 & fact22 -> int9: そのＩＮＳネットはルークでない; fact20 & int9 -> int10: その事業成長は老人病棟でおまけにそれは平和的手段である; int10 -> int11: その事業成長は老人病棟だ; fact25 -> int12: もしあの住民サービスは揺り起こさないとしたら「それは転び易くないがしかし他愛無い」ということは確かでない;
$facts$ = fact1: もし「その箕輪遺跡はカツレツでなくておまけにルークでない」ということは成り立つということはないならそのＩＮＳネットはルークでない fact2: 老人病棟はある fact3: もしなんらかの物は揺り起こさないなら「それは転び易くない一方で他愛無い」ということは誤りである fact4: この第三章水素は揺り起こす fact5: 老人病棟が転び易いならば南米選手権でない fact6: もしも転び易いということはないものが老人病棟だとしたらあの住民サービスは他愛無くない fact7: ある物は揺り起こす fact8: この接遇は揺り起こす fact9: もしあの住民サービスは揺り起こすとすれば「それは平和的手段であるし更にそれは他愛無くない」ということは成り立たない fact10: もしも「この第三章水素は揺り起こすということはないかもしくは引きちぎらないかどちらもだ」ということは間違いだとしたらあの住民サービスは揺り起こすということはない fact11: 「転び易いということはないけれど老人病棟な」物はある fact12: ルークは南米選手権だ fact13: あのビット列は当然視するとすれば「この第三章水素は揺り起こさないか引きちぎらないかあるいは両方だ」ということは誤りだ fact14: あの住民サービスは揺り起こす fact15: もし仮に「あの住民サービスは平和的手段だということはない」ということは事実であるとするとその事業成長はルークだ fact16: 「その箕輪遺跡はカツレツでないしまたルークでない」ということは正しくない fact17: 「他愛無いということはないがしかし平和的手段である」ものはある fact18: 「揺り起こすし加えて他愛無い」物はある fact19: もしもそのＩＮＳネットがルークでないならばその事業成長は老人病棟であるしかつ平和的手段である ; $hypothesis$ = その事業成長は南米選手権だ ; $proof$ = 
fact11 & fact6 -> int1: あの住民サービスは他愛無くない; void -> assump1: 以下のように仮定する。あの住民サービスは平和的手段だ; int1 & assump1 -> int2: あの住民サービスは平和的手段だが他愛無くない; fact14 & fact9 -> int3: 「あの住民サービスは平和的手段だがしかしそれは他愛無いということはない」ということは間違いだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの住民サービスは平和的手段だということはない; int5 & fact15 -> int6: その事業成長はルークである; fact12 -> int7: 「もしもその事業成長がルークだとするとその事業成長は南米選手権だ」ということは確かだ; int6 & int7 -> hypothesis; __PROVED__
事実1: もし「その箕輪遺跡はカツレツでなくておまけにルークでない」ということは成り立つということはないならそのＩＮＳネットはルークでない
事実2: 老人病棟はある
事実3: もしなんらかの物は揺り起こさないなら「それは転び易くない一方で他愛無い」ということは誤りである
事実4: この第三章水素は揺り起こす
事実5: 老人病棟が転び易いならば南米選手権でない
事実6: もしも転び易いということはないものが老人病棟だとしたらあの住民サービスは他愛無くない
事実7: ある物は揺り起こす
事実8: この接遇は揺り起こす
事実9: もしあの住民サービスは揺り起こすとすれば「それは平和的手段であるし更にそれは他愛無くない」ということは成り立たない
事実10: もしも「この第三章水素は揺り起こすということはないかもしくは引きちぎらないかどちらもだ」ということは間違いだとしたらあの住民サービスは揺り起こすということはない
事実11: 「転び易いということはないけれど老人病棟な」物はある
事実12: ルークは南米選手権だ
事実13: あのビット列は当然視するとすれば「この第三章水素は揺り起こさないか引きちぎらないかあるいは両方だ」ということは誤りだ
事実14: あの住民サービスは揺り起こす
事実15: もし仮に「あの住民サービスは平和的手段だということはない」ということは事実であるとするとその事業成長はルークだ
事実16: 「その箕輪遺跡はカツレツでないしまたルークでない」ということは正しくない
事実17: 「他愛無いということはないがしかし平和的手段である」ものはある
事実18: 「揺り起こすし加えて他愛無い」物はある
事実19: もしもそのＩＮＳネットがルークでないならばその事業成長は老人病棟であるしかつ平和的手段である

仮説: その事業成長は南米選手権だ
1. 事実11と事実6から、推論1: "あの住民サービスは他愛無くない"が導かれる
2. 仮定1: 以下のように仮定する。あの住民サービスは平和的手段だ
3. 推論1と仮定1から、推論2: "あの住民サービスは平和的手段だが他愛無くない"が導かれる
4. 事実14と事実9から、推論3: "「あの住民サービスは平和的手段だがしかしそれは他愛無いということはない」ということは間違いだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの住民サービスは平和的手段だということはない"が導かれる
7. 推論5と事実15から、推論6: "その事業成長はルークである"が導かれる
8. 事実12から、推論7: "「もしもその事業成長がルークだとするとその事業成長は南米選手権だ」ということは確かだ"が導かれる
9. 推論6と推論7から、仮説が導かれる

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