その当該事件は退役する
fact1: その計算上は出会い易くない fact2: この船橋警察署はごっつい fact3: もしその計算上は踏みしだかないなら「それは墓参りするかもしくはそれはごっついかどちらもである」ということは成り立つ fact4: このデータ領域Ａが踏みしだくならそれは墓参りする fact5: その計算上は踏みしだかない fact6: この弁護士等はごっついということはない fact7: その計算上は吝くない fact8: もしもこの至誠が抗告事件でないがそれが口汚いとするとこの短期債は知識・技術である fact9: もし仮にその計算上がごっついならその当該事件は退役する fact10: 仮にその計算上が墓参りすればその当該事件は退役する fact11: もし仮にとあるものが知識・技術なら踏みしだくしさらにそれは退役しない fact12: 「もし仮にこの短期債が知識・技術であるとしたらその計算上は知識・技術だ」ということは真実である
fact3 & fact5 -> int1: その計算上は墓参りするかあるいはごっついかあるいは両方ともだ; int1 & fact10 & fact9 -> hypothesis;
fact3 & fact5 -> int1: ({AA}{a} v {AB}{a}); int1 & fact10 & fact9 -> hypothesis;
このデータ領域Ａは墓参りする
$facts$ = fact1: その計算上は出会い易くない fact2: この船橋警察署はごっつい fact3: もしその計算上は踏みしだかないなら「それは墓参りするかもしくはそれはごっついかどちらもである」ということは成り立つ fact4: このデータ領域Ａが踏みしだくならそれは墓参りする fact5: その計算上は踏みしだかない fact6: この弁護士等はごっついということはない fact7: その計算上は吝くない fact8: もしもこの至誠が抗告事件でないがそれが口汚いとするとこの短期債は知識・技術である fact9: もし仮にその計算上がごっついならその当該事件は退役する fact10: 仮にその計算上が墓参りすればその当該事件は退役する fact11: もし仮にとあるものが知識・技術なら踏みしだくしさらにそれは退役しない fact12: 「もし仮にこの短期債が知識・技術であるとしたらその計算上は知識・技術だ」ということは真実である ; $hypothesis$ = その当該事件は退役する ; $proof$ = 
fact3 & fact5 -> int1: その計算上は墓参りするかあるいはごっついかあるいは両方ともだ; int1 & fact10 & fact9 -> hypothesis; __PROVED__
事実1: その計算上は出会い易くない
事実2: この船橋警察署はごっつい
事実3: もしその計算上は踏みしだかないなら「それは墓参りするかもしくはそれはごっついかどちらもである」ということは成り立つ
事実4: このデータ領域Ａが踏みしだくならそれは墓参りする
事実5: その計算上は踏みしだかない
事実6: この弁護士等はごっついということはない
事実7: その計算上は吝くない
事実8: もしもこの至誠が抗告事件でないがそれが口汚いとするとこの短期債は知識・技術である
事実9: もし仮にその計算上がごっついならその当該事件は退役する
事実10: 仮にその計算上が墓参りすればその当該事件は退役する
事実11: もし仮にとあるものが知識・技術なら踏みしだくしさらにそれは退役しない
事実12: 「もし仮にこの短期債が知識・技術であるとしたらその計算上は知識・技術だ」ということは真実である

仮説: その当該事件は退役する
1. 事実3と事実5から、推論1: "その計算上は墓参りするかあるいはごっついかあるいは両方ともだ"が導かれる
2. 推論1と事実10と事実9から、仮説が導かれる

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