「あの聞き取りが五十余名でないとしたらこの老木は宜しい一方で敬遠するということはない」ということは誤っている
fact1: この老木は敬遠しない fact2: もしこの老木がシミュレート出来るとしたらあの聞き取りは五十余名だ fact3: もしも何らかのものがシミュレート出来ないとしたら宜しいけど敬遠しない fact4: 仮にあの聞き取りが五十余名ならこの老木は宜しいがしかし敬遠しない fact5: もし仮にとある物がシミュレート出来ないとするとそれは敬遠するということはない
void -> assump1: 以下のように仮定する。この老木はシミュレート出来る; fact2 & assump1 -> int1: あの聞き取りは五十余名である; void -> assump2: 以下のように仮定する。あの聞き取りは五十余名であるということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この老木はシミュレート出来ない; fact3 -> int4: 「この老木はシミュレート出来ない」ということは成り立つとしたら宜しい一方で敬遠するということはない; int3 & int4 -> int5: この老木は宜しい一方で敬遠しない; [assump2] & int5 -> hypothesis;
$facts$ = fact1: この老木は敬遠しない fact2: もしこの老木がシミュレート出来るとしたらあの聞き取りは五十余名だ fact3: もしも何らかのものがシミュレート出来ないとしたら宜しいけど敬遠しない fact4: 仮にあの聞き取りが五十余名ならこの老木は宜しいがしかし敬遠しない fact5: もし仮にとある物がシミュレート出来ないとするとそれは敬遠するということはない ; $hypothesis$ = 「あの聞き取りが五十余名でないとしたらこの老木は宜しい一方で敬遠するということはない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この老木はシミュレート出来る; fact2 & assump1 -> int1: あの聞き取りは五十余名である; void -> assump2: 以下のように仮定する。あの聞き取りは五十余名であるということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この老木はシミュレート出来ない; fact3 -> int4: 「この老木はシミュレート出来ない」ということは成り立つとしたら宜しい一方で敬遠するということはない; int3 & int4 -> int5: この老木は宜しい一方で敬遠しない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: この老木は敬遠しない
事実2: もしこの老木がシミュレート出来るとしたらあの聞き取りは五十余名だ
事実3: もしも何らかのものがシミュレート出来ないとしたら宜しいけど敬遠しない
事実4: 仮にあの聞き取りが五十余名ならこの老木は宜しいがしかし敬遠しない
事実5: もし仮にとある物がシミュレート出来ないとするとそれは敬遠するということはない

仮説: 「あの聞き取りが五十余名でないとしたらこの老木は宜しい一方で敬遠するということはない」ということは誤っている
1. 仮定1: 以下のように仮定する。この老木はシミュレート出来る
2. 事実2と仮定1から、推論1: "あの聞き取りは五十余名である"が導かれる
3. 仮定2: 以下のように仮定する。あの聞き取りは五十余名であるということはない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この老木はシミュレート出来ない"が導かれる
6. 事実3から、推論4: "「この老木はシミュレート出来ない」ということは成り立つとしたら宜しい一方で敬遠するということはない"が導かれる
7. 推論3と推論4から、推論5: "この老木は宜しい一方で敬遠しない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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