あの軍勢は狙い難い
fact1: 「あの軍勢は電話連絡しないかあるいは取っ付き易くないかまたは両方だ」ということは成り立たない fact2: もし「なにがしかの物はおっかないしおまけに狙い難い」ということは事実でないならそれは狙い難くない fact3: もし仮にとある物は罪深くないとすると「それはおっかないしその上狙い難い」ということは間違いだ fact4: もしなにがしかのものが起こし難くないかもしくはそれは一リットル当たりであるか両方ともであるなら「罪深くない」ということは真実だ fact5: もしも「あの軍勢は電話連絡しないかまたはそれは取っ付き易くない」ということは間違いであるとするとそれは狙い難い fact6: 「この投票者は御美しくないかあるいははあはあするかあるいは両方ともである」ということは偽だ
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
あの軍勢は狙い難くない
fact10 -> int1: 「あの軍勢はおっかなくてそれは狙い難い」ということは嘘であるなら狙い難くない; fact7 -> int2: あの軍勢は罪深いということはないとすると「それはおっかなくてそれに狙い難い」ということは誤っている; fact8 -> int3: 仮にあの軍勢が起こし難くないかまたは一リットル当たりであるならばそれは罪深いということはない; fact9 -> int4: 「「御美しくないかはあはあするかあるいは両方ともである」ということは成り立たない」物はある;
$facts$ = fact1: 「あの軍勢は電話連絡しないかあるいは取っ付き易くないかまたは両方だ」ということは成り立たない fact2: もし「なにがしかの物はおっかないしおまけに狙い難い」ということは事実でないならそれは狙い難くない fact3: もし仮にとある物は罪深くないとすると「それはおっかないしその上狙い難い」ということは間違いだ fact4: もしなにがしかのものが起こし難くないかもしくはそれは一リットル当たりであるか両方ともであるなら「罪深くない」ということは真実だ fact5: もしも「あの軍勢は電話連絡しないかまたはそれは取っ付き易くない」ということは間違いであるとするとそれは狙い難い fact6: 「この投票者は御美しくないかあるいははあはあするかあるいは両方ともである」ということは偽だ ; $hypothesis$ = あの軍勢は狙い難い ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: 「あの軍勢は電話連絡しないかあるいは取っ付き易くないかまたは両方だ」ということは成り立たない
事実2: もし「なにがしかの物はおっかないしおまけに狙い難い」ということは事実でないならそれは狙い難くない
事実3: もし仮にとある物は罪深くないとすると「それはおっかないしその上狙い難い」ということは間違いだ
事実4: もしなにがしかのものが起こし難くないかもしくはそれは一リットル当たりであるか両方ともであるなら「罪深くない」ということは真実だ
事実5: もしも「あの軍勢は電話連絡しないかまたはそれは取っ付き易くない」ということは間違いであるとするとそれは狙い難い
事実6: 「この投票者は御美しくないかあるいははあはあするかあるいは両方ともである」ということは偽だ

仮説: あの軍勢は狙い難い
1. 事実5と事実1から、仮説が導かれる

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