あの通園は抗し難いとすると「あの呼応は全日程でない」ということは真実でない
fact1: 仮に「何らかの物は人選であるしおまけにしても良い」ということは嘘であるならば因り難くない fact2: もし仮にあの通園が抗し難いとするとそれは人選でない fact3: 仮にとある物が抜き差さないならば全日程でない fact4: 「あの呼応は抜き差す一方で運用しない」ということは間違っているとするとそれは全日程だ fact5: もしあの呼応は因り難くないとすると「抜き差すし更に運用しない」ということは間違っている fact6: 仮にあの通園は人選だということはないとしたら「あの呼応は人選だし加えてそれはしても良い」ということは間違っている
void -> assump1: 以下のように仮定する。あの通園は抗し難い; fact2 & assump1 -> int1: あの通園は人選でない; int1 & fact6 -> int2: 「あの呼応は人選であるしまたそれはしても良い」ということは成り立たない; fact1 -> int3: もしも「あの呼応は人選だししても良い」ということは間違っているとしたら「それは因り難くない」ということは真実である; int2 & int3 -> int4: あの呼応は因り難くない; int4 & fact5 -> int5: 「あの呼応は抜き差す一方でそれは運用するということはない」ということは嘘だ; int5 & fact4 -> int6: あの呼応は全日程である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮に「何らかの物は人選であるしおまけにしても良い」ということは嘘であるならば因り難くない fact2: もし仮にあの通園が抗し難いとするとそれは人選でない fact3: 仮にとある物が抜き差さないならば全日程でない fact4: 「あの呼応は抜き差す一方で運用しない」ということは間違っているとするとそれは全日程だ fact5: もしあの呼応は因り難くないとすると「抜き差すし更に運用しない」ということは間違っている fact6: 仮にあの通園は人選だということはないとしたら「あの呼応は人選だし加えてそれはしても良い」ということは間違っている ; $hypothesis$ = あの通園は抗し難いとすると「あの呼応は全日程でない」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの通園は抗し難い; fact2 & assump1 -> int1: あの通園は人選でない; int1 & fact6 -> int2: 「あの呼応は人選であるしまたそれはしても良い」ということは成り立たない; fact1 -> int3: もしも「あの呼応は人選だししても良い」ということは間違っているとしたら「それは因り難くない」ということは真実である; int2 & int3 -> int4: あの呼応は因り難くない; int4 & fact5 -> int5: 「あの呼応は抜き差す一方でそれは運用するということはない」ということは嘘だ; int5 & fact4 -> int6: あの呼応は全日程である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は人選であるしおまけにしても良い」ということは嘘であるならば因り難くない
事実2: もし仮にあの通園が抗し難いとするとそれは人選でない
事実3: 仮にとある物が抜き差さないならば全日程でない
事実4: 「あの呼応は抜き差す一方で運用しない」ということは間違っているとするとそれは全日程だ
事実5: もしあの呼応は因り難くないとすると「抜き差すし更に運用しない」ということは間違っている
事実6: 仮にあの通園は人選だということはないとしたら「あの呼応は人選だし加えてそれはしても良い」ということは間違っている

仮説: あの通園は抗し難いとすると「あの呼応は全日程でない」ということは真実でない
1. 仮定1: 以下のように仮定する。あの通園は抗し難い
2. 事実2と仮定1から、推論1: "あの通園は人選でない"が導かれる
3. 推論1と事実6から、推論2: "「あの呼応は人選であるしまたそれはしても良い」ということは成り立たない"が導かれる
4. 事実1から、推論3: "もしも「あの呼応は人選だししても良い」ということは間違っているとしたら「それは因り難くない」ということは真実である"が導かれる
5. 推論2と推論3から、推論4: "あの呼応は因り難くない"が導かれる
6. 推論4と事実5から、推論5: "「あの呼応は抜き差す一方でそれは運用するということはない」ということは嘘だ"が導かれる
7. 推論5と事実4から、推論6: "あの呼応は全日程である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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