the concertina is a kind of a bluebonnet.
sent1: if something does grease Onopordum then it is a bluebonnet. sent2: everything greases Onopordum.
sent2 -> int1: the concertina does grease Onopordum.; sent1 -> int2: the concertina is a kind of a bluebonnet if it greases Onopordum.; int1 & int2 -> hypothesis;
$hypothesis$ = the concertina is a kind of a bluebonnet. ; $context$ = sent1: if something does grease Onopordum then it is a bluebonnet. sent2: everything greases Onopordum. ; $proof$ = 
sent2 -> int1: the concertina does grease Onopordum.; sent1 -> int2: the concertina is a kind of a bluebonnet if it greases Onopordum.; int1 & int2 -> hypothesis; __PROVED__