if the retrenchment researches but it is not a Ford the needlebush is not a Anarhichadidae.
sent1: if the retrenchment marks Aulostomus then it is a kind of a partitionist. sent2: the needlebush is not a Anarhichadidae and not a partitionist if the fact that the retrenchment is a partitionist is not false. sent3: the fact that the liposome is a research hold. sent4: that something researches and is not a Ford does not hold if it does not mark Aulostomus. sent5: the retrenchment is not a Ford. sent6: if the retrenchment does not mark Aulostomus the fact that it researches and it is a Ford is not correct. sent7: the needlebush is a Anarhichadidae.
sent4 -> int1: that the retrenchment researches but it is not a kind of a Ford is not correct if it does not mark Aulostomus.; void -> assump1: Let's assume that the retrenchment does not mark Aulostomus.; int1 & assump1 -> int2: that the retrenchment does research but it is not a Ford does not hold.; void -> assump2: Let's assume that the retrenchment is a kind of a research and is not a Ford.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the retrenchment does mark Aulostomus.; int4 & sent1 -> int5: the retrenchment is a partitionist.; int5 & sent2 -> int6: the needlebush is both not a Anarhichadidae and not a partitionist.; int6 -> int7: the needlebush is not a Anarhichadidae.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the retrenchment researches but it is not a Ford the needlebush is not a Anarhichadidae. ; $context$ = sent1: if the retrenchment marks Aulostomus then it is a kind of a partitionist. sent2: the needlebush is not a Anarhichadidae and not a partitionist if the fact that the retrenchment is a partitionist is not false. sent3: the fact that the liposome is a research hold. sent4: that something researches and is not a Ford does not hold if it does not mark Aulostomus. sent5: the retrenchment is not a Ford. sent6: if the retrenchment does not mark Aulostomus the fact that it researches and it is a Ford is not correct. sent7: the needlebush is a Anarhichadidae. ; $proof$ = 
sent4 -> int1: that the retrenchment researches but it is not a kind of a Ford is not correct if it does not mark Aulostomus.; void -> assump1: Let's assume that the retrenchment does not mark Aulostomus.; int1 & assump1 -> int2: that the retrenchment does research but it is not a Ford does not hold.; void -> assump2: Let's assume that the retrenchment is a kind of a research and is not a Ford.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the retrenchment does mark Aulostomus.; int4 & sent1 -> int5: the retrenchment is a partitionist.; int5 & sent2 -> int6: the needlebush is both not a Anarhichadidae and not a partitionist.; int6 -> int7: the needlebush is not a Anarhichadidae.; [assump2] & int7 -> hypothesis; __PROVED__