if the frigate is not imitative the remount is not relativistic.
sent1: the remount is non-relativistic if the fact that the blouse is a kind of a arianist and is chlorophyllose is not right. sent2: the remount is not relativistic if the fact that the frigate is imitative hold. sent3: if the frigate is imitative that the blouse is a kind of a arianist and it is chlorophyllose is not correct. sent4: if the fact that the blouse is imitative and a arianist is false the fact that the frigate is not chlorophyllose is right. sent5: if the frigate is not imitative then the remount is relativistic. sent6: that the blouse is a arianist and it is chlorophyllose is not correct if the frigate is not imitative. sent7: the fact that the remount is not chlorophyllose if the blouse is not relativistic is not false. sent8: the blouse is not relativistic if the remount is not chlorophyllose. sent9: if the fact that the blouse is not relativistic is not wrong then the remount is not a arianist. sent10: if the blouse is not a arianist then the remount is not relativistic. sent11: if the blouse is not imitative the frigate is not chlorophyllose.
void -> assump1: Let's assume that the frigate is not imitative.; sent6 & assump1 -> int1: the fact that the blouse is a arianist and it is chlorophyllose is not right.; sent1 & int1 -> int2: the remount is not relativistic.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the frigate is not imitative the remount is not relativistic. ; $context$ = sent1: the remount is non-relativistic if the fact that the blouse is a kind of a arianist and is chlorophyllose is not right. sent2: the remount is not relativistic if the fact that the frigate is imitative hold. sent3: if the frigate is imitative that the blouse is a kind of a arianist and it is chlorophyllose is not correct. sent4: if the fact that the blouse is imitative and a arianist is false the fact that the frigate is not chlorophyllose is right. sent5: if the frigate is not imitative then the remount is relativistic. sent6: that the blouse is a arianist and it is chlorophyllose is not correct if the frigate is not imitative. sent7: the fact that the remount is not chlorophyllose if the blouse is not relativistic is not false. sent8: the blouse is not relativistic if the remount is not chlorophyllose. sent9: if the fact that the blouse is not relativistic is not wrong then the remount is not a arianist. sent10: if the blouse is not a arianist then the remount is not relativistic. sent11: if the blouse is not imitative the frigate is not chlorophyllose. ; $proof$ = 
void -> assump1: Let's assume that the frigate is not imitative.; sent6 & assump1 -> int1: the fact that the blouse is a arianist and it is chlorophyllose is not right.; sent1 & int1 -> int2: the remount is not relativistic.; [assump1] & int2 -> hypothesis; __PROVED__