そのＭＩＧが行脚だけどそれは長くない
fact1: 仮にある物が引き締めないとしたらミクロ分析であるしおまけに偏重する fact2: もし仮に「何らかの物は行脚でないがしかし長い」ということは嘘であるとすればそれは行脚である fact3: もしそのＭＩＧはＡＮＸであるならばそれは行脚だけれど長くない fact4: もし仮にそのＭＩＧが呆気ないということはないとしたらまあるい fact5: なんらかの物はＡＮＸでないなら「それは行脚であるしさらにそれは長くない」ということは誤りである fact6: もし「そのレーザー療法は決め難くない」ということは真実であるなら「集め始めるかあるいはまあるかないかまたは両方ともだ」ということは偽である fact7: もし仮に「この犯罪論体系は古くないが痒い」ということは嘘だとしたらその元治元年は痒い fact8: もしそのＭＩＧはＡＮＸであるならそれは行脚である fact9: もしその元治元年が痒いならば引き締めない fact10: そのＭＩＧはまあるい fact11: そのＭＩＧは呆気なくない fact12: もしその元治元年が偏重するとすればそのＭＩＧは呆気ないけどＡＮＸであるということはない fact13: 「なにかは唐軍であるかもしくはまあるい」ということは事実と異なるならそれはＡＮＸである fact14: 「そのＭＩＧは唐軍であるかまたはまあるいか両方だ」ということは成り立たないとするとＡＮＸである fact15: そのＭＩＧは行脚である fact16: 仮に「なにがしかのものは唐軍であるかあるいはそれはまあるいということはないかどちらもである」ということは誤りだとするとＡＮＸである fact17: もしもそのＭＩＧは呆気なくないとすれば「唐軍であるかあるいはまあるいということはない」ということは成り立たない
fact16 -> int1: もし「そのＭＩＧは唐軍であるかまあるくないか両方ともである」ということは成り立たないとしたらＡＮＸである; fact11 & fact17 -> int2: 「そのＭＩＧは唐軍であるかそれはまあるいということはないかもしくは両方だ」ということは成り立つということはない; int1 & int2 -> int3: そのＭＩＧはＡＮＸである; int3 & fact3 -> hypothesis;
fact16 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact11 & fact17 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact3 -> hypothesis;
その太閤様は思い遣れるがそれはまあるかない
fact18 -> int4: 「その太閤様は行脚だということはない一方で長い」ということは成り立たないならそれは行脚だ;
$facts$ = fact1: 仮にある物が引き締めないとしたらミクロ分析であるしおまけに偏重する fact2: もし仮に「何らかの物は行脚でないがしかし長い」ということは嘘であるとすればそれは行脚である fact3: もしそのＭＩＧはＡＮＸであるならばそれは行脚だけれど長くない fact4: もし仮にそのＭＩＧが呆気ないということはないとしたらまあるい fact5: なんらかの物はＡＮＸでないなら「それは行脚であるしさらにそれは長くない」ということは誤りである fact6: もし「そのレーザー療法は決め難くない」ということは真実であるなら「集め始めるかあるいはまあるかないかまたは両方ともだ」ということは偽である fact7: もし仮に「この犯罪論体系は古くないが痒い」ということは嘘だとしたらその元治元年は痒い fact8: もしそのＭＩＧはＡＮＸであるならそれは行脚である fact9: もしその元治元年が痒いならば引き締めない fact10: そのＭＩＧはまあるい fact11: そのＭＩＧは呆気なくない fact12: もしその元治元年が偏重するとすればそのＭＩＧは呆気ないけどＡＮＸであるということはない fact13: 「なにかは唐軍であるかもしくはまあるい」ということは事実と異なるならそれはＡＮＸである fact14: 「そのＭＩＧは唐軍であるかまたはまあるいか両方だ」ということは成り立たないとするとＡＮＸである fact15: そのＭＩＧは行脚である fact16: 仮に「なにがしかのものは唐軍であるかあるいはそれはまあるいということはないかどちらもである」ということは誤りだとするとＡＮＸである fact17: もしもそのＭＩＧは呆気なくないとすれば「唐軍であるかあるいはまあるいということはない」ということは成り立たない ; $hypothesis$ = そのＭＩＧが行脚だけどそれは長くない ; $proof$ = 
fact16 -> int1: もし「そのＭＩＧは唐軍であるかまあるくないか両方ともである」ということは成り立たないとしたらＡＮＸである; fact11 & fact17 -> int2: 「そのＭＩＧは唐軍であるかそれはまあるいということはないかもしくは両方だ」ということは成り立つということはない; int1 & int2 -> int3: そのＭＩＧはＡＮＸである; int3 & fact3 -> hypothesis; __PROVED__
事実1: 仮にある物が引き締めないとしたらミクロ分析であるしおまけに偏重する
事実2: もし仮に「何らかの物は行脚でないがしかし長い」ということは嘘であるとすればそれは行脚である
事実3: もしそのＭＩＧはＡＮＸであるならばそれは行脚だけれど長くない
事実4: もし仮にそのＭＩＧが呆気ないということはないとしたらまあるい
事実5: なんらかの物はＡＮＸでないなら「それは行脚であるしさらにそれは長くない」ということは誤りである
事実6: もし「そのレーザー療法は決め難くない」ということは真実であるなら「集め始めるかあるいはまあるかないかまたは両方ともだ」ということは偽である
事実7: もし仮に「この犯罪論体系は古くないが痒い」ということは嘘だとしたらその元治元年は痒い
事実8: もしそのＭＩＧはＡＮＸであるならそれは行脚である
事実9: もしその元治元年が痒いならば引き締めない
事実10: そのＭＩＧはまあるい
事実11: そのＭＩＧは呆気なくない
事実12: もしその元治元年が偏重するとすればそのＭＩＧは呆気ないけどＡＮＸであるということはない
事実13: 「なにかは唐軍であるかもしくはまあるい」ということは事実と異なるならそれはＡＮＸである
事実14: 「そのＭＩＧは唐軍であるかまたはまあるいか両方だ」ということは成り立たないとするとＡＮＸである
事実15: そのＭＩＧは行脚である
事実16: 仮に「なにがしかのものは唐軍であるかあるいはそれはまあるいということはないかどちらもである」ということは誤りだとするとＡＮＸである
事実17: もしもそのＭＩＧは呆気なくないとすれば「唐軍であるかあるいはまあるいということはない」ということは成り立たない

仮説: そのＭＩＧが行脚だけどそれは長くない
1. 事実16から、推論1: "もし「そのＭＩＧは唐軍であるかまあるくないか両方ともである」ということは成り立たないとしたらＡＮＸである"が導かれる
2. 事実11と事実17から、推論2: "「そのＭＩＧは唐軍であるかそれはまあるいということはないかもしくは両方だ」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "そのＭＩＧはＡＮＸである"が導かれる
4. 推論3と事実3から、仮説が導かれる

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