あのわんは幼しということはない
fact1: 仮にあのわんは表面化だということはないがしかし来辛いとすると「それは幼しない」ということは本当だ fact2: あのわんは表面化であるということはないけどそれは来辛い fact3: 「進駐は成就出来ないしさらに幼しない」ということは成り立つ fact4: あのわんは表面化でない fact5: もし仮になにがしかのものが象るとすればそれは進駐である
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
この蒼白は幼しない
fact7 -> int1: この蒼白が進駐であるとすれば成就出来るということはないしさらに幼しない; fact6 -> int2: もし仮にこの蒼白が象れば進駐である;
$facts$ = fact1: 仮にあのわんは表面化だということはないがしかし来辛いとすると「それは幼しない」ということは本当だ fact2: あのわんは表面化であるということはないけどそれは来辛い fact3: 「進駐は成就出来ないしさらに幼しない」ということは成り立つ fact4: あのわんは表面化でない fact5: もし仮になにがしかのものが象るとすればそれは進駐である ; $hypothesis$ = あのわんは幼しということはない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 仮にあのわんは表面化だということはないがしかし来辛いとすると「それは幼しない」ということは本当だ
事実2: あのわんは表面化であるということはないけどそれは来辛い
事実3: 「進駐は成就出来ないしさらに幼しない」ということは成り立つ
事実4: あのわんは表面化でない
事実5: もし仮になにがしかのものが象るとすればそれは進駐である

仮説: あのわんは幼しということはない
1. 事実1と事実2から、仮説が導かれる

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