この日本歴史は創立しないし間近いということはない
fact1: もし仮にある物が言えらないけど艶っぽいとすれば予期出来ない fact2: 何らかの物は在廷しないとしたら「それは販売するししかも振り返る」ということは成り立たない fact3: 何らかの物が販売しないならそれは言えないしかつそれは艶っぽい fact4: あの膜厚誤差は間近くない fact5: もしも「この日本歴史は販売するしさらにそれは振り返る」ということは間違いであるとするとそれは販売するということはない fact6: 「その北端は予期出来るし艶っぽい」ということは成り立つ fact7: もしあるものは予期出来ないとすると「創立しないしさらに間近いということはない」ということは間違いである fact8: その北端が艶っぽいならばこの日本歴史が創立しないしさらに間近くない
fact6 -> int1: その北端は艶っぽい; int1 & fact8 -> hypothesis;
「この日本歴史は創立するということはないし加えて間近くない」ということは誤りである
fact9 -> int2: もしこの日本歴史は予期出来ないとすると「創立しないしその上間近くない」ということは事実と異なる; fact10 -> int3: もし仮にこの日本歴史が言えらないがしかし艶っぽいとするとそれは予期出来ない; fact13 -> int4: この日本歴史が販売しないならそれは言えないしそれは艶っぽい; fact11 -> int5: もし仮に「この日本歴史は在廷しない」ということは正しいとすれば「販売するしさらに振り返る」ということは偽である;
$facts$ = fact1: もし仮にある物が言えらないけど艶っぽいとすれば予期出来ない fact2: 何らかの物は在廷しないとしたら「それは販売するししかも振り返る」ということは成り立たない fact3: 何らかの物が販売しないならそれは言えないしかつそれは艶っぽい fact4: あの膜厚誤差は間近くない fact5: もしも「この日本歴史は販売するしさらにそれは振り返る」ということは間違いであるとするとそれは販売するということはない fact6: 「その北端は予期出来るし艶っぽい」ということは成り立つ fact7: もしあるものは予期出来ないとすると「創立しないしさらに間近いということはない」ということは間違いである fact8: その北端が艶っぽいならばこの日本歴史が創立しないしさらに間近くない ; $hypothesis$ = この日本歴史は創立しないし間近いということはない ; $proof$ = 
fact6 -> int1: その北端は艶っぽい; int1 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にある物が言えらないけど艶っぽいとすれば予期出来ない
事実2: 何らかの物は在廷しないとしたら「それは販売するししかも振り返る」ということは成り立たない
事実3: 何らかの物が販売しないならそれは言えないしかつそれは艶っぽい
事実4: あの膜厚誤差は間近くない
事実5: もしも「この日本歴史は販売するしさらにそれは振り返る」ということは間違いであるとするとそれは販売するということはない
事実6: 「その北端は予期出来るし艶っぽい」ということは成り立つ
事実7: もしあるものは予期出来ないとすると「創立しないしさらに間近いということはない」ということは間違いである
事実8: その北端が艶っぽいならばこの日本歴史が創立しないしさらに間近くない

仮説: この日本歴史は創立しないし間近いということはない
1. 事実6から、推論1: "その北端は艶っぽい"が導かれる
2. 推論1と事実8から、仮説が導かれる

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