この違法行為は脂っこくない
fact1: 全ての物は卍でない fact2: 「あの即身成仏は読み辛くない」ということは正しいなら「卍であるかもしくはそれは痺れる」ということは誤りだ fact3: もしも「「この違法行為は折するかもしくは彼女らしくない」ということは成り立つ」ということは成り立たないとしたら痺れない fact4: 何もかもは卍でなくてその上それはスクリーニングテストだ fact5: もし仮にこの違法行為は痺れないなら「あの即身成仏は卍でないけどスクリーニングテストである」ということは成り立たない fact6: もしなにかは折するかあるいは彼女らしくないかもしくはどちらもであるとすると脂っこいということはない fact7: この違法行為は折しない
void -> assump1: 以下のように仮定する。「「この違法行為は折するかあるいはそれは彼女らしくないかあるいはどちらもだ」ということは事実である」ということは間違っている; fact3 & assump1 -> int1: この違法行為は痺れない; int1 & fact5 -> int2: 「あの即身成仏は卍でないけどスクリーニングテストである」ということは成り立たない; fact4 -> int3: あの即身成仏は卍でないけどスクリーニングテストだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この違法行為は折するかもしくはそれは彼女らしくないかあるいは両方だ; fact6 -> int6: もし仮にこの違法行為が折するかあるいはそれは彼女らしくないかもしくは両方であるならばそれは脂っこくない; int5 & int6 -> hypothesis;
この違法行為は脂っこい
$facts$ = fact1: 全ての物は卍でない fact2: 「あの即身成仏は読み辛くない」ということは正しいなら「卍であるかもしくはそれは痺れる」ということは誤りだ fact3: もしも「「この違法行為は折するかもしくは彼女らしくない」ということは成り立つ」ということは成り立たないとしたら痺れない fact4: 何もかもは卍でなくてその上それはスクリーニングテストだ fact5: もし仮にこの違法行為は痺れないなら「あの即身成仏は卍でないけどスクリーニングテストである」ということは成り立たない fact6: もしなにかは折するかあるいは彼女らしくないかもしくはどちらもであるとすると脂っこいということはない fact7: この違法行為は折しない ; $hypothesis$ = この違法行為は脂っこくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この違法行為は折するかあるいはそれは彼女らしくないかあるいはどちらもだ」ということは事実である」ということは間違っている; fact3 & assump1 -> int1: この違法行為は痺れない; int1 & fact5 -> int2: 「あの即身成仏は卍でないけどスクリーニングテストである」ということは成り立たない; fact4 -> int3: あの即身成仏は卍でないけどスクリーニングテストだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この違法行為は折するかもしくはそれは彼女らしくないかあるいは両方だ; fact6 -> int6: もし仮にこの違法行為が折するかあるいはそれは彼女らしくないかもしくは両方であるならばそれは脂っこくない; int5 & int6 -> hypothesis; __PROVED__
事実1: 全ての物は卍でない
事実2: 「あの即身成仏は読み辛くない」ということは正しいなら「卍であるかもしくはそれは痺れる」ということは誤りだ
事実3: もしも「「この違法行為は折するかもしくは彼女らしくない」ということは成り立つ」ということは成り立たないとしたら痺れない
事実4: 何もかもは卍でなくてその上それはスクリーニングテストだ
事実5: もし仮にこの違法行為は痺れないなら「あの即身成仏は卍でないけどスクリーニングテストである」ということは成り立たない
事実6: もしなにかは折するかあるいは彼女らしくないかもしくはどちらもであるとすると脂っこいということはない
事実7: この違法行為は折しない

仮説: この違法行為は脂っこくない
1. 仮定1: 以下のように仮定する。「「この違法行為は折するかあるいはそれは彼女らしくないかあるいはどちらもだ」ということは事実である」ということは間違っている
2. 事実3と仮定1から、推論1: "この違法行為は痺れない"が導かれる
3. 推論1と事実5から、推論2: "「あの即身成仏は卍でないけどスクリーニングテストである」ということは成り立たない"が導かれる
4. 事実4から、推論3: "あの即身成仏は卍でないけどスクリーニングテストだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この違法行為は折するかもしくはそれは彼女らしくないかあるいは両方だ"が導かれる
7. 事実6から、推論6: "もし仮にこの違法行為が折するかあるいはそれは彼女らしくないかもしくは両方であるならばそれは脂っこくない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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