この外国法人は飛行隊創設でない
fact1: 仮にあの妊娠期間が飛行隊創設であるかあるいはそれが目まぐるしいかもしくは両方ならばあの外国法人は相談し易くない fact2: あの妊娠期間は飛行隊創設であるかまたは御戻り下さるかもしくはどちらもである fact3: もし仮にあの妊娠期間が相談し易いか目まぐるしいかどちらもであるとするとこの外国法人は飛行隊創設だということはない fact4: この外国法人は目まぐるしかない fact5: 仮にあの妊娠期間が飛行隊創設であるかもしくは相談し易いとすればこの外国法人は目まぐるしかない fact6: この外国法人は相談し易いかあるいは飛行隊創設である fact7: あの妊娠期間は相談し易い fact8: もしもあの妊娠期間が飛行隊創設ならこの外国法人は目まぐるしかない fact9: この外国法人が目まぐるしいならあの妊娠期間は飛行隊創設でない
fact7 -> int1: あの妊娠期間は相談し易いかまたはそれは目まぐるしいか両方ともだ; int1 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあの妊娠期間が飛行隊創設であるかあるいはそれが目まぐるしいかもしくは両方ならばあの外国法人は相談し易くない fact2: あの妊娠期間は飛行隊創設であるかまたは御戻り下さるかもしくはどちらもである fact3: もし仮にあの妊娠期間が相談し易いか目まぐるしいかどちらもであるとするとこの外国法人は飛行隊創設だということはない fact4: この外国法人は目まぐるしかない fact5: 仮にあの妊娠期間が飛行隊創設であるかもしくは相談し易いとすればこの外国法人は目まぐるしかない fact6: この外国法人は相談し易いかあるいは飛行隊創設である fact7: あの妊娠期間は相談し易い fact8: もしもあの妊娠期間が飛行隊創設ならこの外国法人は目まぐるしかない fact9: この外国法人が目まぐるしいならあの妊娠期間は飛行隊創設でない ; $hypothesis$ = この外国法人は飛行隊創設でない ; $proof$ = 
fact7 -> int1: あの妊娠期間は相談し易いかまたはそれは目まぐるしいか両方ともだ; int1 & fact3 -> hypothesis; __PROVED__
事実1: 仮にあの妊娠期間が飛行隊創設であるかあるいはそれが目まぐるしいかもしくは両方ならばあの外国法人は相談し易くない
事実2: あの妊娠期間は飛行隊創設であるかまたは御戻り下さるかもしくはどちらもである
事実3: もし仮にあの妊娠期間が相談し易いか目まぐるしいかどちらもであるとするとこの外国法人は飛行隊創設だということはない
事実4: この外国法人は目まぐるしかない
事実5: 仮にあの妊娠期間が飛行隊創設であるかもしくは相談し易いとすればこの外国法人は目まぐるしかない
事実6: この外国法人は相談し易いかあるいは飛行隊創設である
事実7: あの妊娠期間は相談し易い
事実8: もしもあの妊娠期間が飛行隊創設ならこの外国法人は目まぐるしかない
事実9: この外国法人が目まぐるしいならあの妊娠期間は飛行隊創設でない

仮説: この外国法人は飛行隊創設でない
1. 事実7から、推論1: "あの妊娠期間は相談し易いかまたはそれは目まぐるしいか両方ともだ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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