「この口頭発表は形でないかまたはリンスするかあるいは両方ともだ」ということは誤っている
fact1: もし「あのコラージュは卦辞でなくてそれに写真内でない」ということは真実でないとすればそれは生息する fact2: 仮に「なんらかのものは卦辞であるしそれは生息する」ということは偽だとしたらそれは卦辞でない fact3: あのコラージュは弁護士さんである fact4: もしもこの口頭発表が生息しないかまたは卦辞であるかあるいは両方ともだとしたらあのコラージュは形でない fact5: 「あのコラージュは卦辞であるということはなくてかつ写真内でない」ということは誤っている fact6: 仮にこの口頭発表が形でないかもしくはそれがリンスするとするとあのコラージュは生息しない
void -> assump1: 以下のように仮定する。この口頭発表は形でないかあるいはリンスするかまたはどちらもだ; fact6 & assump1 -> int1: あのコラージュは生息しない; fact1 & fact5 -> int2: あのコラージュは生息する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} v {AB}{a}); fact6 & assump1 -> int1: ¬{B}{b}; fact1 & fact5 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この口頭発表は形でないかもしくはリンスするかもしくは両方ともである
fact7 -> int4: 仮に「あのコラージュは卦辞であるしそれは生息する」ということは成り立たないならばそれは卦辞でない;
$facts$ = fact1: もし「あのコラージュは卦辞でなくてそれに写真内でない」ということは真実でないとすればそれは生息する fact2: 仮に「なんらかのものは卦辞であるしそれは生息する」ということは偽だとしたらそれは卦辞でない fact3: あのコラージュは弁護士さんである fact4: もしもこの口頭発表が生息しないかまたは卦辞であるかあるいは両方ともだとしたらあのコラージュは形でない fact5: 「あのコラージュは卦辞であるということはなくてかつ写真内でない」ということは誤っている fact6: 仮にこの口頭発表が形でないかもしくはそれがリンスするとするとあのコラージュは生息しない ; $hypothesis$ = 「この口頭発表は形でないかまたはリンスするかあるいは両方ともだ」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この口頭発表は形でないかあるいはリンスするかまたはどちらもだ; fact6 & assump1 -> int1: あのコラージュは生息しない; fact1 & fact5 -> int2: あのコラージュは生息する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし「あのコラージュは卦辞でなくてそれに写真内でない」ということは真実でないとすればそれは生息する
事実2: 仮に「なんらかのものは卦辞であるしそれは生息する」ということは偽だとしたらそれは卦辞でない
事実3: あのコラージュは弁護士さんである
事実4: もしもこの口頭発表が生息しないかまたは卦辞であるかあるいは両方ともだとしたらあのコラージュは形でない
事実5: 「あのコラージュは卦辞であるということはなくてかつ写真内でない」ということは誤っている
事実6: 仮にこの口頭発表が形でないかもしくはそれがリンスするとするとあのコラージュは生息しない

仮説: 「この口頭発表は形でないかまたはリンスするかあるいは両方ともだ」ということは誤っている
1. 仮定1: 以下のように仮定する。この口頭発表は形でないかあるいはリンスするかまたはどちらもだ
2. 事実6と仮定1から、推論1: "あのコラージュは生息しない"が導かれる
3. 事実1と事実5から、推論2: "あのコラージュは生息する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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