that the ambusher is not unairworthy is not false if the sebum is not a transfiguration.
sent1: the ambusher is counterterror and it is a ribbon if the sebum is not a transfiguration. sent2: the ambusher is a transfiguration if the sebum is not Dionysian. sent3: if something is a ribbon and it interprets partygoer then it is airworthy. sent4: the ambusher is a transfiguration if the sebum is not unairworthy. sent5: the fact that the ambusher interprets allegro if the ambusher is Dionysian is true. sent6: something that does interpret allegro does interpret partygoer. sent7: the sebum is unairworthy. sent8: the ambusher is Dionysian.
void -> assump1: Let's assume that the sebum is not a transfiguration.; sent1 & assump1 -> int1: the ambusher is counterterror and is a ribbon.; int1 -> int2: the ambusher is a kind of a ribbon.; sent6 -> int3: the ambusher does interpret partygoer if it does interpret allegro.; sent5 & sent8 -> int4: the ambusher does interpret allegro.; int3 & int4 -> int5: the ambusher interprets partygoer.; int2 & int5 -> int6: the ambusher is a ribbon and it interprets partygoer.; sent3 -> int7: the ambusher is not unairworthy if that it is a kind of a ribbon that interprets partygoer is true.; int6 & int7 -> int8: the ambusher is not unairworthy.; [assump1] & int8 -> hypothesis;
$hypothesis$ = that the ambusher is not unairworthy is not false if the sebum is not a transfiguration. ; $context$ = sent1: the ambusher is counterterror and it is a ribbon if the sebum is not a transfiguration. sent2: the ambusher is a transfiguration if the sebum is not Dionysian. sent3: if something is a ribbon and it interprets partygoer then it is airworthy. sent4: the ambusher is a transfiguration if the sebum is not unairworthy. sent5: the fact that the ambusher interprets allegro if the ambusher is Dionysian is true. sent6: something that does interpret allegro does interpret partygoer. sent7: the sebum is unairworthy. sent8: the ambusher is Dionysian. ; $proof$ = 
void -> assump1: Let's assume that the sebum is not a transfiguration.; sent1 & assump1 -> int1: the ambusher is counterterror and is a ribbon.; int1 -> int2: the ambusher is a kind of a ribbon.; sent6 -> int3: the ambusher does interpret partygoer if it does interpret allegro.; sent5 & sent8 -> int4: the ambusher does interpret allegro.; int3 & int4 -> int5: the ambusher interprets partygoer.; int2 & int5 -> int6: the ambusher is a ribbon and it interprets partygoer.; sent3 -> int7: the ambusher is not unairworthy if that it is a kind of a ribbon that interprets partygoer is true.; int6 & int7 -> int8: the ambusher is not unairworthy.; [assump1] & int8 -> hypothesis; __PROVED__