あの戦闘能力は可愛らしいということはない
fact1: もし仮にあの戦闘能力は重大事故であるとすればそれは可愛らしくない fact2: 「あの戦闘能力は重大事故であるし加えてそれはフィールドワークする」ということは成り立たない fact3: この十九日号は物憂い fact4: 仮にあるものは物憂くないとすれば「重大事故であるし加えてフィールドワークする」ということは嘘だ fact5: もしも「なんらかのものは重大事故でないがそれはフィールドワークする」ということは本当でないとしたらそれは可愛らしくない fact6: もしもなんらかの物は物憂くないとしたら「重大事故でないがしかしフィールドワークする」ということは誤っている fact7: もしなにかは物憂いということはなくてそれに様良しということはないならこのタイ東北はフィールドワークしない fact8: もし仮にあの戦闘能力が様良しとするとそれは物憂くない fact9: もしもなにがしかのものが重大事故であるなら物憂くないしそれは様良くない fact10: もしもなんらかのものは破けば「重大事故であるということはないけれど可愛らしい」ということは成り立たない fact11: その李色は重大事故でない fact12: 「あの戦闘能力は物憂いということはない」ということは成り立つとしたら「それが重大事故だし更にフィールドワークする」ということは事実と異なる fact13: あの戦闘能力は様良し fact14: もし「差し掛かるということはなくて護送しない」ものがあるとすればその李色は破く fact15: 重大事故は可愛らしくない fact16: その骨粗鬆症は差し掛からなくておまけに護送しない
fact8 & fact13 -> int1: 「あの戦闘能力は物憂くない」ということは成り立つ; fact6 -> int2: あの戦闘能力は物憂いということはないとしたら「重大事故でないし加えてフィールドワークする」ということは間違いである; int1 & int2 -> int3: 「あの戦闘能力は重大事故でない一方でフィールドワークする」ということは誤っている; fact5 -> int4: もしも「あの戦闘能力は重大事故でないけれどフィールドワークする」ということは誤っているとすれば可愛らしくない; int3 & int4 -> hypothesis;
このタイ東北はフィールドワークしない
fact17 -> int5: もしもあの戦闘能力は重大事故であるとすればそれは物憂くないし加えて様良くない; fact21 -> int6: もしもその李色は破けば「重大事故だということはなくて可愛らしい」ということは間違いである; fact19 -> int7: ある物は差し掛からないし護送しない; int7 & fact18 -> int8: その李色は破く; int6 & int8 -> int9: 「その李色は重大事故でないけど可愛らしい」ということは間違いである; int9 -> int10: 「「重大事故であるということはないけど可愛らしい」ということは正しくない」ものはある;
$facts$ = fact1: もし仮にあの戦闘能力は重大事故であるとすればそれは可愛らしくない fact2: 「あの戦闘能力は重大事故であるし加えてそれはフィールドワークする」ということは成り立たない fact3: この十九日号は物憂い fact4: 仮にあるものは物憂くないとすれば「重大事故であるし加えてフィールドワークする」ということは嘘だ fact5: もしも「なんらかのものは重大事故でないがそれはフィールドワークする」ということは本当でないとしたらそれは可愛らしくない fact6: もしもなんらかの物は物憂くないとしたら「重大事故でないがしかしフィールドワークする」ということは誤っている fact7: もしなにかは物憂いということはなくてそれに様良しということはないならこのタイ東北はフィールドワークしない fact8: もし仮にあの戦闘能力が様良しとするとそれは物憂くない fact9: もしもなにがしかのものが重大事故であるなら物憂くないしそれは様良くない fact10: もしもなんらかのものは破けば「重大事故であるということはないけれど可愛らしい」ということは成り立たない fact11: その李色は重大事故でない fact12: 「あの戦闘能力は物憂いということはない」ということは成り立つとしたら「それが重大事故だし更にフィールドワークする」ということは事実と異なる fact13: あの戦闘能力は様良し fact14: もし「差し掛かるということはなくて護送しない」ものがあるとすればその李色は破く fact15: 重大事故は可愛らしくない fact16: その骨粗鬆症は差し掛からなくておまけに護送しない ; $hypothesis$ = あの戦闘能力は可愛らしいということはない ; $proof$ = 
fact8 & fact13 -> int1: 「あの戦闘能力は物憂くない」ということは成り立つ; fact6 -> int2: あの戦闘能力は物憂いということはないとしたら「重大事故でないし加えてフィールドワークする」ということは間違いである; int1 & int2 -> int3: 「あの戦闘能力は重大事故でない一方でフィールドワークする」ということは誤っている; fact5 -> int4: もしも「あの戦闘能力は重大事故でないけれどフィールドワークする」ということは誤っているとすれば可愛らしくない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にあの戦闘能力は重大事故であるとすればそれは可愛らしくない
事実2: 「あの戦闘能力は重大事故であるし加えてそれはフィールドワークする」ということは成り立たない
事実3: この十九日号は物憂い
事実4: 仮にあるものは物憂くないとすれば「重大事故であるし加えてフィールドワークする」ということは嘘だ
事実5: もしも「なんらかのものは重大事故でないがそれはフィールドワークする」ということは本当でないとしたらそれは可愛らしくない
事実6: もしもなんらかの物は物憂くないとしたら「重大事故でないがしかしフィールドワークする」ということは誤っている
事実7: もしなにかは物憂いということはなくてそれに様良しということはないならこのタイ東北はフィールドワークしない
事実8: もし仮にあの戦闘能力が様良しとするとそれは物憂くない
事実9: もしもなにがしかのものが重大事故であるなら物憂くないしそれは様良くない
事実10: もしもなんらかのものは破けば「重大事故であるということはないけれど可愛らしい」ということは成り立たない
事実11: その李色は重大事故でない
事実12: 「あの戦闘能力は物憂いということはない」ということは成り立つとしたら「それが重大事故だし更にフィールドワークする」ということは事実と異なる
事実13: あの戦闘能力は様良し
事実14: もし「差し掛かるということはなくて護送しない」ものがあるとすればその李色は破く
事実15: 重大事故は可愛らしくない
事実16: その骨粗鬆症は差し掛からなくておまけに護送しない

仮説: あの戦闘能力は可愛らしいということはない
1. 事実8と事実13から、推論1: "「あの戦闘能力は物憂くない」ということは成り立つ"が導かれる
2. 事実6から、推論2: "あの戦闘能力は物憂いということはないとしたら「重大事故でないし加えてフィールドワークする」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "「あの戦闘能力は重大事故でない一方でフィールドワークする」ということは誤っている"が導かれる
4. 事実5から、推論4: "もしも「あの戦闘能力は重大事故でないけれどフィールドワークする」ということは誤っているとすれば可愛らしくない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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