この社会教育活動は結束するし反米運動である
fact1: もし仮に「あのキャピタル・ゲイン税はされ易い」ということは事実だとすればあの社会教育活動は六十前後でない fact2: もし仮にこのホワイトアッシュが乳臭いならばあのキャピタル・ゲイン税は指揮下だけど座禅しない fact3: 「この社会教育活動は座禅する」ということは確かである fact4: もしとある物が座禅しないとしたらそれはされ易いかあるいはそれは協働プロセスであるかもしくはどちらもである fact5: このライン上は座禅する fact6: もしもこのホワイトアッシュが慰問であるかもしくはＨＯでないなら乳臭い fact7: もしなにがしかのものが六十前後だということはないとすればそれは意訳しないしそれに幕切れだということはない fact8: もし仮にあのキャピタル・ゲイン税は幕切れだとすると「このホワイトアッシュはされ易くないかまたは幕切れであるかまたはどちらもだ」ということは嘘である fact9: 「「情けなくなくて意気でない」ということは誤っている」ものはある fact10: あのキャピタル・ゲイン税は意訳する fact11: もし仮に「「情けないということはなくて意気でない」ということは正しくない」ものがあるとするとあの誤球は意気だ fact12: 仮に何らかのものは幕切れでないならば「それは結束するしそれは反米運動だ」ということは嘘である fact13: このホワイトアッシュはされ易い fact14: 「あの食べ頃は協働プロセスである」ということは成り立つ fact15: もし「このホワイトアッシュはされ易いかもしくは幕切れだ」ということは偽であるとすればあの誤球は六十前後でない fact16: もし仮にあのキャピタル・ゲイン税が幕切れであるとすればこのホワイトアッシュはされ易い fact17: あのキャピタル・ゲイン税が幕切れだしさらにそれは意訳する fact18: 「もしも「あの食べ頃は協働プロセスである」ということは確かであるとすれば「あの誤球は協働プロセスだ」ということは事実だ」ということは本当だ fact19: 「そのゲームは座禅する」ということは確かである fact20: 仮にあの誤球は六十前後でないけど協働プロセスであるとすると「この社会教育活動は反米運動である」ということは正しい fact21: 何らかのものは座禅するとしたら「結束する」ということは本当である fact22: あの誤球は反米運動である fact23: 仮に「意気である」ものがあるとするとこのホワイトアッシュは慰問であるかあるいはＨＯでないかあるいはどちらもである fact24: 仮に「このホワイトアッシュはされ易くないかあるいは幕切れであるかまたは両方だ」ということは偽であるならあの誤球は六十前後でない
fact17 -> int1: あのキャピタル・ゲイン税は幕切れだ; int1 & fact8 -> int2: 「このホワイトアッシュはされ易くないかそれは幕切れである」ということは事実と異なる; int2 & fact24 -> int3: あの誤球は六十前後でない; fact18 & fact14 -> int4: あの誤球は協働プロセスだ; int3 & int4 -> int5: あの誤球は六十前後でないが協働プロセスだ; int5 & fact20 -> int6: 「この社会教育活動は反米運動である」ということは事実だ; fact21 -> int7: もし仮にこの社会教育活動は座禅すれば「結束する」ということは本当だ; int7 & fact3 -> int8: この社会教育活動は結束する; int6 & int8 -> hypothesis;
「この社会教育活動は結束するしまたそれは反米運動である」ということは誤りである
fact28 -> int9: もしこの社会教育活動は幕切れでないならば「結束するしさらに反米運動である」ということは成り立たない; fact25 -> int10: この社会教育活動は六十前後であるということはないとしたらそれは意訳するということはなくてかつ幕切れであるということはない; fact27 -> int11: もしもあのキャピタル・ゲイン税が座禅しないとすればされ易いか協働プロセスだ; fact30 & fact29 -> int12: あの誤球は意気である; int12 -> int13: ある物は意気だ; int13 & fact32 -> int14: このホワイトアッシュは慰問であるかあるいはＨＯでないかまたは両方である; fact31 & int14 -> int15: このホワイトアッシュは乳臭い; fact33 & int15 -> int16: あのキャピタル・ゲイン税は指揮下であるがしかし座禅しない; int16 -> int17: あのキャピタル・ゲイン税は座禅しない; int11 & int17 -> int18: あのキャピタル・ゲイン税はされ易いか協働プロセスであるかもしくはどちらもだ;
$facts$ = fact1: もし仮に「あのキャピタル・ゲイン税はされ易い」ということは事実だとすればあの社会教育活動は六十前後でない fact2: もし仮にこのホワイトアッシュが乳臭いならばあのキャピタル・ゲイン税は指揮下だけど座禅しない fact3: 「この社会教育活動は座禅する」ということは確かである fact4: もしとある物が座禅しないとしたらそれはされ易いかあるいはそれは協働プロセスであるかもしくはどちらもである fact5: このライン上は座禅する fact6: もしもこのホワイトアッシュが慰問であるかもしくはＨＯでないなら乳臭い fact7: もしなにがしかのものが六十前後だということはないとすればそれは意訳しないしそれに幕切れだということはない fact8: もし仮にあのキャピタル・ゲイン税は幕切れだとすると「このホワイトアッシュはされ易くないかまたは幕切れであるかまたはどちらもだ」ということは嘘である fact9: 「「情けなくなくて意気でない」ということは誤っている」ものはある fact10: あのキャピタル・ゲイン税は意訳する fact11: もし仮に「「情けないということはなくて意気でない」ということは正しくない」ものがあるとするとあの誤球は意気だ fact12: 仮に何らかのものは幕切れでないならば「それは結束するしそれは反米運動だ」ということは嘘である fact13: このホワイトアッシュはされ易い fact14: 「あの食べ頃は協働プロセスである」ということは成り立つ fact15: もし「このホワイトアッシュはされ易いかもしくは幕切れだ」ということは偽であるとすればあの誤球は六十前後でない fact16: もし仮にあのキャピタル・ゲイン税が幕切れであるとすればこのホワイトアッシュはされ易い fact17: あのキャピタル・ゲイン税が幕切れだしさらにそれは意訳する fact18: 「もしも「あの食べ頃は協働プロセスである」ということは確かであるとすれば「あの誤球は協働プロセスだ」ということは事実だ」ということは本当だ fact19: 「そのゲームは座禅する」ということは確かである fact20: 仮にあの誤球は六十前後でないけど協働プロセスであるとすると「この社会教育活動は反米運動である」ということは正しい fact21: 何らかのものは座禅するとしたら「結束する」ということは本当である fact22: あの誤球は反米運動である fact23: 仮に「意気である」ものがあるとするとこのホワイトアッシュは慰問であるかあるいはＨＯでないかあるいはどちらもである fact24: 仮に「このホワイトアッシュはされ易くないかあるいは幕切れであるかまたは両方だ」ということは偽であるならあの誤球は六十前後でない ; $hypothesis$ = この社会教育活動は結束するし反米運動である ; $proof$ = 
fact17 -> int1: あのキャピタル・ゲイン税は幕切れだ; int1 & fact8 -> int2: 「このホワイトアッシュはされ易くないかそれは幕切れである」ということは事実と異なる; int2 & fact24 -> int3: あの誤球は六十前後でない; fact18 & fact14 -> int4: あの誤球は協働プロセスだ; int3 & int4 -> int5: あの誤球は六十前後でないが協働プロセスだ; int5 & fact20 -> int6: 「この社会教育活動は反米運動である」ということは事実だ; fact21 -> int7: もし仮にこの社会教育活動は座禅すれば「結束する」ということは本当だ; int7 & fact3 -> int8: この社会教育活動は結束する; int6 & int8 -> hypothesis; __PROVED__
事実1: もし仮に「あのキャピタル・ゲイン税はされ易い」ということは事実だとすればあの社会教育活動は六十前後でない
事実2: もし仮にこのホワイトアッシュが乳臭いならばあのキャピタル・ゲイン税は指揮下だけど座禅しない
事実3: 「この社会教育活動は座禅する」ということは確かである
事実4: もしとある物が座禅しないとしたらそれはされ易いかあるいはそれは協働プロセスであるかもしくはどちらもである
事実5: このライン上は座禅する
事実6: もしもこのホワイトアッシュが慰問であるかもしくはＨＯでないなら乳臭い
事実7: もしなにがしかのものが六十前後だということはないとすればそれは意訳しないしそれに幕切れだということはない
事実8: もし仮にあのキャピタル・ゲイン税は幕切れだとすると「このホワイトアッシュはされ易くないかまたは幕切れであるかまたはどちらもだ」ということは嘘である
事実9: 「「情けなくなくて意気でない」ということは誤っている」ものはある
事実10: あのキャピタル・ゲイン税は意訳する
事実11: もし仮に「「情けないということはなくて意気でない」ということは正しくない」ものがあるとするとあの誤球は意気だ
事実12: 仮に何らかのものは幕切れでないならば「それは結束するしそれは反米運動だ」ということは嘘である
事実13: このホワイトアッシュはされ易い
事実14: 「あの食べ頃は協働プロセスである」ということは成り立つ
事実15: もし「このホワイトアッシュはされ易いかもしくは幕切れだ」ということは偽であるとすればあの誤球は六十前後でない
事実16: もし仮にあのキャピタル・ゲイン税が幕切れであるとすればこのホワイトアッシュはされ易い
事実17: あのキャピタル・ゲイン税が幕切れだしさらにそれは意訳する
事実18: 「もしも「あの食べ頃は協働プロセスである」ということは確かであるとすれば「あの誤球は協働プロセスだ」ということは事実だ」ということは本当だ
事実19: 「そのゲームは座禅する」ということは確かである
事実20: 仮にあの誤球は六十前後でないけど協働プロセスであるとすると「この社会教育活動は反米運動である」ということは正しい
事実21: 何らかのものは座禅するとしたら「結束する」ということは本当である
事実22: あの誤球は反米運動である
事実23: 仮に「意気である」ものがあるとするとこのホワイトアッシュは慰問であるかあるいはＨＯでないかあるいはどちらもである
事実24: 仮に「このホワイトアッシュはされ易くないかあるいは幕切れであるかまたは両方だ」ということは偽であるならあの誤球は六十前後でない

仮説: この社会教育活動は結束するし反米運動である
1. 事実17から、推論1: "あのキャピタル・ゲイン税は幕切れだ"が導かれる
2. 推論1と事実8から、推論2: "「このホワイトアッシュはされ易くないかそれは幕切れである」ということは事実と異なる"が導かれる
3. 推論2と事実24から、推論3: "あの誤球は六十前後でない"が導かれる
4. 事実18と事実14から、推論4: "あの誤球は協働プロセスだ"が導かれる
5. 推論3と推論4から、推論5: "あの誤球は六十前後でないが協働プロセスだ"が導かれる
6. 推論5と事実20から、推論6: "「この社会教育活動は反米運動である」ということは事実だ"が導かれる
7. 事実21から、推論7: "もし仮にこの社会教育活動は座禅すれば「結束する」ということは本当だ"が導かれる
8. 推論7と事実3から、推論8: "この社会教育活動は結束する"が導かれる
9. 推論6と推論8から、仮説が導かれる

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