「「「主観的事情でないかまたは彼女らしいかどちらもだ」ということは間違いであるとすれば盗める」物はある」ということは確かでない
fact1: 「底板であるということはないかあるいは全国一斉であるかまたは両方ともなら現われ出る」物はある fact2: あの負極が彼女らしくないかまたはそれはごっついか両方だとすれば結婚歴である fact3: 「もし慈愛深くないかあるいは乗り易いかまたは両方だとしたら破れ難い」物はある fact4: もし「あるものは主観的事情でないかもしくはそれは彼女らしい」ということは成り立つということはないとすればそれは盗める fact5: もし「何らかの物は援護措置でないか押し易いかもしくはどちらもだ」ということは事実と異なるとすれば間断無い fact6: 「もし「不正使用するかあるいは商品開発であるかまたはどちらもである」ということは間違っていれば行為する」ものはある fact7: もし「とある物は奉じないか御寂しいか両方だ」ということは偽ならそれは辛い fact8: もし「この最大関心事はジレット株でないかもしくは彼女らしいかまたはどちらもだ」ということは成り立たないとすればそれは上級財だ fact9: 「字下げしないかあるいは古臭いか両方ともだとすると「回復する」ということは本当な」物はある fact10: 「何らかのものは就労するかもしくはそれはすーごいかまたはどちらもだ」ということは成り立たないならば「やばい」ということは確かだ fact11: もしもあのマザー工場が主観的事情でないか彼女らしいかあるいはどちらもであるとすれば「それは盗める」ということは成り立つ fact12: もしも「あのＦＡＳは座るかそれは独立派であるかまたは両方ともだ」ということは間違いであるならば「それは彼女らしい」ということは本当だ fact13: 「「自害するか草臥れ果てる」ということは偽だとすれば罹り易い」ものはある
fact4 -> int1: もし「あのマザー工場は主観的事情でないかあるいはそれは彼女らしいかあるいは両方ともである」ということは成り立たないとするとそれは盗める; int1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「底板であるということはないかあるいは全国一斉であるかまたは両方ともなら現われ出る」物はある fact2: あの負極が彼女らしくないかまたはそれはごっついか両方だとすれば結婚歴である fact3: 「もし慈愛深くないかあるいは乗り易いかまたは両方だとしたら破れ難い」物はある fact4: もし「あるものは主観的事情でないかもしくはそれは彼女らしい」ということは成り立つということはないとすればそれは盗める fact5: もし「何らかの物は援護措置でないか押し易いかもしくはどちらもだ」ということは事実と異なるとすれば間断無い fact6: 「もし「不正使用するかあるいは商品開発であるかまたはどちらもである」ということは間違っていれば行為する」ものはある fact7: もし「とある物は奉じないか御寂しいか両方だ」ということは偽ならそれは辛い fact8: もし「この最大関心事はジレット株でないかもしくは彼女らしいかまたはどちらもだ」ということは成り立たないとすればそれは上級財だ fact9: 「字下げしないかあるいは古臭いか両方ともだとすると「回復する」ということは本当な」物はある fact10: 「何らかのものは就労するかもしくはそれはすーごいかまたはどちらもだ」ということは成り立たないならば「やばい」ということは確かだ fact11: もしもあのマザー工場が主観的事情でないか彼女らしいかあるいはどちらもであるとすれば「それは盗める」ということは成り立つ fact12: もしも「あのＦＡＳは座るかそれは独立派であるかまたは両方ともだ」ということは間違いであるならば「それは彼女らしい」ということは本当だ fact13: 「「自害するか草臥れ果てる」ということは偽だとすれば罹り易い」ものはある ; $hypothesis$ = 「「「主観的事情でないかまたは彼女らしいかどちらもだ」ということは間違いであるとすれば盗める」物はある」ということは確かでない ; $proof$ = 
fact4 -> int1: もし「あのマザー工場は主観的事情でないかあるいはそれは彼女らしいかあるいは両方ともである」ということは成り立たないとするとそれは盗める; int1 -> hypothesis; __DISPROVED__
事実1: 「底板であるということはないかあるいは全国一斉であるかまたは両方ともなら現われ出る」物はある
事実2: あの負極が彼女らしくないかまたはそれはごっついか両方だとすれば結婚歴である
事実3: 「もし慈愛深くないかあるいは乗り易いかまたは両方だとしたら破れ難い」物はある
事実4: もし「あるものは主観的事情でないかもしくはそれは彼女らしい」ということは成り立つということはないとすればそれは盗める
事実5: もし「何らかの物は援護措置でないか押し易いかもしくはどちらもだ」ということは事実と異なるとすれば間断無い
事実6: 「もし「不正使用するかあるいは商品開発であるかまたはどちらもである」ということは間違っていれば行為する」ものはある
事実7: もし「とある物は奉じないか御寂しいか両方だ」ということは偽ならそれは辛い
事実8: もし「この最大関心事はジレット株でないかもしくは彼女らしいかまたはどちらもだ」ということは成り立たないとすればそれは上級財だ
事実9: 「字下げしないかあるいは古臭いか両方ともだとすると「回復する」ということは本当な」物はある
事実10: 「何らかのものは就労するかもしくはそれはすーごいかまたはどちらもだ」ということは成り立たないならば「やばい」ということは確かだ
事実11: もしもあのマザー工場が主観的事情でないか彼女らしいかあるいはどちらもであるとすれば「それは盗める」ということは成り立つ
事実12: もしも「あのＦＡＳは座るかそれは独立派であるかまたは両方ともだ」ということは間違いであるならば「それは彼女らしい」ということは本当だ
事実13: 「「自害するか草臥れ果てる」ということは偽だとすれば罹り易い」ものはある

仮説: 「「「主観的事情でないかまたは彼女らしいかどちらもだ」ということは間違いであるとすれば盗める」物はある」ということは確かでない
1. 事実4から、推論1: "もし「あのマザー工場は主観的事情でないかあるいはそれは彼女らしいかあるいは両方ともである」ということは成り立たないとするとそれは盗める"が導かれる
2. 推論1から、仮説が否定される

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