あの第一次改訂は奪い合わない
fact1: もし何かは興奮し易くないとしたら「貸し切るしそれにそれは美しくない」ということは偽である fact2: このビデオ機能付きはメインメニューでない fact3: このビデオ機能付きはメインメニューでないとすると「あの第一次改訂はグレースケール画像でないかそれは主要部であるかまたはどちらもだ」ということは成り立たない fact4: もし「ある物はグレースケール画像でないか主要部であるかあるいは両方ともだ」ということは誤りであるとすれば「奪い合わない」ということは真実だ fact5: とあるものが貸し切らないとしたらあの第一次改訂は後らしくないししかも伯母ちゃまであるということはない fact6: 後らしくない物はメインメニューであるかあるいは問うかあるいはどちらもだ fact7: このビデオ機能付きは興奮し易くない fact8: もしも「このビデオ機能付きは貸し切る一方で美しくない」ということは確かでないとするとそれは貸し切らない fact9: メインメニューは奪い合う
fact4 -> int1: 仮に「あの第一次改訂はグレースケール画像だということはないかもしくはそれは主要部だ」ということは偽だとすると「それは奪い合わない」ということは真実だ; fact2 & fact3 -> int2: 「あの第一次改訂はグレースケール画像でないかそれは主要部であるか両方ともである」ということは事実と異なる; int1 & int2 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; fact2 & fact3 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int1 & int2 -> hypothesis;
「あの第一次改訂は奪い合う」ということは本当だ
fact13 -> int3: もし仮にあの第一次改訂が後らしくないならメインメニューであるか問うかまたは両方ともだ; fact15 -> int4: もしもこのビデオ機能付きは興奮し易くないとすると「それは貸し切るがしかし美しくない」ということは成り立つということはない; int4 & fact14 -> int5: 「このビデオ機能付きは貸し切るがそれは美しくない」ということは偽である; fact12 & int5 -> int6: このビデオ機能付きは貸し切らない; int6 -> int7: なにがしかの物は貸し切らない; int7 & fact10 -> int8: あの第一次改訂は後らしくないしその上伯母ちゃまであるということはない; int8 -> int9: あの第一次改訂は後らしくない; int3 & int9 -> int10: あの第一次改訂はメインメニューであるかそれは問うかあるいは両方である; fact11 -> int11: 仮に「あの第一次改訂はメインメニューである」ということは嘘だということはないとしたら奪い合う;
$facts$ = fact1: もし何かは興奮し易くないとしたら「貸し切るしそれにそれは美しくない」ということは偽である fact2: このビデオ機能付きはメインメニューでない fact3: このビデオ機能付きはメインメニューでないとすると「あの第一次改訂はグレースケール画像でないかそれは主要部であるかまたはどちらもだ」ということは成り立たない fact4: もし「ある物はグレースケール画像でないか主要部であるかあるいは両方ともだ」ということは誤りであるとすれば「奪い合わない」ということは真実だ fact5: とあるものが貸し切らないとしたらあの第一次改訂は後らしくないししかも伯母ちゃまであるということはない fact6: 後らしくない物はメインメニューであるかあるいは問うかあるいはどちらもだ fact7: このビデオ機能付きは興奮し易くない fact8: もしも「このビデオ機能付きは貸し切る一方で美しくない」ということは確かでないとするとそれは貸し切らない fact9: メインメニューは奪い合う ; $hypothesis$ = あの第一次改訂は奪い合わない ; $proof$ = 
fact4 -> int1: 仮に「あの第一次改訂はグレースケール画像だということはないかもしくはそれは主要部だ」ということは偽だとすると「それは奪い合わない」ということは真実だ; fact2 & fact3 -> int2: 「あの第一次改訂はグレースケール画像でないかそれは主要部であるか両方ともである」ということは事実と異なる; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何かは興奮し易くないとしたら「貸し切るしそれにそれは美しくない」ということは偽である
事実2: このビデオ機能付きはメインメニューでない
事実3: このビデオ機能付きはメインメニューでないとすると「あの第一次改訂はグレースケール画像でないかそれは主要部であるかまたはどちらもだ」ということは成り立たない
事実4: もし「ある物はグレースケール画像でないか主要部であるかあるいは両方ともだ」ということは誤りであるとすれば「奪い合わない」ということは真実だ
事実5: とあるものが貸し切らないとしたらあの第一次改訂は後らしくないししかも伯母ちゃまであるということはない
事実6: 後らしくない物はメインメニューであるかあるいは問うかあるいはどちらもだ
事実7: このビデオ機能付きは興奮し易くない
事実8: もしも「このビデオ機能付きは貸し切る一方で美しくない」ということは確かでないとするとそれは貸し切らない
事実9: メインメニューは奪い合う

仮説: あの第一次改訂は奪い合わない
1. 事実4から、推論1: "仮に「あの第一次改訂はグレースケール画像だということはないかもしくはそれは主要部だ」ということは偽だとすると「それは奪い合わない」ということは真実だ"が導かれる
2. 事実2と事実3から、推論2: "「あの第一次改訂はグレースケール画像でないかそれは主要部であるか両方ともである」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。