the producer is a kind of a belly.
sent1: if something is not a kind of a ramp then that the fact that it is a cunt and it is a vandalism hold is not right. sent2: the producer is a kind of a belly but it is not a kind of a ramp if the jean is a belly. sent3: that the jean is a belly is not incorrect if something is a cunt and it is a vandalism. sent4: the hod is a kind of a cunt and it is a vandalism.
sent4 -> int1: something is a cunt and a vandalism.; int1 & sent3 -> int2: the jean is a belly.; int2 & sent2 -> int3: the producer is a kind of a belly but it is not a ramp.; int3 -> hypothesis;
the producer does not belly.
sent1 -> int4: if the jean is not a kind of a ramp then that that it is a cunt and it is a kind of a vandalism is not false does not hold.;
$hypothesis$ = the producer is a kind of a belly. ; $context$ = sent1: if something is not a kind of a ramp then that the fact that it is a cunt and it is a vandalism hold is not right. sent2: the producer is a kind of a belly but it is not a kind of a ramp if the jean is a belly. sent3: that the jean is a belly is not incorrect if something is a cunt and it is a vandalism. sent4: the hod is a kind of a cunt and it is a vandalism. ; $proof$ = 
sent4 -> int1: something is a cunt and a vandalism.; int1 & sent3 -> int2: the jean is a belly.; int2 & sent2 -> int3: the producer is a kind of a belly but it is not a ramp.; int3 -> hypothesis; __PROVED__