「その口唇ヘルペスは放映する一方で各論文であるということはない」ということは誤りである
fact1: 仮にその口唇ヘルペスは放映するけど各論文であるということはないとしたら合祀しない fact2: もし「「ぶら下がるしまた合祀しない」ということは成り立たない」ものがあるとしたらその口唇ヘルペスは合祀する fact3: 「「ぶら下がる一方で合祀するということはない」ということは偽な」ものはある
void -> assump1: 以下のように仮定する。その口唇ヘルペスは放映するがそれは各論文でない; fact1 & assump1 -> int1: その口唇ヘルペスは合祀しない; fact2 & fact3 -> int2: その口唇ヘルペスは合祀する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{a}; fact2 & fact3 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にその口唇ヘルペスは放映するけど各論文であるということはないとしたら合祀しない fact2: もし「「ぶら下がるしまた合祀しない」ということは成り立たない」ものがあるとしたらその口唇ヘルペスは合祀する fact3: 「「ぶら下がる一方で合祀するということはない」ということは偽な」ものはある ; $hypothesis$ = 「その口唇ヘルペスは放映する一方で各論文であるということはない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。その口唇ヘルペスは放映するがそれは各論文でない; fact1 & assump1 -> int1: その口唇ヘルペスは合祀しない; fact2 & fact3 -> int2: その口唇ヘルペスは合祀する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にその口唇ヘルペスは放映するけど各論文であるということはないとしたら合祀しない
事実2: もし「「ぶら下がるしまた合祀しない」ということは成り立たない」ものがあるとしたらその口唇ヘルペスは合祀する
事実3: 「「ぶら下がる一方で合祀するということはない」ということは偽な」ものはある

仮説: 「その口唇ヘルペスは放映する一方で各論文であるということはない」ということは誤りである
1. 仮定1: 以下のように仮定する。その口唇ヘルペスは放映するがそれは各論文でない
2. 事実1と仮定1から、推論1: "その口唇ヘルペスは合祀しない"が導かれる
3. 事実2と事実3から、推論2: "その口唇ヘルペスは合祀する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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