「あの監査実施準則はマトリックスだということはないけど蘇る」ということは成り立たない
fact1: もしも何らかの物は覚え易いとすれば「それはマトリックスでないしその上蘇る」ということは成り立つということはない fact2: その司祭者はキャット・フードだ fact3: もし仮に「あの監査実施準則はジュリストであるということはないけれどそれは覚え易い」ということは嘘ならばその伝えは尽くし難くない fact4: その伝えは覚え易い fact5: あの監査実施準則は尽くし難くない fact6: 「その司祭者がキャット・フードであるとしたらその伝えは尽くし難い」ということは間違いでない fact7: 「「その司祭者はキャット・フードでないけれどマトリックスである」ということは間違っている」ということは真実である fact8: もしその司祭者は覚え易いならば「それはキャット・フードだしジュリストである」ということは間違いだ
void -> assump1: 以下のように仮定する。「あの監査実施準則はジュリストであるということはない一方で覚え易い」ということは嘘である; fact3 & assump1 -> int1: 「その伝えは尽くし難くない」ということは成り立つ; fact2 & fact6 -> int2: その伝えは尽くし難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの監査実施準則はジュリストであるということはないけど覚え易い; int4 -> int5: あの監査実施準則は覚え易い; fact1 -> int6: 仮にあの監査実施準則は覚え易いとすれば「マトリックスでなくてその上蘇る」ということは間違っている; int5 & int6 -> hypothesis;
$facts$ = fact1: もしも何らかの物は覚え易いとすれば「それはマトリックスでないしその上蘇る」ということは成り立つということはない fact2: その司祭者はキャット・フードだ fact3: もし仮に「あの監査実施準則はジュリストであるということはないけれどそれは覚え易い」ということは嘘ならばその伝えは尽くし難くない fact4: その伝えは覚え易い fact5: あの監査実施準則は尽くし難くない fact6: 「その司祭者がキャット・フードであるとしたらその伝えは尽くし難い」ということは間違いでない fact7: 「「その司祭者はキャット・フードでないけれどマトリックスである」ということは間違っている」ということは真実である fact8: もしその司祭者は覚え易いならば「それはキャット・フードだしジュリストである」ということは間違いだ ; $hypothesis$ = 「あの監査実施準則はマトリックスだということはないけど蘇る」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの監査実施準則はジュリストであるということはない一方で覚え易い」ということは嘘である; fact3 & assump1 -> int1: 「その伝えは尽くし難くない」ということは成り立つ; fact2 & fact6 -> int2: その伝えは尽くし難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの監査実施準則はジュリストであるということはないけど覚え易い; int4 -> int5: あの監査実施準則は覚え易い; fact1 -> int6: 仮にあの監査実施準則は覚え易いとすれば「マトリックスでなくてその上蘇る」ということは間違っている; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも何らかの物は覚え易いとすれば「それはマトリックスでないしその上蘇る」ということは成り立つということはない
事実2: その司祭者はキャット・フードだ
事実3: もし仮に「あの監査実施準則はジュリストであるということはないけれどそれは覚え易い」ということは嘘ならばその伝えは尽くし難くない
事実4: その伝えは覚え易い
事実5: あの監査実施準則は尽くし難くない
事実6: 「その司祭者がキャット・フードであるとしたらその伝えは尽くし難い」ということは間違いでない
事実7: 「「その司祭者はキャット・フードでないけれどマトリックスである」ということは間違っている」ということは真実である
事実8: もしその司祭者は覚え易いならば「それはキャット・フードだしジュリストである」ということは間違いだ

仮説: 「あの監査実施準則はマトリックスだということはないけど蘇る」ということは成り立たない
1. 仮定1: 以下のように仮定する。「あの監査実施準則はジュリストであるということはない一方で覚え易い」ということは嘘である
2. 事実3と仮定1から、推論1: "「その伝えは尽くし難くない」ということは成り立つ"が導かれる
3. 事実2と事実6から、推論2: "その伝えは尽くし難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの監査実施準則はジュリストであるということはないけど覚え易い"が導かれる
6. 推論4から、推論5: "あの監査実施準則は覚え易い"が導かれる
7. 事実1から、推論6: "仮にあの監査実施準則は覚え易いとすれば「マトリックスでなくてその上蘇る」ということは間違っている"が導かれる
8. 推論5と推論6から、仮説が導かれる

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