このズームボックスは大会前である
fact1: もしとある物が不祥事件でないならばそれは内接するしそれにそれは懐こい fact2: もし仮にその公魚がヘアヌードだけどそれが懐こくないとしたらその糾弾は不祥事件でない fact3: その公魚は仰臥するということはない fact4: もしこのズームボックスが内接する一方で大会前でないとするとその糾弾は懐こくない fact5: 「「「仰せ付けるということはないが面白おかしい」ということは偽である」ものはある」ということは偽でない fact6: もし仮に「「不祥事件であるということはなくて大会前である」ということは成り立つということはない」ものがあればこのズームボックスは仰臥する fact7: もしも「「仰せ付けないしかつ面白おかしい」ということは誤りな」ものがあるとしたらこのズームボックスは内接する fact8: その至り君は仰臥するということはない fact9: もし仮にその公魚がヘアヌードだとするとそれは仰臥する fact10: その公魚が不祥事件だとしたらそれはヘアヌードである fact11: もしその糾弾が懐こくないとするとその公魚は不祥事件だ
fact5 & fact7 -> int1: このズームボックスは内接する; void -> assump1: 以下のように仮定する。このズームボックスは大会前でない; int1 & assump1 -> int2: このズームボックスは内接する一方で大会前であるということはない; int2 & fact4 -> int3: その糾弾は懐こくない; int3 & fact11 -> int4: その公魚は不祥事件である; int4 & fact10 -> int5: その公魚はヘアヌードである; int5 & fact9 -> int6: その公魚は仰臥する; int6 & fact3 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「このズームボックスは大会前でない」ということは成り立つ
fact12 -> int8: もし仮にその公魚が不祥事件でないとすれば内接するしおまけに懐こい;
$facts$ = fact1: もしとある物が不祥事件でないならばそれは内接するしそれにそれは懐こい fact2: もし仮にその公魚がヘアヌードだけどそれが懐こくないとしたらその糾弾は不祥事件でない fact3: その公魚は仰臥するということはない fact4: もしこのズームボックスが内接する一方で大会前でないとするとその糾弾は懐こくない fact5: 「「「仰せ付けるということはないが面白おかしい」ということは偽である」ものはある」ということは偽でない fact6: もし仮に「「不祥事件であるということはなくて大会前である」ということは成り立つということはない」ものがあればこのズームボックスは仰臥する fact7: もしも「「仰せ付けないしかつ面白おかしい」ということは誤りな」ものがあるとしたらこのズームボックスは内接する fact8: その至り君は仰臥するということはない fact9: もし仮にその公魚がヘアヌードだとするとそれは仰臥する fact10: その公魚が不祥事件だとしたらそれはヘアヌードである fact11: もしその糾弾が懐こくないとするとその公魚は不祥事件だ ; $hypothesis$ = このズームボックスは大会前である ; $proof$ = 
fact5 & fact7 -> int1: このズームボックスは内接する; void -> assump1: 以下のように仮定する。このズームボックスは大会前でない; int1 & assump1 -> int2: このズームボックスは内接する一方で大会前であるということはない; int2 & fact4 -> int3: その糾弾は懐こくない; int3 & fact11 -> int4: その公魚は不祥事件である; int4 & fact10 -> int5: その公魚はヘアヌードである; int5 & fact9 -> int6: その公魚は仰臥する; int6 & fact3 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしとある物が不祥事件でないならばそれは内接するしそれにそれは懐こい
事実2: もし仮にその公魚がヘアヌードだけどそれが懐こくないとしたらその糾弾は不祥事件でない
事実3: その公魚は仰臥するということはない
事実4: もしこのズームボックスが内接する一方で大会前でないとするとその糾弾は懐こくない
事実5: 「「「仰せ付けるということはないが面白おかしい」ということは偽である」ものはある」ということは偽でない
事実6: もし仮に「「不祥事件であるということはなくて大会前である」ということは成り立つということはない」ものがあればこのズームボックスは仰臥する
事実7: もしも「「仰せ付けないしかつ面白おかしい」ということは誤りな」ものがあるとしたらこのズームボックスは内接する
事実8: その至り君は仰臥するということはない
事実9: もし仮にその公魚がヘアヌードだとするとそれは仰臥する
事実10: その公魚が不祥事件だとしたらそれはヘアヌードである
事実11: もしその糾弾が懐こくないとするとその公魚は不祥事件だ

仮説: このズームボックスは大会前である
1. 事実5と事実7から、推論1: "このズームボックスは内接する"が導かれる
2. 仮定1: 以下のように仮定する。このズームボックスは大会前でない
3. 推論1と仮定1から、推論2: "このズームボックスは内接する一方で大会前であるということはない"が導かれる
4. 推論2と事実4から、推論3: "その糾弾は懐こくない"が導かれる
5. 推論3と事実11から、推論4: "その公魚は不祥事件である"が導かれる
6. 推論4と事実10から、推論5: "その公魚はヘアヌードである"が導かれる
7. 推論5と事実9から、推論6: "その公魚は仰臥する"が導かれる
8. 推論6と事実3から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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