このペチカは見られ易くてそれに青い
fact1: この仕入れ価格は見られ易い fact2: あらゆるものは見られ易いし加えてそれは青い fact3: このペチカは青いししかも僕自身だ fact4: すべては論じ合うし青い fact5: すべてはすりゃ良いししかも不味い fact6: どれもこれもは憎らしい
fact2 -> hypothesis;
fact2 -> hypothesis;
すべては空恐ろしいしその上論じ合う
fact7 -> int1: この史上最年少は論じ合うし青い; int1 -> int2: この史上最年少は論じ合う;
$facts$ = fact1: この仕入れ価格は見られ易い fact2: あらゆるものは見られ易いし加えてそれは青い fact3: このペチカは青いししかも僕自身だ fact4: すべては論じ合うし青い fact5: すべてはすりゃ良いししかも不味い fact6: どれもこれもは憎らしい ; $hypothesis$ = このペチカは見られ易くてそれに青い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: この仕入れ価格は見られ易い
事実2: あらゆるものは見られ易いし加えてそれは青い
事実3: このペチカは青いししかも僕自身だ
事実4: すべては論じ合うし青い
事実5: すべてはすりゃ良いししかも不味い
事実6: どれもこれもは憎らしい

仮説: このペチカは見られ易くてそれに青い
1. 事実2から、仮説が導かれる

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