if the tachylite does not muff then the relay is not removable and it is not a kind of a custom-made.
sent1: if the relay is biosystematics but not riparian it is not removable. sent2: the fact that the relay is not a wen is not true. sent3: the relay is not biosystematics and it is not riparian if the tachylite is not a muff. sent4: something is not removable if it is not biosystematics and is not riparian. sent5: if the tachylite is a muff the relay is not removable and is not custom-made. sent6: if something is biosystematics thing that is not riparian it is not removable. sent7: something that dates Merrimac is not a custom-made. sent8: the tachylite does not rag if it is a kind of an opal. sent9: the relay dates Merrimac and it is a wen. sent10: a non-biosystematics and riparian thing is not removable. sent11: if something is a Stanley it does not muff. sent12: something is not chromosomal if it is not a purple and it is a kind of a nihilist. sent13: if the relay is not biosystematics but it is riparian then it is not removable. sent14: the spread is not custom-made. sent15: the relay is not biosystematics and it is not riparian if the tachylite is a muff.
void -> assump1: Let's assume that the tachylite is not a kind of a muff.; sent3 & assump1 -> int1: the relay is both not biosystematics and not riparian.; sent4 -> int2: the relay is not removable if it is non-biosystematics thing that is not riparian.; int1 & int2 -> int3: the relay is not removable.; sent7 -> int4: if the relay does date Merrimac it is not a kind of a custom-made.; sent9 -> int5: that the relay dates Merrimac is true.; int4 & int5 -> int6: the relay is not a custom-made.; int3 & int6 -> int7: the relay is not removable and it is not a kind of a custom-made.; [assump1] & int7 -> hypothesis;
if the turner is a Stanley it is not a muff.
sent11 -> hypothesis;
$hypothesis$ = if the tachylite does not muff then the relay is not removable and it is not a kind of a custom-made. ; $context$ = sent1: if the relay is biosystematics but not riparian it is not removable. sent2: the fact that the relay is not a wen is not true. sent3: the relay is not biosystematics and it is not riparian if the tachylite is not a muff. sent4: something is not removable if it is not biosystematics and is not riparian. sent5: if the tachylite is a muff the relay is not removable and is not custom-made. sent6: if something is biosystematics thing that is not riparian it is not removable. sent7: something that dates Merrimac is not a custom-made. sent8: the tachylite does not rag if it is a kind of an opal. sent9: the relay dates Merrimac and it is a wen. sent10: a non-biosystematics and riparian thing is not removable. sent11: if something is a Stanley it does not muff. sent12: something is not chromosomal if it is not a purple and it is a kind of a nihilist. sent13: if the relay is not biosystematics but it is riparian then it is not removable. sent14: the spread is not custom-made. sent15: the relay is not biosystematics and it is not riparian if the tachylite is a muff. ; $proof$ = 
void -> assump1: Let's assume that the tachylite is not a kind of a muff.; sent3 & assump1 -> int1: the relay is both not biosystematics and not riparian.; sent4 -> int2: the relay is not removable if it is non-biosystematics thing that is not riparian.; int1 & int2 -> int3: the relay is not removable.; sent7 -> int4: if the relay does date Merrimac it is not a kind of a custom-made.; sent9 -> int5: that the relay dates Merrimac is true.; int4 & int5 -> int6: the relay is not a custom-made.; int3 & int6 -> int7: the relay is not removable and it is not a kind of a custom-made.; [assump1] & int7 -> hypothesis; __PROVED__