この草丈はノードＢでそれは捨て難い
fact1: この草丈はまだるっこしい fact2: この草丈はＹＡＧロッドである fact3: あのメットＡは物語るしそれにノードＢである fact4: その層雲峡はノードＢだ fact5: この草丈はノードＢである fact6: この草丈は捨て難い
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
$facts$ = fact1: この草丈はまだるっこしい fact2: この草丈はＹＡＧロッドである fact3: あのメットＡは物語るしそれにノードＢである fact4: その層雲峡はノードＢだ fact5: この草丈はノードＢである fact6: この草丈は捨て難い ; $hypothesis$ = この草丈はノードＢでそれは捨て難い ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: この草丈はまだるっこしい
事実2: この草丈はＹＡＧロッドである
事実3: あのメットＡは物語るしそれにノードＢである
事実4: その層雲峡はノードＢだ
事実5: この草丈はノードＢである
事実6: この草丈は捨て難い

仮説: この草丈はノードＢでそれは捨て難い
1. 事実5と事実6から、仮説が導かれる

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