その討手は探し易い
fact1: 仮に何らかのものが排撃しないとしたらライトアップするということはないがしかしオレンジ系である fact2: なにかはライトアップしないならそれは面倒臭いけれどしゃあ無くない fact3: その討手は面倒臭いしおまけに探し易い fact4: もしこの運転保安闘争が長しとしたらこのウェブページ内は階級章でなくてそれにそれは寵しない fact5: 仮にその討手が面倒臭いとするとこの海豹達は探し易い fact6: この運転保安闘争は長し
fact3 -> hypothesis;
この海豹達は探し易い
fact10 -> int1: もしその討手がライトアップしないならばそれは面倒臭いがしかししゃあ無くない; fact7 -> int2: もしもその討手が排撃しないとすればそれはライトアップしなくてそれはオレンジ系である; fact11 & fact9 -> int3: このウェブページ内は階級章であるということはないし寵しない; int3 -> int4: あるものは階級章でなくてかつ寵するということはない;
$facts$ = fact1: 仮に何らかのものが排撃しないとしたらライトアップするということはないがしかしオレンジ系である fact2: なにかはライトアップしないならそれは面倒臭いけれどしゃあ無くない fact3: その討手は面倒臭いしおまけに探し易い fact4: もしこの運転保安闘争が長しとしたらこのウェブページ内は階級章でなくてそれにそれは寵しない fact5: 仮にその討手が面倒臭いとするとこの海豹達は探し易い fact6: この運転保安闘争は長し ; $hypothesis$ = その討手は探し易い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが排撃しないとしたらライトアップするということはないがしかしオレンジ系である
事実2: なにかはライトアップしないならそれは面倒臭いけれどしゃあ無くない
事実3: その討手は面倒臭いしおまけに探し易い
事実4: もしこの運転保安闘争が長しとしたらこのウェブページ内は階級章でなくてそれにそれは寵しない
事実5: 仮にその討手が面倒臭いとするとこの海豹達は探し易い
事実6: この運転保安闘争は長し

仮説: その討手は探し易い
1. 事実3から、仮説が導かれる

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