「「基本特性でまた日本化する」ということは間違いな」物はある
fact1: 御寂しくないものは表わし得るかもしくは見送らないかもしくは両方である fact2: とあるものは基本特性であるし日本化する fact3: もしもその散らばり具合は発揮し難くないとすると「あのサンバは基本特性であるしさらに日本化する」ということは間違いである fact4: 「そのセンサスは表わし得るかあるいは見送るかもしくは両方である」ということは成り立つ fact5: 「もし仮にそのセンサスが御寂しいということはないならそのセンサスは表わし得るか見送るかあるいはどちらもだ」ということは成り立つ fact6: 御寂しくない物は表わし得るか見送るかまたは両方ともだ fact7: もし仮にそのセンサスが表わし得るか見送らないならばその散らばり具合は発揮し難くない fact8: そのセンサスは再生債務者自身でない fact9: あのサンバは発揮し難くない fact10: もしそのセンサスは再生債務者自身でないなら御寂しくない fact11: もし仮にそのセンサスが見送らないならその散らばり具合は発揮し難いということはない
fact10 & fact8 -> int1: そのセンサスは御寂しくない; fact1 -> int2: もしそのセンサスが御寂しくないならば表わし得るか見送らないかあるいは両方である; int1 & int2 -> int3: そのセンサスは表わし得るかまたは見送るということはないかあるいは両方ともである; int3 & fact7 -> int4: 「その散らばり具合は発揮し難くない」ということは真実だ; int4 & fact3 -> int5: 「あのサンバは基本特性であるしそれに日本化する」ということは間違いだ; int5 -> hypothesis;
$facts$ = fact1: 御寂しくないものは表わし得るかもしくは見送らないかもしくは両方である fact2: とあるものは基本特性であるし日本化する fact3: もしもその散らばり具合は発揮し難くないとすると「あのサンバは基本特性であるしさらに日本化する」ということは間違いである fact4: 「そのセンサスは表わし得るかあるいは見送るかもしくは両方である」ということは成り立つ fact5: 「もし仮にそのセンサスが御寂しいということはないならそのセンサスは表わし得るか見送るかあるいはどちらもだ」ということは成り立つ fact6: 御寂しくない物は表わし得るか見送るかまたは両方ともだ fact7: もし仮にそのセンサスが表わし得るか見送らないならばその散らばり具合は発揮し難くない fact8: そのセンサスは再生債務者自身でない fact9: あのサンバは発揮し難くない fact10: もしそのセンサスは再生債務者自身でないなら御寂しくない fact11: もし仮にそのセンサスが見送らないならその散らばり具合は発揮し難いということはない ; $hypothesis$ = 「「基本特性でまた日本化する」ということは間違いな」物はある ; $proof$ = 
fact10 & fact8 -> int1: そのセンサスは御寂しくない; fact1 -> int2: もしそのセンサスが御寂しくないならば表わし得るか見送らないかあるいは両方である; int1 & int2 -> int3: そのセンサスは表わし得るかまたは見送るということはないかあるいは両方ともである; int3 & fact7 -> int4: 「その散らばり具合は発揮し難くない」ということは真実だ; int4 & fact3 -> int5: 「あのサンバは基本特性であるしそれに日本化する」ということは間違いだ; int5 -> hypothesis; __PROVED__
事実1: 御寂しくないものは表わし得るかもしくは見送らないかもしくは両方である
事実2: とあるものは基本特性であるし日本化する
事実3: もしもその散らばり具合は発揮し難くないとすると「あのサンバは基本特性であるしさらに日本化する」ということは間違いである
事実4: 「そのセンサスは表わし得るかあるいは見送るかもしくは両方である」ということは成り立つ
事実5: 「もし仮にそのセンサスが御寂しいということはないならそのセンサスは表わし得るか見送るかあるいはどちらもだ」ということは成り立つ
事実6: 御寂しくない物は表わし得るか見送るかまたは両方ともだ
事実7: もし仮にそのセンサスが表わし得るか見送らないならばその散らばり具合は発揮し難くない
事実8: そのセンサスは再生債務者自身でない
事実9: あのサンバは発揮し難くない
事実10: もしそのセンサスは再生債務者自身でないなら御寂しくない
事実11: もし仮にそのセンサスが見送らないならその散らばり具合は発揮し難いということはない

仮説: 「「基本特性でまた日本化する」ということは間違いな」物はある
1. 事実10と事実8から、推論1: "そのセンサスは御寂しくない"が導かれる
2. 事実1から、推論2: "もしそのセンサスが御寂しくないならば表わし得るか見送らないかあるいは両方である"が導かれる
3. 推論1と推論2から、推論3: "そのセンサスは表わし得るかまたは見送るということはないかあるいは両方ともである"が導かれる
4. 推論3と事実7から、推論4: "「その散らばり具合は発揮し難くない」ということは真実だ"が導かれる
5. 推論4と事実3から、推論5: "「あのサンバは基本特性であるしそれに日本化する」ということは間違いだ"が導かれる
6. 推論5から、仮説が導かれる

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