その陽明学者は東京出身でない
fact1: 「この直線が配り始めるしその上会議場だ」ということは成り立たない fact2: 「「配り始めるということはない一方で会議場だ」ということは成り立たない」ものがあるならその陽明学者は注記すらない fact3: もし仮に「あの活性型は予測し易いということはない」ということは確かであるとしたらその陽明学者は注記すらないかもしくはそれは東京出身であるということはない fact4: もし何らかのものが注記すらないならば東京出身であるし予測し易い fact5: 「この直線は配り始めないが会議場である」ということは嘘である
fact5 -> int1: 「「「配り始めないし更に会議場である」ということは成り立つ」ということは本当でない」物はある; int1 & fact2 -> int2: 「その陽明学者は注記すということはない」ということは嘘でない; fact4 -> int3: その陽明学者が注記すらないならばそれは東京出身でそれに予測し易い; int2 & int3 -> int4: その陽明学者が東京出身だしおまけに予測し易い; int4 -> hypothesis;
その陽明学者は東京出身でない
$facts$ = fact1: 「この直線が配り始めるしその上会議場だ」ということは成り立たない fact2: 「「配り始めるということはない一方で会議場だ」ということは成り立たない」ものがあるならその陽明学者は注記すらない fact3: もし仮に「あの活性型は予測し易いということはない」ということは確かであるとしたらその陽明学者は注記すらないかもしくはそれは東京出身であるということはない fact4: もし何らかのものが注記すらないならば東京出身であるし予測し易い fact5: 「この直線は配り始めないが会議場である」ということは嘘である ; $hypothesis$ = その陽明学者は東京出身でない ; $proof$ = 
fact5 -> int1: 「「「配り始めないし更に会議場である」ということは成り立つ」ということは本当でない」物はある; int1 & fact2 -> int2: 「その陽明学者は注記すということはない」ということは嘘でない; fact4 -> int3: その陽明学者が注記すらないならばそれは東京出身でそれに予測し易い; int2 & int3 -> int4: その陽明学者が東京出身だしおまけに予測し易い; int4 -> hypothesis; __DISPROVED__
事実1: 「この直線が配り始めるしその上会議場だ」ということは成り立たない
事実2: 「「配り始めるということはない一方で会議場だ」ということは成り立たない」ものがあるならその陽明学者は注記すらない
事実3: もし仮に「あの活性型は予測し易いということはない」ということは確かであるとしたらその陽明学者は注記すらないかもしくはそれは東京出身であるということはない
事実4: もし何らかのものが注記すらないならば東京出身であるし予測し易い
事実5: 「この直線は配り始めないが会議場である」ということは嘘である

仮説: その陽明学者は東京出身でない
1. 事実5から、推論1: "「「「配り始めないし更に会議場である」ということは成り立つ」ということは本当でない」物はある"が導かれる
2. 推論1と事実2から、推論2: "「その陽明学者は注記すということはない」ということは嘘でない"が導かれる
3. 事実4から、推論3: "その陽明学者が注記すらないならばそれは東京出身でそれに予測し易い"が導かれる
4. 推論2と推論3から、推論4: "その陽明学者が東京出身だしおまけに予測し易い"が導かれる
5. 推論4から、仮説が否定される

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