あの六十ミリメートル以上は近付き難くない
fact1: もし仮にあの六十ミリメートル以上が大手製造業であるしそれが弱しとすれば近付き難い fact2: 弱しない大手製造業は近付き難い fact3: あの六十ミリメートル以上が大手製造業だけど弱しない fact4: 「仮に柔らかい物はＩＵＣＮでないならば収受する」ということは真実である fact5: もし仮に何かは削減割合でないかまたは軽費老人ホームであるかあるいはどちらもであるとしたらそれは削減割合でない fact6: もしも大手製造業が弱しとすればそれは近付き難い
fact2 -> int1: 仮にあの六十ミリメートル以上は大手製造業だけど弱しないなら「それは近付き難い」ということは本当だ; int1 & fact3 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> hypothesis;
このエトルリア文明は近付き難い
fact7 -> int2: もし仮にあの当年度実績が削減割合でないかあるいは軽費老人ホームであるかあるいは両方ならば削減割合でない;
$facts$ = fact1: もし仮にあの六十ミリメートル以上が大手製造業であるしそれが弱しとすれば近付き難い fact2: 弱しない大手製造業は近付き難い fact3: あの六十ミリメートル以上が大手製造業だけど弱しない fact4: 「仮に柔らかい物はＩＵＣＮでないならば収受する」ということは真実である fact5: もし仮に何かは削減割合でないかまたは軽費老人ホームであるかあるいはどちらもであるとしたらそれは削減割合でない fact6: もしも大手製造業が弱しとすればそれは近付き難い ; $hypothesis$ = あの六十ミリメートル以上は近付き難くない ; $proof$ = 
fact2 -> int1: 仮にあの六十ミリメートル以上は大手製造業だけど弱しないなら「それは近付き難い」ということは本当だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの六十ミリメートル以上が大手製造業であるしそれが弱しとすれば近付き難い
事実2: 弱しない大手製造業は近付き難い
事実3: あの六十ミリメートル以上が大手製造業だけど弱しない
事実4: 「仮に柔らかい物はＩＵＣＮでないならば収受する」ということは真実である
事実5: もし仮に何かは削減割合でないかまたは軽費老人ホームであるかあるいはどちらもであるとしたらそれは削減割合でない
事実6: もしも大手製造業が弱しとすればそれは近付き難い

仮説: あの六十ミリメートル以上は近付き難くない
1. 事実2から、推論1: "仮にあの六十ミリメートル以上は大手製造業だけど弱しないなら「それは近付き難い」ということは本当だ"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。