あの意味痴呆は程近くないししかもそれは交流し合わない
fact1: 仮に「伐採するということはない」物はあれば「あの意味痴呆は程近くないが交流し合う」ということは誤っている fact2: もしも「伐採しない」物はあるとすると「「あの意味痴呆は程近いということはないししかも交流し合うということはない」ということは事実でない」ということは本当だ fact3: 「伐採しない」ものはある
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
$facts$ = fact1: 仮に「伐採するということはない」物はあれば「あの意味痴呆は程近くないが交流し合う」ということは誤っている fact2: もしも「伐採しない」物はあるとすると「「あの意味痴呆は程近いということはないししかも交流し合うということはない」ということは事実でない」ということは本当だ fact3: 「伐採しない」ものはある ; $hypothesis$ = あの意味痴呆は程近くないししかもそれは交流し合わない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「伐採するということはない」物はあれば「あの意味痴呆は程近くないが交流し合う」ということは誤っている
事実2: もしも「伐採しない」物はあるとすると「「あの意味痴呆は程近いということはないししかも交流し合うということはない」ということは事実でない」ということは本当だ
事実3: 「伐採しない」ものはある

仮説: あの意味痴呆は程近くないししかもそれは交流し合わない
1. 事実3と事実2から、仮説が否定される

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