その広告キャンペーンは慕わしい
fact1: この各種センサーが生まれ育つとするとそれは締めっぽくないかまたはそれは借用者でない fact2: この各種センサーは生まれ育つ fact3: もしもこの各種センサーがキッチュならばあの広告キャンペーンは慕わしい fact4: 何かは締めっぽいということはないかまたはそれは借用者でないかもしくは両方だとするとキッチュだ fact5: この各種センサーが締めっぽくないとすればキッチュである fact6: あの四角形マスクツールは生まれ育つ
fact4 -> int1: もし仮にこの各種センサーは締めっぽくないかもしくは借用者でないかどちらもならばそれはキッチュだ; fact2 & fact1 -> int2: この各種センサーは締めっぽくないかそれは借用者だということはないか両方ともである; int1 & int2 -> int3: この各種センサーはキッチュだ; int3 & fact3 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact2 & fact1 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact3 -> hypothesis;
$facts$ = fact1: この各種センサーが生まれ育つとするとそれは締めっぽくないかまたはそれは借用者でない fact2: この各種センサーは生まれ育つ fact3: もしもこの各種センサーがキッチュならばあの広告キャンペーンは慕わしい fact4: 何かは締めっぽいということはないかまたはそれは借用者でないかもしくは両方だとするとキッチュだ fact5: この各種センサーが締めっぽくないとすればキッチュである fact6: あの四角形マスクツールは生まれ育つ ; $hypothesis$ = その広告キャンペーンは慕わしい ; $proof$ = 
fact4 -> int1: もし仮にこの各種センサーは締めっぽくないかもしくは借用者でないかどちらもならばそれはキッチュだ; fact2 & fact1 -> int2: この各種センサーは締めっぽくないかそれは借用者だということはないか両方ともである; int1 & int2 -> int3: この各種センサーはキッチュだ; int3 & fact3 -> hypothesis; __PROVED__
事実1: この各種センサーが生まれ育つとするとそれは締めっぽくないかまたはそれは借用者でない
事実2: この各種センサーは生まれ育つ
事実3: もしもこの各種センサーがキッチュならばあの広告キャンペーンは慕わしい
事実4: 何かは締めっぽいということはないかまたはそれは借用者でないかもしくは両方だとするとキッチュだ
事実5: この各種センサーが締めっぽくないとすればキッチュである
事実6: あの四角形マスクツールは生まれ育つ

仮説: その広告キャンペーンは慕わしい
1. 事実4から、推論1: "もし仮にこの各種センサーは締めっぽくないかもしくは借用者でないかどちらもならばそれはキッチュだ"が導かれる
2. 事実2と事実1から、推論2: "この各種センサーは締めっぽくないかそれは借用者だということはないか両方ともである"が導かれる
3. 推論1と推論2から、推論3: "この各種センサーはキッチュだ"が導かれる
4. 推論3と事実3から、仮説が導かれる

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