「この札幌芸術は縁取りである」ということは成り立つ
fact1: この札幌芸術は八原則であるし排する fact2: その彫刻は八原則である fact3: この札幌芸術は縁取りで八原則である fact4: あの上向は八原則だ fact5: この札幌芸術は自己治癒力である fact6: あの在任期間は歯痒くてそれに吸える fact7: この札幌芸術は八原則である fact8: この札幌芸術は卒業する fact9: この御釈迦様は八原則だ fact10: その伏虎中は朗読するしそれに縁取りだ fact11: この札幌芸術は戦慣れするし呉服屋である fact12: もし何らかのものがＴＥＸでそれは八原則であるなら縁取りでない
fact3 -> hypothesis;
fact3 -> hypothesis;
この札幌芸術は縁取りでない
fact13 -> int1: もし仮にこの札幌芸術がＴＥＸであるし加えてそれは八原則であるならそれは縁取りであるということはない;
$facts$ = fact1: この札幌芸術は八原則であるし排する fact2: その彫刻は八原則である fact3: この札幌芸術は縁取りで八原則である fact4: あの上向は八原則だ fact5: この札幌芸術は自己治癒力である fact6: あの在任期間は歯痒くてそれに吸える fact7: この札幌芸術は八原則である fact8: この札幌芸術は卒業する fact9: この御釈迦様は八原則だ fact10: その伏虎中は朗読するしそれに縁取りだ fact11: この札幌芸術は戦慣れするし呉服屋である fact12: もし何らかのものがＴＥＸでそれは八原則であるなら縁取りでない ; $hypothesis$ = 「この札幌芸術は縁取りである」ということは成り立つ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この札幌芸術は八原則であるし排する
事実2: その彫刻は八原則である
事実3: この札幌芸術は縁取りで八原則である
事実4: あの上向は八原則だ
事実5: この札幌芸術は自己治癒力である
事実6: あの在任期間は歯痒くてそれに吸える
事実7: この札幌芸術は八原則である
事実8: この札幌芸術は卒業する
事実9: この御釈迦様は八原則だ
事実10: その伏虎中は朗読するしそれに縁取りだ
事実11: この札幌芸術は戦慣れするし呉服屋である
事実12: もし何らかのものがＴＥＸでそれは八原則であるなら縁取りでない

仮説: 「この札幌芸術は縁取りである」ということは成り立つ
1. 事実3から、仮説が導かれる

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