there is something such that if that it is a kind of a guarani that does not spring-clean directionality is not right it spring-cleans cattle.
sent1: if that something is a guarani but it does not spring-clean directionality is incorrect it does spring-clean cattle. sent2: if that something is an intercept that is not a triangulation does not hold then that it is a Cantharellus is not false. sent3: there is something such that if it is not rough that it does remove pitcher is true.
sent1 -> int1: if the fact that the vol-au-vent is a kind of a guarani and does not spring-clean directionality is not correct then it spring-cleans cattle.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is a kind of a guarani that does not spring-clean directionality is not right it spring-cleans cattle. ; $context$ = sent1: if that something is a guarani but it does not spring-clean directionality is incorrect it does spring-clean cattle. sent2: if that something is an intercept that is not a triangulation does not hold then that it is a Cantharellus is not false. sent3: there is something such that if it is not rough that it does remove pitcher is true. ; $proof$ = 
sent1 -> int1: if the fact that the vol-au-vent is a kind of a guarani and does not spring-clean directionality is not correct then it spring-cleans cattle.; int1 -> hypothesis; __PROVED__