その日本名はティフェレットでない
fact1: 仮にその日本名がティフェレットであるとするとその性暴力はか弱い fact2: もし「相応しいしそれに手洗いする」ものはあるならその性暴力はか弱くない fact3: 何かは相応しいしさらに手洗いする
void -> assump1: 以下のように仮定する。その日本名はティフェレットだ; fact1 & assump1 -> int1: その性暴力はか弱い; fact2 & fact3 -> int2: その性暴力はか弱いということはない; int1 & int2 -> int3: これは矛盾である; [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から、仮説が導かれる

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