the anglophobe is prosthetic.
sent1: if the platen does julienne hickey but it is not handleless the actuator is a kind of a Juniperus. sent2: the anglophobe is not a paratrooper if the actuator is not handleless. sent3: if the fact that something is not a kind of a paratrooper is not false then that it is prosthetic and does clap Whirlaway is incorrect. sent4: there exists nothing that is not a knitted and does conflict. sent5: that the anglophobe is not a Juniperus is false. sent6: something is a Juniperus that does julienne hickey if it does not clap Whirlaway. sent7: if the fact that something is not a knitted and conflicts is not true then it does not disguise anglophobe. sent8: if the anglophobe does clap Whirlaway then it is a paratrooper. sent9: the anglophobe is a kind of a Juniperus if it does not clap Whirlaway. sent10: something is a Juniperus if it does not clap Whirlaway. sent11: the actuator is not handleless.
void -> assump1: Let's assume that the anglophobe does clap Whirlaway.; sent8 & assump1 -> int1: the anglophobe is a paratrooper.; sent2 & sent11 -> int2: the fact that the anglophobe is not a paratrooper is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anglophobe does not clap Whirlaway.; sent6 -> int5: if the anglophobe does not clap Whirlaway then that it is a Juniperus and juliennes hickey is true.; int4 & int5 -> int6: the anglophobe is a Juniperus and it does julienne hickey.; int6 -> int7: the anglophobe does julienne hickey.;
the anglophobe is not prosthetic.
sent7 -> int8: the mezereon does not disguise anglophobe if that that it is not a knitted and is a conflict is correct is false.; sent4 -> int9: the fact that the mezereon is both not a knitted and a conflict is not correct.; int8 & int9 -> int10: the mezereon does not disguise anglophobe.; int10 -> int11: everything does not disguise anglophobe.; int11 -> int12: the clingfilm does not disguise anglophobe.; sent3 -> int13: that the fact that the actuator is prosthetic and claps Whirlaway is not correct is right if it is not a kind of a paratrooper.;
$hypothesis$ = the anglophobe is prosthetic. ; $context$ = sent1: if the platen does julienne hickey but it is not handleless the actuator is a kind of a Juniperus. sent2: the anglophobe is not a paratrooper if the actuator is not handleless. sent3: if the fact that something is not a kind of a paratrooper is not false then that it is prosthetic and does clap Whirlaway is incorrect. sent4: there exists nothing that is not a knitted and does conflict. sent5: that the anglophobe is not a Juniperus is false. sent6: something is a Juniperus that does julienne hickey if it does not clap Whirlaway. sent7: if the fact that something is not a knitted and conflicts is not true then it does not disguise anglophobe. sent8: if the anglophobe does clap Whirlaway then it is a paratrooper. sent9: the anglophobe is a kind of a Juniperus if it does not clap Whirlaway. sent10: something is a Juniperus if it does not clap Whirlaway. sent11: the actuator is not handleless. ; $proof$ = 
void -> assump1: Let's assume that the anglophobe does clap Whirlaway.; sent8 & assump1 -> int1: the anglophobe is a paratrooper.; sent2 & sent11 -> int2: the fact that the anglophobe is not a paratrooper is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anglophobe does not clap Whirlaway.; sent6 -> int5: if the anglophobe does not clap Whirlaway then that it is a Juniperus and juliennes hickey is true.; int4 & int5 -> int6: the anglophobe is a Juniperus and it does julienne hickey.; int6 -> int7: the anglophobe does julienne hickey.; __UNKNOWN__