その動態撮影はネット受注でない
fact1: もし仮に何らかのものはしても良いとしたら「それが近いしその上直衣でない」ということは成り立たない fact2: あの猫語訳は餓鬼っぽくない fact3: もし仮にその五リッター／Ｖエイトユニットは低しないがしかし静脈産業だとすればそれは生臭い fact4: もしもなにかは新老人であるかまたは買い為さらないかまたは両方であるとすればそれはネット受注だ fact5: 仮に「その五リッター／Ｖエイトユニットは近いが直衣でない」ということは間違いだとすればあの猫語訳は近くない fact6: 仮にあの猫語訳が餓鬼っぽいということはないならばその動態撮影は新老人であるかもしくは買い為さらない fact7: 新老人はネット受注だ fact8: あの猫語訳がネット受注だとすればそれは餓鬼っぽい fact9: もしもあの猫語訳がネット受注だということはないとしたらその動態撮影は餓鬼っぽいかもしくは買い為さらないかまたは両方である fact10: あの猫語訳が餓鬼っぽいとするとそれは新老人であるかもしくは拙いということはないかまたは両方ともである fact11: もしもある物が生臭いとしたらそれはしても良い fact12: もし仮にその動態撮影が新老人ならネット受注だ fact13: もしその五リッター／Ｖエイトユニットが生産協同組織でないとすれば低しということはないがしかし静脈産業だ
fact6 & fact2 -> int1: その動態撮影は新老人であるかもしくは買い為さるということはない; fact4 -> int2: 仮にその動態撮影が新老人であるかそれが買い為さるということはないとするとネット受注である; int1 & int2 -> hypothesis;
fact6 & fact2 -> int1: ({AA}{b} v ¬{AB}{b}); fact4 -> int2: ({AA}{b} v ¬{AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
あの猫語訳は新老人であるか拙くないかあるいはどちらもである
$facts$ = fact1: もし仮に何らかのものはしても良いとしたら「それが近いしその上直衣でない」ということは成り立たない fact2: あの猫語訳は餓鬼っぽくない fact3: もし仮にその五リッター／Ｖエイトユニットは低しないがしかし静脈産業だとすればそれは生臭い fact4: もしもなにかは新老人であるかまたは買い為さらないかまたは両方であるとすればそれはネット受注だ fact5: 仮に「その五リッター／Ｖエイトユニットは近いが直衣でない」ということは間違いだとすればあの猫語訳は近くない fact6: 仮にあの猫語訳が餓鬼っぽいということはないならばその動態撮影は新老人であるかもしくは買い為さらない fact7: 新老人はネット受注だ fact8: あの猫語訳がネット受注だとすればそれは餓鬼っぽい fact9: もしもあの猫語訳がネット受注だということはないとしたらその動態撮影は餓鬼っぽいかもしくは買い為さらないかまたは両方である fact10: あの猫語訳が餓鬼っぽいとするとそれは新老人であるかもしくは拙いということはないかまたは両方ともである fact11: もしもある物が生臭いとしたらそれはしても良い fact12: もし仮にその動態撮影が新老人ならネット受注だ fact13: もしその五リッター／Ｖエイトユニットが生産協同組織でないとすれば低しということはないがしかし静脈産業だ ; $hypothesis$ = その動態撮影はネット受注でない ; $proof$ = 
fact6 & fact2 -> int1: その動態撮影は新老人であるかもしくは買い為さるということはない; fact4 -> int2: 仮にその動態撮影が新老人であるかそれが買い為さるということはないとするとネット受注である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものはしても良いとしたら「それが近いしその上直衣でない」ということは成り立たない
事実2: あの猫語訳は餓鬼っぽくない
事実3: もし仮にその五リッター／Ｖエイトユニットは低しないがしかし静脈産業だとすればそれは生臭い
事実4: もしもなにかは新老人であるかまたは買い為さらないかまたは両方であるとすればそれはネット受注だ
事実5: 仮に「その五リッター／Ｖエイトユニットは近いが直衣でない」ということは間違いだとすればあの猫語訳は近くない
事実6: 仮にあの猫語訳が餓鬼っぽいということはないならばその動態撮影は新老人であるかもしくは買い為さらない
事実7: 新老人はネット受注だ
事実8: あの猫語訳がネット受注だとすればそれは餓鬼っぽい
事実9: もしもあの猫語訳がネット受注だということはないとしたらその動態撮影は餓鬼っぽいかもしくは買い為さらないかまたは両方である
事実10: あの猫語訳が餓鬼っぽいとするとそれは新老人であるかもしくは拙いということはないかまたは両方ともである
事実11: もしもある物が生臭いとしたらそれはしても良い
事実12: もし仮にその動態撮影が新老人ならネット受注だ
事実13: もしその五リッター／Ｖエイトユニットが生産協同組織でないとすれば低しということはないがしかし静脈産業だ

仮説: その動態撮影はネット受注でない
1. 事実6と事実2から、推論1: "その動態撮影は新老人であるかもしくは買い為さるということはない"が導かれる
2. 事実4から、推論2: "仮にその動態撮影が新老人であるかそれが買い為さるということはないとするとネット受注である"が導かれる
3. 推論1と推論2から、仮説が否定される

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