その京極局は脱色しない
fact1: 「この専有面積は御月さんであるということはない」ということは事実と異ならない fact2: この専有面積は退団しない fact3: 仮に酸化し難くないものがあればこの専有面積は脱色するということはない fact4: もしなんらかのものが脱色するということはないならその京極局は酸化し難いということはない fact5: その京極局は南下しない fact6: もし仮にとある物が酸化し難くないならばあの京極局は脱色しない fact7: この専有面積は参加し得ない fact8: 何かは脱色する fact9: 「余所余所しいということはない」ものはある fact10: この専有面積は酸化し難くない fact11: あの縦覧手続きは踊り出さない fact12: 「機会でない」物はある fact13: もし「あの早期治療は三十五歳以上でなくてそれは突き進むということはない」ということは事実だということはないとすればその京極局はにやつく fact14: もしもあの早期治療は機会でないなら「それは三十五歳以上でないし突き進まない」ということは偽である fact15: 仮に何らかの物はにやつくなら「それは脱色するがしかし酸化し難くない」ということは成り立たない
fact10 -> int1: 「酸化し難くない」物はある; int1 & fact6 -> hypothesis;
あのＨＴＭＬファイルはし付けない
fact16 -> int2: もし仮にその京極局はにやつくなら「脱色するしかつそれは酸化し難いということはない」ということは真実でない;
$facts$ = fact1: 「この専有面積は御月さんであるということはない」ということは事実と異ならない fact2: この専有面積は退団しない fact3: 仮に酸化し難くないものがあればこの専有面積は脱色するということはない fact4: もしなんらかのものが脱色するということはないならその京極局は酸化し難いということはない fact5: その京極局は南下しない fact6: もし仮にとある物が酸化し難くないならばあの京極局は脱色しない fact7: この専有面積は参加し得ない fact8: 何かは脱色する fact9: 「余所余所しいということはない」ものはある fact10: この専有面積は酸化し難くない fact11: あの縦覧手続きは踊り出さない fact12: 「機会でない」物はある fact13: もし「あの早期治療は三十五歳以上でなくてそれは突き進むということはない」ということは事実だということはないとすればその京極局はにやつく fact14: もしもあの早期治療は機会でないなら「それは三十五歳以上でないし突き進まない」ということは偽である fact15: 仮に何らかの物はにやつくなら「それは脱色するがしかし酸化し難くない」ということは成り立たない ; $hypothesis$ = その京極局は脱色しない ; $proof$ = 
fact10 -> int1: 「酸化し難くない」物はある; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「この専有面積は御月さんであるということはない」ということは事実と異ならない
事実2: この専有面積は退団しない
事実3: 仮に酸化し難くないものがあればこの専有面積は脱色するということはない
事実4: もしなんらかのものが脱色するということはないならその京極局は酸化し難いということはない
事実5: その京極局は南下しない
事実6: もし仮にとある物が酸化し難くないならばあの京極局は脱色しない
事実7: この専有面積は参加し得ない
事実8: 何かは脱色する
事実9: 「余所余所しいということはない」ものはある
事実10: この専有面積は酸化し難くない
事実11: あの縦覧手続きは踊り出さない
事実12: 「機会でない」物はある
事実13: もし「あの早期治療は三十五歳以上でなくてそれは突き進むということはない」ということは事実だということはないとすればその京極局はにやつく
事実14: もしもあの早期治療は機会でないなら「それは三十五歳以上でないし突き進まない」ということは偽である
事実15: 仮に何らかの物はにやつくなら「それは脱色するがしかし酸化し難くない」ということは成り立たない

仮説: その京極局は脱色しない
1. 事実10から、推論1: "「酸化し難くない」物はある"が導かれる
2. 推論1と事実6から、仮説が導かれる

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