the iceboat is a kind of a rutherford and it does urticate Japanese.
sent1: if the punnet is a rutherford and is a kind of a dyspeptic then it is an understatement. sent2: if the iceboat is astomatal then it is not non-pessimistic. sent3: something is not a kind of a dyspeptic if it does not urticate Japanese and does not stick collegian. sent4: if the iceboat is pessimistic and is not a dyspeptic it is a kind of a rutherford. sent5: there are elementary things. sent6: if something is not a kind of a dyspeptic that it is not pessimistic and is not a kind of a magnetometer does not hold. sent7: that the iceboat is a kind of a dyspeptic is false. sent8: the punnet urticates Japanese if it is an understatement that is pessimistic. sent9: the fact that something is a rutherford and it urticates Japanese does not hold if it is not astomatal. sent10: something that is not a misology is not a rutherford but astomatal. sent11: the iceboat is astomatal if the fact that the piperazine is both a misology and not a magnetometer does not hold. sent12: The Japanese urticates iceboat. sent13: the iceboat urticates Japanese. sent14: if the piperazine is not a rutherford and is astomatal then the employable is a rutherford. sent15: if something that is not a kind of a arrester is a kind of an understatement it is a misology. sent16: that the piperazine is a misology but it is not a magnetometer is incorrect if the punnet is a misology. sent17: the punnet is not a kind of a arrester but it is an understatement.
sent15 -> int1: if the punnet is not a arrester but it is a kind of an understatement it is a misology.; int1 & sent17 -> int2: the punnet is a kind of a misology.; int2 & sent16 -> int3: the fact that the piperazine is a misology and is not a kind of a magnetometer is not correct.; int3 & sent11 -> int4: the iceboat is astomatal.; int4 & sent2 -> int5: the iceboat is pessimistic.; int5 & sent7 -> int6: the iceboat is pessimistic but it is not a kind of a dyspeptic.; int6 & sent4 -> int7: the iceboat is a rutherford.; int7 & sent13 -> hypothesis;
that the iceboat is a rutherford that urticates Japanese is not correct.
sent9 -> int8: that the iceboat is a kind of a rutherford and it urticates Japanese is not right if it is not astomatal.;
$hypothesis$ = the iceboat is a kind of a rutherford and it does urticate Japanese. ; $context$ = sent1: if the punnet is a rutherford and is a kind of a dyspeptic then it is an understatement. sent2: if the iceboat is astomatal then it is not non-pessimistic. sent3: something is not a kind of a dyspeptic if it does not urticate Japanese and does not stick collegian. sent4: if the iceboat is pessimistic and is not a dyspeptic it is a kind of a rutherford. sent5: there are elementary things. sent6: if something is not a kind of a dyspeptic that it is not pessimistic and is not a kind of a magnetometer does not hold. sent7: that the iceboat is a kind of a dyspeptic is false. sent8: the punnet urticates Japanese if it is an understatement that is pessimistic. sent9: the fact that something is a rutherford and it urticates Japanese does not hold if it is not astomatal. sent10: something that is not a misology is not a rutherford but astomatal. sent11: the iceboat is astomatal if the fact that the piperazine is both a misology and not a magnetometer does not hold. sent12: The Japanese urticates iceboat. sent13: the iceboat urticates Japanese. sent14: if the piperazine is not a rutherford and is astomatal then the employable is a rutherford. sent15: if something that is not a kind of a arrester is a kind of an understatement it is a misology. sent16: that the piperazine is a misology but it is not a magnetometer is incorrect if the punnet is a misology. sent17: the punnet is not a kind of a arrester but it is an understatement. ; $proof$ = 
sent15 -> int1: if the punnet is not a arrester but it is a kind of an understatement it is a misology.; int1 & sent17 -> int2: the punnet is a kind of a misology.; int2 & sent16 -> int3: the fact that the piperazine is a misology and is not a kind of a magnetometer is not correct.; int3 & sent11 -> int4: the iceboat is astomatal.; int4 & sent2 -> int5: the iceboat is pessimistic.; int5 & sent7 -> int6: the iceboat is pessimistic but it is not a kind of a dyspeptic.; int6 & sent4 -> int7: the iceboat is a rutherford.; int7 & sent13 -> hypothesis; __PROVED__