その青汁は合併し易くない
fact1: もし「飲み屋さんな」ものがあるとすればその青汁は合併し易くない fact2: 「飲み屋さんな」物はある
$facts$ = fact1: もし「飲み屋さんな」ものがあるとすればその青汁は合併し易くない fact2: 「飲み屋さんな」物はある ; $hypothesis$ = その青汁は合併し易くない ; $proof$ = 
事実1: もし「飲み屋さんな」ものがあるとすればその青汁は合併し易くない
事実2: 「飲み屋さんな」物はある

仮説: その青汁は合併し易くない