この稼働率は意識しない
fact1: 仮にそのフィリピン人女性は久しいとすれば「「この稼働率は久しいということはなくて老齢化でない」ということは確かでない」ということは本当だ fact2: もしもそのフィリピン人女性が疑わしならそれは久しい fact3: そのフィリピン人女性は疑わし fact4: 「この稼働率は久しくないしそれに老齢化でない」ということは偽であるとすれば意識しない
fact2 & fact3 -> int1: そのフィリピン人女性は久しい; int1 & fact1 -> int2: 「この稼働率は久しくないし老齢化だということはない」ということは間違いである; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ¬(¬{B}{b} & ¬{C}{b}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 仮にそのフィリピン人女性は久しいとすれば「「この稼働率は久しいということはなくて老齢化でない」ということは確かでない」ということは本当だ fact2: もしもそのフィリピン人女性が疑わしならそれは久しい fact3: そのフィリピン人女性は疑わし fact4: 「この稼働率は久しくないしそれに老齢化でない」ということは偽であるとすれば意識しない ; $hypothesis$ = この稼働率は意識しない ; $proof$ = 
fact2 & fact3 -> int1: そのフィリピン人女性は久しい; int1 & fact1 -> int2: 「この稼働率は久しくないし老齢化だということはない」ということは間違いである; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にそのフィリピン人女性は久しいとすれば「「この稼働率は久しいということはなくて老齢化でない」ということは確かでない」ということは本当だ
事実2: もしもそのフィリピン人女性が疑わしならそれは久しい
事実3: そのフィリピン人女性は疑わし
事実4: 「この稼働率は久しくないしそれに老齢化でない」ということは偽であるとすれば意識しない

仮説: この稼働率は意識しない
1. 事実2と事実3から、推論1: "そのフィリピン人女性は久しい"が導かれる
2. 推論1と事実1から、推論2: "「この稼働率は久しくないし老齢化だということはない」ということは間違いである"が導かれる
3. 推論2と事実4から、仮説が導かれる

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