the burro is a people.
sent1: the metronome does sling. sent2: the fact that that the metronome does not bury burro and ladles prick is true is not true if it is a slinging. sent3: the prick is a catkin and it is a kind of a rounded. sent4: if the squaretail censuses and it is a kind of an orientation then it does not scrimp. sent5: the squaretail abuses breadroot and it scrimps. sent6: the squaretail is an orientation. sent7: the burro is not a people if it is not a census. sent8: the metronome does bury burro if the fact that it does not bury burro and ladles prick is false. sent9: if the metronome is a pronged then the burro does not abuse unbreakableness and is a pronged. sent10: if the metronome does not round and buries burro then it is a pronged. sent11: if the squaretail is not a census the metronome is non-rounded.
void -> assump1: Let's assume that the squaretail does census.; assump1 & sent6 -> int1: the squaretail is a census and it is an orientation.; int1 & sent4 -> int2: the squaretail does not scrimp.; sent5 -> int3: the squaretail does scrimp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the squaretail does not census.; int5 & sent11 -> int6: the metronome is not rounded.; sent2 & sent1 -> int7: the fact that the metronome does not bury burro and does ladle prick is false.; sent8 & int7 -> int8: the metronome buries burro.; int6 & int8 -> int9: the metronome is not a rounded and buries burro.; int9 & sent10 -> int10: the metronome is a kind of a pronged.; int10 & sent9 -> int11: the burro does not abuse unbreakableness and is a pronged.;
the burro does not people.
$hypothesis$ = the burro is a people. ; $context$ = sent1: the metronome does sling. sent2: the fact that that the metronome does not bury burro and ladles prick is true is not true if it is a slinging. sent3: the prick is a catkin and it is a kind of a rounded. sent4: if the squaretail censuses and it is a kind of an orientation then it does not scrimp. sent5: the squaretail abuses breadroot and it scrimps. sent6: the squaretail is an orientation. sent7: the burro is not a people if it is not a census. sent8: the metronome does bury burro if the fact that it does not bury burro and ladles prick is false. sent9: if the metronome is a pronged then the burro does not abuse unbreakableness and is a pronged. sent10: if the metronome does not round and buries burro then it is a pronged. sent11: if the squaretail is not a census the metronome is non-rounded. ; $proof$ = 
void -> assump1: Let's assume that the squaretail does census.; assump1 & sent6 -> int1: the squaretail is a census and it is an orientation.; int1 & sent4 -> int2: the squaretail does not scrimp.; sent5 -> int3: the squaretail does scrimp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the squaretail does not census.; int5 & sent11 -> int6: the metronome is not rounded.; sent2 & sent1 -> int7: the fact that the metronome does not bury burro and does ladle prick is false.; sent8 & int7 -> int8: the metronome buries burro.; int6 & int8 -> int9: the metronome is not a rounded and buries burro.; int9 & sent10 -> int10: the metronome is a kind of a pronged.; int10 & sent9 -> int11: the burro does not abuse unbreakableness and is a pronged.; __UNKNOWN__