the soundboard does revise Sium.
sent1: the Bushman is not a kind of a Ruptiliocarpon and is unethical. sent2: either the incisor is expiratory or it is not on-street or both. sent3: the Bushman acquaints estoppel. sent4: if an inventiveness is a sleeve then it does not acquaint estoppel. sent5: the Bushman is not a sneerer if the incisor is expiratory and/or it is not on-street. sent6: something that patrols Ondaatje and is not a kind of a sleeve is a frog. sent7: something that is a kind of a twins that is not a sneerer is a kind of an inventiveness. sent8: if the Bushman is not a Ruptiliocarpon but unethical it does twin. sent9: that if the Bushman is not a kind of a sleeve the soundboard revises Sium hold. sent10: The estoppel acquaints Bushman.
sent5 & sent2 -> int1: the Bushman is not a kind of a sneerer.; sent8 & sent1 -> int2: the Bushman is a twins.; int1 & int2 -> int3: the Bushman does twin but it is not a sneerer.; sent7 -> int4: the Bushman is an inventiveness if it twins and is not a sneerer.; int3 & int4 -> int5: the Bushman is a kind of an inventiveness.; void -> assump1: Let's assume that the Bushman is a sleeve.; int5 & assump1 -> int6: the Bushman is a kind of an inventiveness and it is a sleeve.; sent4 -> int7: the Bushman does not acquaint estoppel if it is an inventiveness and it is a sleeve.; int6 & int7 -> int8: the Bushman does not acquaint estoppel.; int8 & sent3 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Bushman is not a sleeve.; int10 & sent9 -> hypothesis;
if the earphone patrols Ondaatje but it is not a sleeve then it is a frog.
sent6 -> hypothesis;
$hypothesis$ = the soundboard does revise Sium. ; $context$ = sent1: the Bushman is not a kind of a Ruptiliocarpon and is unethical. sent2: either the incisor is expiratory or it is not on-street or both. sent3: the Bushman acquaints estoppel. sent4: if an inventiveness is a sleeve then it does not acquaint estoppel. sent5: the Bushman is not a sneerer if the incisor is expiratory and/or it is not on-street. sent6: something that patrols Ondaatje and is not a kind of a sleeve is a frog. sent7: something that is a kind of a twins that is not a sneerer is a kind of an inventiveness. sent8: if the Bushman is not a Ruptiliocarpon but unethical it does twin. sent9: that if the Bushman is not a kind of a sleeve the soundboard revises Sium hold. sent10: The estoppel acquaints Bushman. ; $proof$ = 
sent5 & sent2 -> int1: the Bushman is not a kind of a sneerer.; sent8 & sent1 -> int2: the Bushman is a twins.; int1 & int2 -> int3: the Bushman does twin but it is not a sneerer.; sent7 -> int4: the Bushman is an inventiveness if it twins and is not a sneerer.; int3 & int4 -> int5: the Bushman is a kind of an inventiveness.; void -> assump1: Let's assume that the Bushman is a sleeve.; int5 & assump1 -> int6: the Bushman is a kind of an inventiveness and it is a sleeve.; sent4 -> int7: the Bushman does not acquaint estoppel if it is an inventiveness and it is a sleeve.; int6 & int7 -> int8: the Bushman does not acquaint estoppel.; int8 & sent3 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Bushman is not a sleeve.; int10 & sent9 -> hypothesis; __PROVED__