「その財産管理権は愛らしくないがしかし準占有者だ」ということは誤っている
fact1: 「このＮ項は歩き辛いかもしくは御忘れ物であるかもしくは両方ともである」ということは成り立たないとしたらそのモスクワ市場は見付け出せらない fact2: 「その財産管理権は歩き辛いしさらに準占有者だ」ということは成り立たないとしたら歩き辛いということはない fact3: その財産管理権は準占有者だ fact4: 何らかのものは差し迫るかまたは歩き辛いかもしくは両方ともである fact5: このＮ項は歩き辛いか御忘れ物であるかあるいは両方である fact6: もしも「このＮ項は御忘れ物で加えて買い入れ部品費だ」ということは嘘であるとすれば御忘れ物でない fact7: 「あの小説雑誌は文献レビューでない」ということは真実だ fact8: その財産管理権が差し迫らないとするとこのＮ項は愛らしいということはない一方で歩き辛い fact9: もし仮にそのモスクワ市場が見付け出せらないとしたらその財産管理権は準占有者だ fact10: 「その曲げ木技術は歩き辛くない」ということは成り立つとすれば「その財産管理権は愛らしいということはないが準占有者だ」ということは誤っている fact11: 仮にとあるものが歩き辛くないか御忘れ物であるかまたは両方ともならその曲げ木技術は差し迫る fact12: 仮に「なにがしかの物は見付け出せるし更に御忘れ物である」ということは事実でないとしたら御忘れ物でない fact13: もし仮にそのカメラボタンは差し迫らないとすると「そのモスクワ市場は見付け出せるしそれは御忘れ物だ」ということは偽である fact14: 仮に「そのモスクワ市場は見付け出せらない」ということは成り立てばその財産管理権は愛らしくない一方で準占有者だ fact15: もしもなんらかのものが歩き辛くないとしたらその曲げ木技術は差し迫る fact16: 「その曲げ木技術は差し迫るしおまけにそれは買い入れ部品費だ」ということは成り立つということはない fact17: このＮ項は歩き辛い fact18: 仮にそのモスクワ市場が御忘れ物でないとするとこのＮ項は準占有者でないがそれは見付け出せる fact19: 仮に「このＮ項は歩き辛くないかあるいは御忘れ物であるか両方だ」ということは成り立たないならそのモスクワ市場は見付け出せるということはない fact20: 何らかのものは歩き辛いかまたは御忘れ物であるかどちらもである fact21: もし「「その曲げ木技術は差し迫るしかつ買い入れ部品費である」ということは成り立たない」ということは正しいなら差し迫らない
void -> assump1: 以下のように仮定する。「このＮ項は歩き辛くないかまたはそれは御忘れ物であるかもしくは両方だ」ということは正しい; assump1 -> int1: なにがしかの物は歩き辛くないかもしくは御忘れ物であるかもしくはどちらもだ; int1 & fact11 -> int2: その曲げ木技術は差し迫る; fact21 & fact16 -> int3: その曲げ木技術は差し迫らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「このＮ項は歩き辛くないかあるいは御忘れ物だ」ということは成り立つ」ということは成り立たない; int5 & fact19 -> int6: そのモスクワ市場は見付け出せらない; int6 & fact14 -> hypothesis;
「その財産管理権は愛らしくない一方でそれは準占有者である」ということは嘘だ
fact23 -> int7: もしも「そのモスクワ市場は見付け出せるしおまけにそれは御忘れ物だ」ということは偽であるならばそれは御忘れ物でない;
$facts$ = fact1: 「このＮ項は歩き辛いかもしくは御忘れ物であるかもしくは両方ともである」ということは成り立たないとしたらそのモスクワ市場は見付け出せらない fact2: 「その財産管理権は歩き辛いしさらに準占有者だ」ということは成り立たないとしたら歩き辛いということはない fact3: その財産管理権は準占有者だ fact4: 何らかのものは差し迫るかまたは歩き辛いかもしくは両方ともである fact5: このＮ項は歩き辛いか御忘れ物であるかあるいは両方である fact6: もしも「このＮ項は御忘れ物で加えて買い入れ部品費だ」ということは嘘であるとすれば御忘れ物でない fact7: 「あの小説雑誌は文献レビューでない」ということは真実だ fact8: その財産管理権が差し迫らないとするとこのＮ項は愛らしいということはない一方で歩き辛い fact9: もし仮にそのモスクワ市場が見付け出せらないとしたらその財産管理権は準占有者だ fact10: 「その曲げ木技術は歩き辛くない」ということは成り立つとすれば「その財産管理権は愛らしいということはないが準占有者だ」ということは誤っている fact11: 仮にとあるものが歩き辛くないか御忘れ物であるかまたは両方ともならその曲げ木技術は差し迫る fact12: 仮に「なにがしかの物は見付け出せるし更に御忘れ物である」ということは事実でないとしたら御忘れ物でない fact13: もし仮にそのカメラボタンは差し迫らないとすると「そのモスクワ市場は見付け出せるしそれは御忘れ物だ」ということは偽である fact14: 仮に「そのモスクワ市場は見付け出せらない」ということは成り立てばその財産管理権は愛らしくない一方で準占有者だ fact15: もしもなんらかのものが歩き辛くないとしたらその曲げ木技術は差し迫る fact16: 「その曲げ木技術は差し迫るしおまけにそれは買い入れ部品費だ」ということは成り立つということはない fact17: このＮ項は歩き辛い fact18: 仮にそのモスクワ市場が御忘れ物でないとするとこのＮ項は準占有者でないがそれは見付け出せる fact19: 仮に「このＮ項は歩き辛くないかあるいは御忘れ物であるか両方だ」ということは成り立たないならそのモスクワ市場は見付け出せるということはない fact20: 何らかのものは歩き辛いかまたは御忘れ物であるかどちらもである fact21: もし「「その曲げ木技術は差し迫るしかつ買い入れ部品費である」ということは成り立たない」ということは正しいなら差し迫らない ; $hypothesis$ = 「その財産管理権は愛らしくないがしかし準占有者だ」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「このＮ項は歩き辛くないかまたはそれは御忘れ物であるかもしくは両方だ」ということは正しい; assump1 -> int1: なにがしかの物は歩き辛くないかもしくは御忘れ物であるかもしくはどちらもだ; int1 & fact11 -> int2: その曲げ木技術は差し迫る; fact21 & fact16 -> int3: その曲げ木技術は差し迫らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「このＮ項は歩き辛くないかあるいは御忘れ物だ」ということは成り立つ」ということは成り立たない; int5 & fact19 -> int6: そのモスクワ市場は見付け出せらない; int6 & fact14 -> hypothesis; __DISPROVED__
事実1: 「このＮ項は歩き辛いかもしくは御忘れ物であるかもしくは両方ともである」ということは成り立たないとしたらそのモスクワ市場は見付け出せらない
事実2: 「その財産管理権は歩き辛いしさらに準占有者だ」ということは成り立たないとしたら歩き辛いということはない
事実3: その財産管理権は準占有者だ
事実4: 何らかのものは差し迫るかまたは歩き辛いかもしくは両方ともである
事実5: このＮ項は歩き辛いか御忘れ物であるかあるいは両方である
事実6: もしも「このＮ項は御忘れ物で加えて買い入れ部品費だ」ということは嘘であるとすれば御忘れ物でない
事実7: 「あの小説雑誌は文献レビューでない」ということは真実だ
事実8: その財産管理権が差し迫らないとするとこのＮ項は愛らしいということはない一方で歩き辛い
事実9: もし仮にそのモスクワ市場が見付け出せらないとしたらその財産管理権は準占有者だ
事実10: 「その曲げ木技術は歩き辛くない」ということは成り立つとすれば「その財産管理権は愛らしいということはないが準占有者だ」ということは誤っている
事実11: 仮にとあるものが歩き辛くないか御忘れ物であるかまたは両方ともならその曲げ木技術は差し迫る
事実12: 仮に「なにがしかの物は見付け出せるし更に御忘れ物である」ということは事実でないとしたら御忘れ物でない
事実13: もし仮にそのカメラボタンは差し迫らないとすると「そのモスクワ市場は見付け出せるしそれは御忘れ物だ」ということは偽である
事実14: 仮に「そのモスクワ市場は見付け出せらない」ということは成り立てばその財産管理権は愛らしくない一方で準占有者だ
事実15: もしもなんらかのものが歩き辛くないとしたらその曲げ木技術は差し迫る
事実16: 「その曲げ木技術は差し迫るしおまけにそれは買い入れ部品費だ」ということは成り立つということはない
事実17: このＮ項は歩き辛い
事実18: 仮にそのモスクワ市場が御忘れ物でないとするとこのＮ項は準占有者でないがそれは見付け出せる
事実19: 仮に「このＮ項は歩き辛くないかあるいは御忘れ物であるか両方だ」ということは成り立たないならそのモスクワ市場は見付け出せるということはない
事実20: 何らかのものは歩き辛いかまたは御忘れ物であるかどちらもである
事実21: もし「「その曲げ木技術は差し迫るしかつ買い入れ部品費である」ということは成り立たない」ということは正しいなら差し迫らない

仮説: 「その財産管理権は愛らしくないがしかし準占有者だ」ということは誤っている
1. 仮定1: 以下のように仮定する。「このＮ項は歩き辛くないかまたはそれは御忘れ物であるかもしくは両方だ」ということは正しい
2. 仮定1から、推論1: "なにがしかの物は歩き辛くないかもしくは御忘れ物であるかもしくはどちらもだ"が導かれる
3. 推論1と事実11から、推論2: "その曲げ木技術は差し迫る"が導かれる
4. 事実21と事実16から、推論3: "その曲げ木技術は差し迫らない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「「このＮ項は歩き辛くないかあるいは御忘れ物だ」ということは成り立つ」ということは成り立たない"が導かれる
7. 推論5と事実19から、推論6: "そのモスクワ市場は見付け出せらない"が導かれる
8. 推論6と事実14から、仮説が否定される

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