この首府は規律するけれど協議協定でない
fact1: 仮にこの食道炎がリフである一方で並外れないとすればこの首府は規律する fact2: もし何らかのものは関さないとすれば「規律するしその上それは協議協定でない」ということは間違いである fact3: あの残債務が協議協定であるかそれが食肉用でないかどちらもならこの首府は食肉用でない fact4: 仮に「あの残債務は食肉用でないかまたは迷い易いということはないかあるいは両方ともである」ということは成り立たないならこの首府は関さない fact5: 「「この首府は規律するしそれに協議協定である」ということは成り立つということはない」ということは真実だ fact6: 「あの残債務は食肉用であるかまたはそれは迷い易くないかまたは両方である」ということは事実と異なるとすればこの首府は関さない fact7: 「あの残債務は食肉用でないかあるいは迷い易いということはないか両方ともだ」ということは事実と異なる fact8: あの残債務は食肉用である fact9: 「そのデジタルデータは食肉用であるがしかしそれは特許権等でない」ということは偽だ fact10: もし仮にある物が関さないならば協議協定であるかまたはそれは食肉用でない fact11: 「仮にこの首府は関さないとすれば「この首府は規律するし協議協定だ」ということは成り立たない」ということは成り立つ fact12: 仮になにかは関すということはないとすれば「「それは規律するし協議協定である」ということは正しい」ということは成り立つということはない
fact4 & fact7 -> int1: この首府は関さない; fact2 -> int2: もしもこの首府は関さないとすると「それは規律するしそれは協議協定でない」ということは事実と異なる; int1 & int2 -> hypothesis;
この首府は食肉用であるということはない
fact13 -> int3: もしもあの残債務が関さないとするとそれは協議協定であるかあるいはそれは食肉用でない;
$facts$ = fact1: 仮にこの食道炎がリフである一方で並外れないとすればこの首府は規律する fact2: もし何らかのものは関さないとすれば「規律するしその上それは協議協定でない」ということは間違いである fact3: あの残債務が協議協定であるかそれが食肉用でないかどちらもならこの首府は食肉用でない fact4: 仮に「あの残債務は食肉用でないかまたは迷い易いということはないかあるいは両方ともである」ということは成り立たないならこの首府は関さない fact5: 「「この首府は規律するしそれに協議協定である」ということは成り立つということはない」ということは真実だ fact6: 「あの残債務は食肉用であるかまたはそれは迷い易くないかまたは両方である」ということは事実と異なるとすればこの首府は関さない fact7: 「あの残債務は食肉用でないかあるいは迷い易いということはないか両方ともだ」ということは事実と異なる fact8: あの残債務は食肉用である fact9: 「そのデジタルデータは食肉用であるがしかしそれは特許権等でない」ということは偽だ fact10: もし仮にある物が関さないならば協議協定であるかまたはそれは食肉用でない fact11: 「仮にこの首府は関さないとすれば「この首府は規律するし協議協定だ」ということは成り立たない」ということは成り立つ fact12: 仮になにかは関すということはないとすれば「「それは規律するし協議協定である」ということは正しい」ということは成り立つということはない ; $hypothesis$ = この首府は規律するけれど協議協定でない ; $proof$ = 
fact4 & fact7 -> int1: この首府は関さない; fact2 -> int2: もしもこの首府は関さないとすると「それは規律するしそれは協議協定でない」ということは事実と異なる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にこの食道炎がリフである一方で並外れないとすればこの首府は規律する
事実2: もし何らかのものは関さないとすれば「規律するしその上それは協議協定でない」ということは間違いである
事実3: あの残債務が協議協定であるかそれが食肉用でないかどちらもならこの首府は食肉用でない
事実4: 仮に「あの残債務は食肉用でないかまたは迷い易いということはないかあるいは両方ともである」ということは成り立たないならこの首府は関さない
事実5: 「「この首府は規律するしそれに協議協定である」ということは成り立つということはない」ということは真実だ
事実6: 「あの残債務は食肉用であるかまたはそれは迷い易くないかまたは両方である」ということは事実と異なるとすればこの首府は関さない
事実7: 「あの残債務は食肉用でないかあるいは迷い易いということはないか両方ともだ」ということは事実と異なる
事実8: あの残債務は食肉用である
事実9: 「そのデジタルデータは食肉用であるがしかしそれは特許権等でない」ということは偽だ
事実10: もし仮にある物が関さないならば協議協定であるかまたはそれは食肉用でない
事実11: 「仮にこの首府は関さないとすれば「この首府は規律するし協議協定だ」ということは成り立たない」ということは成り立つ
事実12: 仮になにかは関すということはないとすれば「「それは規律するし協議協定である」ということは正しい」ということは成り立つということはない

仮説: この首府は規律するけれど協議協定でない
1. 事実4と事実7から、推論1: "この首府は関さない"が導かれる
2. 事実2から、推論2: "もしもこの首府は関さないとすると「それは規律するしそれは協議協定でない」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が否定される

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