あの戦闘準備は通じ易くない
fact1: 「薩長でない」ものはある fact2: もしもあの戦闘準備は薩長であるならばそれは節税しないかあるいは嘆かわしくないかまたは両方ともである fact3: そのキールは考え難い fact4: 仮になにかは薩長でないならば「そのキールは嘆かわしいがそれは何気無くない」ということは誤りである fact5: もし仮にあるものは薩長でないなら「そのキールは嘆かわしいということはないしその上何気無くない」ということは成り立つということはない fact6: 仮に「そのキールは嘆かわしくなくておまけに何気無くない」ということは間違いであるとするとあの戦闘準備は通じ易くない fact7: そのキールは通じ易いということはない fact8: 「そのキールは嘆かわしくない一方で何気無い」ということは成り立たない fact9: もし仮に「薩長でない」ものはあるとしたら「そのキールは嘆かわしくないけれどそれは何気無い」ということは嘘だ fact10: 仮にあの戦闘準備が節税しないか嘆かわしくないとするとそのキールは節税しない fact11: 「そのキールは嘆かわしいけどそれは何気無くない」ということは成り立たない fact12: 「薩長である」物はある
fact1 & fact5 -> int1: 「そのキールは嘆かわしくないしまた何気無くない」ということは事実と異なる; int1 & fact6 -> hypothesis;
fact1 & fact5 -> int1: ¬(¬{B}{a} & ¬{C}{a}); int1 & fact6 -> hypothesis;
あの戦闘準備は通じ易い
fact13 -> int2: 「考え難い」ものはある;
$facts$ = fact1: 「薩長でない」ものはある fact2: もしもあの戦闘準備は薩長であるならばそれは節税しないかあるいは嘆かわしくないかまたは両方ともである fact3: そのキールは考え難い fact4: 仮になにかは薩長でないならば「そのキールは嘆かわしいがそれは何気無くない」ということは誤りである fact5: もし仮にあるものは薩長でないなら「そのキールは嘆かわしいということはないしその上何気無くない」ということは成り立つということはない fact6: 仮に「そのキールは嘆かわしくなくておまけに何気無くない」ということは間違いであるとするとあの戦闘準備は通じ易くない fact7: そのキールは通じ易いということはない fact8: 「そのキールは嘆かわしくない一方で何気無い」ということは成り立たない fact9: もし仮に「薩長でない」ものはあるとしたら「そのキールは嘆かわしくないけれどそれは何気無い」ということは嘘だ fact10: 仮にあの戦闘準備が節税しないか嘆かわしくないとするとそのキールは節税しない fact11: 「そのキールは嘆かわしいけどそれは何気無くない」ということは成り立たない fact12: 「薩長である」物はある ; $hypothesis$ = あの戦闘準備は通じ易くない ; $proof$ = 
fact1 & fact5 -> int1: 「そのキールは嘆かわしくないしまた何気無くない」ということは事実と異なる; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「薩長でない」ものはある
事実2: もしもあの戦闘準備は薩長であるならばそれは節税しないかあるいは嘆かわしくないかまたは両方ともである
事実3: そのキールは考え難い
事実4: 仮になにかは薩長でないならば「そのキールは嘆かわしいがそれは何気無くない」ということは誤りである
事実5: もし仮にあるものは薩長でないなら「そのキールは嘆かわしいということはないしその上何気無くない」ということは成り立つということはない
事実6: 仮に「そのキールは嘆かわしくなくておまけに何気無くない」ということは間違いであるとするとあの戦闘準備は通じ易くない
事実7: そのキールは通じ易いということはない
事実8: 「そのキールは嘆かわしくない一方で何気無い」ということは成り立たない
事実9: もし仮に「薩長でない」ものはあるとしたら「そのキールは嘆かわしくないけれどそれは何気無い」ということは嘘だ
事実10: 仮にあの戦闘準備が節税しないか嘆かわしくないとするとそのキールは節税しない
事実11: 「そのキールは嘆かわしいけどそれは何気無くない」ということは成り立たない
事実12: 「薩長である」物はある

仮説: あの戦闘準備は通じ易くない
1. 事実1と事実5から、推論1: "「そのキールは嘆かわしくないしまた何気無くない」ということは事実と異なる"が導かれる
2. 推論1と事実6から、仮説が導かれる

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