the audiovisual governs longwool if the longwool is a kind of a hectare.
sent1: something is not antitypic if it is a hectare. sent2: the audiovisual is a hectare that does not govern longwool. sent3: the longwool is not antitypic. sent4: if the longwool is a hectare then it is not antitypic. sent5: if something is a kind of a hectare it is loamy and it is not antitypic.
sent5 -> int1: the longwool is loamy but not antitypic if it is a hectare.; void -> assump1: Let's assume that the longwool is a hectare.; int1 & assump1 -> int2: the longwool is a kind of loamy thing that is not antitypic.; int2 -> int3: the longwool is loamy.;
$hypothesis$ = the audiovisual governs longwool if the longwool is a kind of a hectare. ; $context$ = sent1: something is not antitypic if it is a hectare. sent2: the audiovisual is a hectare that does not govern longwool. sent3: the longwool is not antitypic. sent4: if the longwool is a hectare then it is not antitypic. sent5: if something is a kind of a hectare it is loamy and it is not antitypic. ; $proof$ = 
sent5 -> int1: the longwool is loamy but not antitypic if it is a hectare.; void -> assump1: Let's assume that the longwool is a hectare.; int1 & assump1 -> int2: the longwool is a kind of loamy thing that is not antitypic.; int2 -> int3: the longwool is loamy.; __UNKNOWN__