if the fact that the orthoptist is not an expansion is wrong then the jeep is a kind of a millionaire.
sent1: that the jeep is not a Brahman but it does sidle dowser is false if the dowser sidle dowser. sent2: the jeep is an expansion if the orthoptist is a kind of a millionaire. sent3: the jeep does clinch theatrical if that it is not a Brahman and does sidle dowser is not correct. sent4: if the orthoptist is an expansion then the fact that the dowser does sidle dowser is true. sent5: the jeep is a kind of a millionaire if it clinches theatrical. sent6: the fact that the jeep is a Brahman and sidles dowser is incorrect.
void -> assump1: Let's assume that the orthoptist is an expansion.; sent4 & assump1 -> int1: the dowser sidles dowser.; int1 & sent1 -> int2: the fact that the jeep is not a kind of a Brahman and sidles dowser does not hold.; int2 & sent3 -> int3: the jeep clinches theatrical.; int3 & sent5 -> int4: the jeep is a millionaire.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the fact that the orthoptist is not an expansion is wrong then the jeep is a kind of a millionaire. ; $context$ = sent1: that the jeep is not a Brahman but it does sidle dowser is false if the dowser sidle dowser. sent2: the jeep is an expansion if the orthoptist is a kind of a millionaire. sent3: the jeep does clinch theatrical if that it is not a Brahman and does sidle dowser is not correct. sent4: if the orthoptist is an expansion then the fact that the dowser does sidle dowser is true. sent5: the jeep is a kind of a millionaire if it clinches theatrical. sent6: the fact that the jeep is a Brahman and sidles dowser is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the orthoptist is an expansion.; sent4 & assump1 -> int1: the dowser sidles dowser.; int1 & sent1 -> int2: the fact that the jeep is not a kind of a Brahman and sidles dowser does not hold.; int2 & sent3 -> int3: the jeep clinches theatrical.; int3 & sent5 -> int4: the jeep is a millionaire.; [assump1] & int4 -> hypothesis; __PROVED__