「あの複数本は頼り無くない」ということは誤りでない
fact1: もしその半角英数文字が継続期間だということはないかもしくは同化作用であるかあるいは両方ともであるならば「あの複数本は頼り無いということはない」ということは真実だ fact2: あの修養団は削げ落ちるということはなくてそれにそれは止まれるということはない fact3: もし仮にあの修養団は削げ落ちないしその上止まれないとしたらそれは継続期間である fact4: 同化作用は如才無くないかあるいは止まれるかあるいは両方だ fact5: もしあの修養団が継続期間だとしたらその半角英数文字は継続期間でないかもしくは同化作用であるかまたはどちらもだ
fact3 & fact2 -> int1: あの修養団は継続期間だ; int1 & fact5 -> int2: その半角英数文字は継続期間であるということはないかまたは同化作用である; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: (¬{B}{b} v {A}{b}); int2 & fact1 -> hypothesis;
あの修養団は如才無いということはないかまたは止まれるかあるいは両方だ
fact6 -> int3: もしもあの修養団は同化作用であるとしたらそれは如才無くないかまたは止まれるかまたは両方である;
$facts$ = fact1: もしその半角英数文字が継続期間だということはないかもしくは同化作用であるかあるいは両方ともであるならば「あの複数本は頼り無いということはない」ということは真実だ fact2: あの修養団は削げ落ちるということはなくてそれにそれは止まれるということはない fact3: もし仮にあの修養団は削げ落ちないしその上止まれないとしたらそれは継続期間である fact4: 同化作用は如才無くないかあるいは止まれるかあるいは両方だ fact5: もしあの修養団が継続期間だとしたらその半角英数文字は継続期間でないかもしくは同化作用であるかまたはどちらもだ ; $hypothesis$ = 「あの複数本は頼り無くない」ということは誤りでない ; $proof$ = 
fact3 & fact2 -> int1: あの修養団は継続期間だ; int1 & fact5 -> int2: その半角英数文字は継続期間であるということはないかまたは同化作用である; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしその半角英数文字が継続期間だということはないかもしくは同化作用であるかあるいは両方ともであるならば「あの複数本は頼り無いということはない」ということは真実だ
事実2: あの修養団は削げ落ちるということはなくてそれにそれは止まれるということはない
事実3: もし仮にあの修養団は削げ落ちないしその上止まれないとしたらそれは継続期間である
事実4: 同化作用は如才無くないかあるいは止まれるかあるいは両方だ
事実5: もしあの修養団が継続期間だとしたらその半角英数文字は継続期間でないかもしくは同化作用であるかまたはどちらもだ

仮説: 「あの複数本は頼り無くない」ということは誤りでない
1. 事実3と事実2から、推論1: "あの修養団は継続期間だ"が導かれる
2. 推論1と事実5から、推論2: "その半角英数文字は継続期間であるということはないかまたは同化作用である"が導かれる
3. 推論2と事実1から、仮説が導かれる

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