この日本霊異記は複合審査でないけど平賀委員だ
fact1: 「この日本霊異記は複合審査であるしかつ平賀委員だ」ということは成り立たない fact2: もしあの筆線は複合審査でないとすれば「この日本霊異記は複合審査でないけれど平賀委員である」ということは嘘である fact3: 「あのグルクロン酸抱合は出陣するかもしくは触診する」ということは成り立たない fact4: もし仮にこの日本霊異記は触診しないならば「あのグルクロン酸抱合は触診しないけれど複合審査である」ということは嘘である fact5: あの筆線は複合審査でないとすると「この日本霊異記は複合審査でその上平賀委員だ」ということは成り立たない fact6: もし「「出陣するかまたは平賀委員である」ということは成り立つということはない」物はあるとすれば「この日本霊異記は触診しない」ということは成り立つ fact7: あのグルクロン酸抱合は触診しない fact8: 「仮に「「出陣するかもしくは触診するかあるいはどちらもである」ということは嘘である」ものがあるとするとあの筆線は複合審査でない」ということは事実だ fact9: 「「あのグルクロン酸抱合は複合審査でないけど触診する」ということは確かである」ということは成り立たない fact10: もしもあの筆線が追い詰めないとすればこの日本霊異記は複合審査でないけれど平賀委員だ fact11: 「触診しない」物はある fact12: あるものは出陣するかもしくはそれは触診するかまたはどちらもである fact13: 仮に「とあるものは着せらないがしかし局在する」ということは嘘だとすると追い詰めない fact14: もし仮になんらかの物が追い詰めないとすれば複合審査でないがしかし平賀委員である
fact3 -> int1: 「「出陣するかあるいは触診するかあるいは両方ともである」ということは成り立たない」物はある; int1 & fact8 -> int2: あの筆線は複合審査でない; int2 & fact2 -> hypothesis;
この日本霊異記は複合審査でないけれど平賀委員である
fact15 -> int3: もし「あの筆線は着せらない一方で局在する」ということは成り立たないならそれは追い詰めるということはない;
$facts$ = fact1: 「この日本霊異記は複合審査であるしかつ平賀委員だ」ということは成り立たない fact2: もしあの筆線は複合審査でないとすれば「この日本霊異記は複合審査でないけれど平賀委員である」ということは嘘である fact3: 「あのグルクロン酸抱合は出陣するかもしくは触診する」ということは成り立たない fact4: もし仮にこの日本霊異記は触診しないならば「あのグルクロン酸抱合は触診しないけれど複合審査である」ということは嘘である fact5: あの筆線は複合審査でないとすると「この日本霊異記は複合審査でその上平賀委員だ」ということは成り立たない fact6: もし「「出陣するかまたは平賀委員である」ということは成り立つということはない」物はあるとすれば「この日本霊異記は触診しない」ということは成り立つ fact7: あのグルクロン酸抱合は触診しない fact8: 「仮に「「出陣するかもしくは触診するかあるいはどちらもである」ということは嘘である」ものがあるとするとあの筆線は複合審査でない」ということは事実だ fact9: 「「あのグルクロン酸抱合は複合審査でないけど触診する」ということは確かである」ということは成り立たない fact10: もしもあの筆線が追い詰めないとすればこの日本霊異記は複合審査でないけれど平賀委員だ fact11: 「触診しない」物はある fact12: あるものは出陣するかもしくはそれは触診するかまたはどちらもである fact13: 仮に「とあるものは着せらないがしかし局在する」ということは嘘だとすると追い詰めない fact14: もし仮になんらかの物が追い詰めないとすれば複合審査でないがしかし平賀委員である ; $hypothesis$ = この日本霊異記は複合審査でないけど平賀委員だ ; $proof$ = 
fact3 -> int1: 「「出陣するかあるいは触診するかあるいは両方ともである」ということは成り立たない」物はある; int1 & fact8 -> int2: あの筆線は複合審査でない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この日本霊異記は複合審査であるしかつ平賀委員だ」ということは成り立たない
事実2: もしあの筆線は複合審査でないとすれば「この日本霊異記は複合審査でないけれど平賀委員である」ということは嘘である
事実3: 「あのグルクロン酸抱合は出陣するかもしくは触診する」ということは成り立たない
事実4: もし仮にこの日本霊異記は触診しないならば「あのグルクロン酸抱合は触診しないけれど複合審査である」ということは嘘である
事実5: あの筆線は複合審査でないとすると「この日本霊異記は複合審査でその上平賀委員だ」ということは成り立たない
事実6: もし「「出陣するかまたは平賀委員である」ということは成り立つということはない」物はあるとすれば「この日本霊異記は触診しない」ということは成り立つ
事実7: あのグルクロン酸抱合は触診しない
事実8: 「仮に「「出陣するかもしくは触診するかあるいはどちらもである」ということは嘘である」ものがあるとするとあの筆線は複合審査でない」ということは事実だ
事実9: 「「あのグルクロン酸抱合は複合審査でないけど触診する」ということは確かである」ということは成り立たない
事実10: もしもあの筆線が追い詰めないとすればこの日本霊異記は複合審査でないけれど平賀委員だ
事実11: 「触診しない」物はある
事実12: あるものは出陣するかもしくはそれは触診するかまたはどちらもである
事実13: 仮に「とあるものは着せらないがしかし局在する」ということは嘘だとすると追い詰めない
事実14: もし仮になんらかの物が追い詰めないとすれば複合審査でないがしかし平賀委員である

仮説: この日本霊異記は複合審査でないけど平賀委員だ
1. 事実3から、推論1: "「「出陣するかあるいは触診するかあるいは両方ともである」ということは成り立たない」物はある"が導かれる
2. 推論1と事実8から、推論2: "あの筆線は複合審査でない"が導かれる
3. 推論2と事実2から、仮説が否定される

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