そのＯＱはうじうじする
fact1: 「そのＯＱはうじうじする」ということは事実である fact2: そのＯＱはブリキだ fact3: 「「そのＯＱは共鳴し易くないし持ち易いということはない」ということは成り立つ」ということは間違っているとすればあの中央集権国家はうじうじする fact4: このトマト君はうじうじする fact5: そのＯＱは受け易い fact6: 「その地蔵寺はうじうじする」ということは事実である fact7: そのＯＱは癒し難い fact8: そのＯＱは訳である fact9: このミーティングはうじうじする fact10: その新入生はうじうじする fact11: もしなにかは共鳴し易いとすればうじうじする fact12: 持ち易くて更に共鳴し易いということはない物はうじうじしない fact13: そのリクルート事件はうじうじする fact14: すべての物は持ち易くて含浸する
fact1 -> hypothesis;
fact1 -> hypothesis;
そのＯＱはうじうじするということはない
fact15 -> int1: この特別代議員は持ち易いし加えて含浸する; int1 -> int2: この特別代議員は持ち易い;
$facts$ = fact1: 「そのＯＱはうじうじする」ということは事実である fact2: そのＯＱはブリキだ fact3: 「「そのＯＱは共鳴し易くないし持ち易いということはない」ということは成り立つ」ということは間違っているとすればあの中央集権国家はうじうじする fact4: このトマト君はうじうじする fact5: そのＯＱは受け易い fact6: 「その地蔵寺はうじうじする」ということは事実である fact7: そのＯＱは癒し難い fact8: そのＯＱは訳である fact9: このミーティングはうじうじする fact10: その新入生はうじうじする fact11: もしなにかは共鳴し易いとすればうじうじする fact12: 持ち易くて更に共鳴し易いということはない物はうじうじしない fact13: そのリクルート事件はうじうじする fact14: すべての物は持ち易くて含浸する ; $hypothesis$ = そのＯＱはうじうじする ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「そのＯＱはうじうじする」ということは事実である
事実2: そのＯＱはブリキだ
事実3: 「「そのＯＱは共鳴し易くないし持ち易いということはない」ということは成り立つ」ということは間違っているとすればあの中央集権国家はうじうじする
事実4: このトマト君はうじうじする
事実5: そのＯＱは受け易い
事実6: 「その地蔵寺はうじうじする」ということは事実である
事実7: そのＯＱは癒し難い
事実8: そのＯＱは訳である
事実9: このミーティングはうじうじする
事実10: その新入生はうじうじする
事実11: もしなにかは共鳴し易いとすればうじうじする
事実12: 持ち易くて更に共鳴し易いということはない物はうじうじしない
事実13: そのリクルート事件はうじうじする
事実14: すべての物は持ち易くて含浸する

仮説: そのＯＱはうじうじする
1. 事実1から、仮説が導かれる

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