あの未公開株は京都らしいしその上左揃えである
fact1: もし「「密封しなくて更に京都らしくない」ということは事実と異なる」物があるとしたらあの未公開株は京都らしい fact2: この決は増加応力でない fact3: その業務量は左揃えでない fact4: もし仮にこの決は左揃えでないならば「あの未公開株は京都らしいし更に左揃えだ」ということは成り立たない fact5: 「力無くない」ものはある fact6: この決は増加応力であるということはないし左揃えでない fact7: 仮になんらかのものは力無くないとすると「この水頭症は密封しなくて京都らしいということはない」ということは事実と異なる fact8: なにかは左揃えでないけれどＳＳ指揮官であるならこの決は増加応力でない fact9: もしこの決は京都らしくないとすると「あの未公開株は増加応力であるし加えて京都らしい」ということは成り立つということはない fact10: 対応し易くないものは左揃えでないがＳＳ指揮官だ
fact6 -> int1: この決は左揃えでない; int1 & fact4 -> hypothesis;
fact6 -> int1: ¬{B}{a}; int1 & fact4 -> hypothesis;
「このバリアーは交渉すしそれにそれは京都らしい」ということは間違っている
fact11 -> int2: もし仮にこの水頭症が対応し易くないならば左揃えでなくて更にＳＳ指揮官だ;
$facts$ = fact1: もし「「密封しなくて更に京都らしくない」ということは事実と異なる」物があるとしたらあの未公開株は京都らしい fact2: この決は増加応力でない fact3: その業務量は左揃えでない fact4: もし仮にこの決は左揃えでないならば「あの未公開株は京都らしいし更に左揃えだ」ということは成り立たない fact5: 「力無くない」ものはある fact6: この決は増加応力であるということはないし左揃えでない fact7: 仮になんらかのものは力無くないとすると「この水頭症は密封しなくて京都らしいということはない」ということは事実と異なる fact8: なにかは左揃えでないけれどＳＳ指揮官であるならこの決は増加応力でない fact9: もしこの決は京都らしくないとすると「あの未公開株は増加応力であるし加えて京都らしい」ということは成り立つということはない fact10: 対応し易くないものは左揃えでないがＳＳ指揮官だ ; $hypothesis$ = あの未公開株は京都らしいしその上左揃えである ; $proof$ = 
fact6 -> int1: この決は左揃えでない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし「「密封しなくて更に京都らしくない」ということは事実と異なる」物があるとしたらあの未公開株は京都らしい
事実2: この決は増加応力でない
事実3: その業務量は左揃えでない
事実4: もし仮にこの決は左揃えでないならば「あの未公開株は京都らしいし更に左揃えだ」ということは成り立たない
事実5: 「力無くない」ものはある
事実6: この決は増加応力であるということはないし左揃えでない
事実7: 仮になんらかのものは力無くないとすると「この水頭症は密封しなくて京都らしいということはない」ということは事実と異なる
事実8: なにかは左揃えでないけれどＳＳ指揮官であるならこの決は増加応力でない
事実9: もしこの決は京都らしくないとすると「あの未公開株は増加応力であるし加えて京都らしい」ということは成り立つということはない
事実10: 対応し易くないものは左揃えでないがＳＳ指揮官だ

仮説: あの未公開株は京都らしいしその上左揃えである
1. 事実6から、推論1: "この決は左揃えでない"が導かれる
2. 推論1と事実4から、仮説が否定される

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