この研究紀要は投票しない
fact1: あの紗は面目無くない fact2: このセールスポイントは内掛けだ fact3: もし「そのカーテンは投票しないけれど内掛けである」ということは事実と異なるとするとこの研究紀要は赤道直下であるということはない fact4: もし「このセールスポイントは面目無くないけれどださい」ということは偽だとしたらこの研究紀要は投票しない fact5: もしこのセールスポイントは小額紙幣なら「面目無くなくてださい」ということは間違っている fact6: もし仮にこのセールスポイントが面目無いとしたらこの研究紀要は投票しない fact7: このセールスポイントは小額紙幣だとすれば「面目無いしまたださい」ということは間違っている fact8: もし仮にそのカーテンが内掛けであるとすればこのセールスポイントは小額紙幣だ fact9: 「仮にとあるものは小額紙幣であるとすると「赤道直下であるか内掛けでない」ということは成り立たない」ということは真実である fact10: もしもそのカーテンは赤道直下ならば「このセールスポイントは小額紙幣である」ということは確かだ fact11: もしも「そのカーテンは面目無いということはなくておまけにＴ型でない」ということは間違っているならこの研究紀要は面目無くない fact12: 「あるものは赤道直下であるか内掛けでないかまたはどちらもだ」ということは嘘であるならばそれは投票する fact13: そのカーテンは内掛けであるかまたは赤道直下だ fact14: 「このセールスポイントは面目無くてまたださい」ということは成り立つということはない
fact13 & fact8 & fact10 -> int1: このセールスポイントは小額紙幣だ; int1 & fact5 -> int2: 「このセールスポイントは面目無くないがしかしださい」ということは嘘だ; int2 & fact4 -> hypothesis;
fact13 & fact8 & fact10 -> int1: {C}{c}; int1 & fact5 -> int2: ¬(¬{E}{c} & {D}{c}); int2 & fact4 -> hypothesis;
この研究紀要は投票する
fact17 -> int3: 「この研究紀要は赤道直下であるかもしくは内掛けでないかもしくは両方である」ということは正しくないとしたらそれは投票する; fact15 -> int4: もしこの研究紀要は小額紙幣であるとすれば「それは赤道直下であるかまたは内掛けだということはないかもしくは両方ともである」ということは誤っている;
$facts$ = fact1: あの紗は面目無くない fact2: このセールスポイントは内掛けだ fact3: もし「そのカーテンは投票しないけれど内掛けである」ということは事実と異なるとするとこの研究紀要は赤道直下であるということはない fact4: もし「このセールスポイントは面目無くないけれどださい」ということは偽だとしたらこの研究紀要は投票しない fact5: もしこのセールスポイントは小額紙幣なら「面目無くなくてださい」ということは間違っている fact6: もし仮にこのセールスポイントが面目無いとしたらこの研究紀要は投票しない fact7: このセールスポイントは小額紙幣だとすれば「面目無いしまたださい」ということは間違っている fact8: もし仮にそのカーテンが内掛けであるとすればこのセールスポイントは小額紙幣だ fact9: 「仮にとあるものは小額紙幣であるとすると「赤道直下であるか内掛けでない」ということは成り立たない」ということは真実である fact10: もしもそのカーテンは赤道直下ならば「このセールスポイントは小額紙幣である」ということは確かだ fact11: もしも「そのカーテンは面目無いということはなくておまけにＴ型でない」ということは間違っているならこの研究紀要は面目無くない fact12: 「あるものは赤道直下であるか内掛けでないかまたはどちらもだ」ということは嘘であるならばそれは投票する fact13: そのカーテンは内掛けであるかまたは赤道直下だ fact14: 「このセールスポイントは面目無くてまたださい」ということは成り立つということはない ; $hypothesis$ = この研究紀要は投票しない ; $proof$ = 
fact13 & fact8 & fact10 -> int1: このセールスポイントは小額紙幣だ; int1 & fact5 -> int2: 「このセールスポイントは面目無くないがしかしださい」ということは嘘だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: あの紗は面目無くない
事実2: このセールスポイントは内掛けだ
事実3: もし「そのカーテンは投票しないけれど内掛けである」ということは事実と異なるとするとこの研究紀要は赤道直下であるということはない
事実4: もし「このセールスポイントは面目無くないけれどださい」ということは偽だとしたらこの研究紀要は投票しない
事実5: もしこのセールスポイントは小額紙幣なら「面目無くなくてださい」ということは間違っている
事実6: もし仮にこのセールスポイントが面目無いとしたらこの研究紀要は投票しない
事実7: このセールスポイントは小額紙幣だとすれば「面目無いしまたださい」ということは間違っている
事実8: もし仮にそのカーテンが内掛けであるとすればこのセールスポイントは小額紙幣だ
事実9: 「仮にとあるものは小額紙幣であるとすると「赤道直下であるか内掛けでない」ということは成り立たない」ということは真実である
事実10: もしもそのカーテンは赤道直下ならば「このセールスポイントは小額紙幣である」ということは確かだ
事実11: もしも「そのカーテンは面目無いということはなくておまけにＴ型でない」ということは間違っているならこの研究紀要は面目無くない
事実12: 「あるものは赤道直下であるか内掛けでないかまたはどちらもだ」ということは嘘であるならばそれは投票する
事実13: そのカーテンは内掛けであるかまたは赤道直下だ
事実14: 「このセールスポイントは面目無くてまたださい」ということは成り立つということはない

仮説: この研究紀要は投票しない
1. 事実13と事実8と事実10から、推論1: "このセールスポイントは小額紙幣だ"が導かれる
2. 推論1と事実5から、推論2: "「このセールスポイントは面目無くないがしかしださい」ということは嘘だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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