この気エナジーは疑わしい
fact1: その少なさは厚ぼったい fact2: もし「その彦系系譜は其れっぽくないし勝ち易いということはない」ということは成り立たないならばあのロングウェイトレードは其れっぽくない fact3: 「「この気エナジーは冷たいかあるいはそれは差し掛ける」ということは誤っている」ということは成り立つ fact4: 「変わらない」ものはある fact5: 「「「あの江島自然活動センターは男らしいか疑わしくないかもしくはどちらもである」ということは本当である」ということは間違っている」ということは確かであるならこの気エナジーは疑わしくない fact6: 「もしなんらかの物は男らしくないならば「それは狙い難いか課役であるかまたはどちらもである」ということは間違いだ」ということは真実だ fact7: 「「男らしいかもしくは変わるかもしくは両方ともである」ということは間違いな」ものはある fact8: もしもあのロングウェイトレードが其れっぽくないとすればあの少なさは男らしいか取り易いかまたは両方ともだ fact9: 「欲深くない」物はある fact10: もしもあの江島自然活動センターは男らしくないならば「その少なさは変わるかあるいは図Ａであるか両方ともである」ということは事実と異なる fact11: 「図Ａでない」物はある fact12: 疑わしいものは男らしくない fact13: あの江島自然活動センターは男らしくない fact14: あの江島自然活動センターは変わる fact15: この気エナジーは図Ａでない fact16: 何らかのものは変わるかあるいは図Ａであるか両方ともである fact17: もしあの江島自然活動センターが男らしくないとするとその少なさは図Ａでない fact18: その少なさが厚ぼったいし疑わしいとすればあの江島自然活動センターは疑わしくない fact19: 「「男らしいか疑わしいか両方である」ということは成り立たない」物はある fact20: 「その少なさは図Ａでない」ということは成り立つ fact21: 「「変わるかまたは図Ａである」ということは本当でない」物があるとするとこの気エナジーは疑わしい fact22: 仮にあの江島自然活動センターが疑わしくないがしかしそれが増殖するとすればこの気エナジーは疑わしくない fact23: もしその少なさは増殖すれば「あの江島自然活動センターは男らしいかそれは疑わしくない」ということは成り立たない
fact10 & fact13 -> int1: 「その少なさは変わるかそれは図Ａであるかもしくは両方である」ということは間違いだ; int1 -> int2: 「「変わるかもしくは図Ａだ」ということは成り立たない」ものはある; int2 & fact21 -> hypothesis;
fact10 & fact13 -> int1: ¬({AA}{b} v {AB}{b}); int1 -> int2: (Ex): ¬({AA}x v {AB}x); int2 & fact21 -> hypothesis;
この気エナジーは疑わしいということはない
$facts$ = fact1: その少なさは厚ぼったい fact2: もし「その彦系系譜は其れっぽくないし勝ち易いということはない」ということは成り立たないならばあのロングウェイトレードは其れっぽくない fact3: 「「この気エナジーは冷たいかあるいはそれは差し掛ける」ということは誤っている」ということは成り立つ fact4: 「変わらない」ものはある fact5: 「「「あの江島自然活動センターは男らしいか疑わしくないかもしくはどちらもである」ということは本当である」ということは間違っている」ということは確かであるならこの気エナジーは疑わしくない fact6: 「もしなんらかの物は男らしくないならば「それは狙い難いか課役であるかまたはどちらもである」ということは間違いだ」ということは真実だ fact7: 「「男らしいかもしくは変わるかもしくは両方ともである」ということは間違いな」ものはある fact8: もしもあのロングウェイトレードが其れっぽくないとすればあの少なさは男らしいか取り易いかまたは両方ともだ fact9: 「欲深くない」物はある fact10: もしもあの江島自然活動センターは男らしくないならば「その少なさは変わるかあるいは図Ａであるか両方ともである」ということは事実と異なる fact11: 「図Ａでない」物はある fact12: 疑わしいものは男らしくない fact13: あの江島自然活動センターは男らしくない fact14: あの江島自然活動センターは変わる fact15: この気エナジーは図Ａでない fact16: 何らかのものは変わるかあるいは図Ａであるか両方ともである fact17: もしあの江島自然活動センターが男らしくないとするとその少なさは図Ａでない fact18: その少なさが厚ぼったいし疑わしいとすればあの江島自然活動センターは疑わしくない fact19: 「「男らしいか疑わしいか両方である」ということは成り立たない」物はある fact20: 「その少なさは図Ａでない」ということは成り立つ fact21: 「「変わるかまたは図Ａである」ということは本当でない」物があるとするとこの気エナジーは疑わしい fact22: 仮にあの江島自然活動センターが疑わしくないがしかしそれが増殖するとすればこの気エナジーは疑わしくない fact23: もしその少なさは増殖すれば「あの江島自然活動センターは男らしいかそれは疑わしくない」ということは成り立たない ; $hypothesis$ = この気エナジーは疑わしい ; $proof$ = 
fact10 & fact13 -> int1: 「その少なさは変わるかそれは図Ａであるかもしくは両方である」ということは間違いだ; int1 -> int2: 「「変わるかもしくは図Ａだ」ということは成り立たない」ものはある; int2 & fact21 -> 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: もしその少なさは増殖すれば「あの江島自然活動センターは男らしいかそれは疑わしくない」ということは成り立たない

仮説: この気エナジーは疑わしい
1. 事実10と事実13から、推論1: "「その少なさは変わるかそれは図Ａであるかもしくは両方である」ということは間違いだ"が導かれる
2. 推論1から、推論2: "「「変わるかもしくは図Ａだ」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実21から、仮説が導かれる

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