the Circus is not western.
sent1: the Circus is not historical if something that does not gather sylvite is not a Mexican. sent2: something that is not a Tree and is not a Senegalese is not a parked. sent3: if the Guarnerius does park the repeater is a park. sent4: the Circus is strange. sent5: the fact that the Circus is a kind of the parked if the Circus is a Senegalese is not false. sent6: the fact that the Circus is Senegalese is not wrong. sent7: there is something such that it does not gather sylvite and is not a kind of a Mexican. sent8: the Circus is western if that the statue is not historical but it is a western is wrong. sent9: that the statue is not historical but it is a western is not correct if the repeater is a parked. sent10: if the Circus is both not historical and a western then it is not a parked. sent11: there exists something such that it careens. sent12: the joker is historical if it is fissile. sent13: there is something such that it does not gather sylvite.
sent7 & sent1 -> int1: the Circus is not historical.; void -> assump1: Let's assume that the Circus is western.; int1 & assump1 -> int2: the Circus is not historical but it is a kind of a western.; int2 & sent10 -> int3: the Circus is not a parked.; sent5 & sent6 -> int4: the Circus is a kind of a parked.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the oyabun is non-western.
sent2 -> int6: the oyabun is not a parked if it is both not a Tree and not a Senegalese.; sent4 -> int7: there exists something such that it is strange.;
$hypothesis$ = the Circus is not western. ; $context$ = sent1: the Circus is not historical if something that does not gather sylvite is not a Mexican. sent2: something that is not a Tree and is not a Senegalese is not a parked. sent3: if the Guarnerius does park the repeater is a park. sent4: the Circus is strange. sent5: the fact that the Circus is a kind of the parked if the Circus is a Senegalese is not false. sent6: the fact that the Circus is Senegalese is not wrong. sent7: there is something such that it does not gather sylvite and is not a kind of a Mexican. sent8: the Circus is western if that the statue is not historical but it is a western is wrong. sent9: that the statue is not historical but it is a western is not correct if the repeater is a parked. sent10: if the Circus is both not historical and a western then it is not a parked. sent11: there exists something such that it careens. sent12: the joker is historical if it is fissile. sent13: there is something such that it does not gather sylvite. ; $proof$ = 
sent7 & sent1 -> int1: the Circus is not historical.; void -> assump1: Let's assume that the Circus is western.; int1 & assump1 -> int2: the Circus is not historical but it is a kind of a western.; int2 & sent10 -> int3: the Circus is not a parked.; sent5 & sent6 -> int4: the Circus is a kind of a parked.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__