something does not surmise papilla and is a megalosaur.
sent1: if the scene-stealer hazes painted the papilla surmises papilla. sent2: the scene-stealer is a kind of a LSD. sent3: something is not a kind of a cappuccino. sent4: if the scene-stealer does not haze painted it is not unjust and it is a cappuccino. sent5: that something does not surmise papilla and is not a megalosaur is not right if it is not non-eusporangiate. sent6: if the fact that something does not surmise papilla and is not a megalosaur is wrong then it does not haze painted. sent7: the scene-stealer is a cappuccino. sent8: the Winesap is a kind of a megalosaur. sent9: the papilla is eusporangiate if that the scene-stealer is a kind of a icecap is correct. sent10: the Winesap is a kind of a LSD. sent11: the Winesap is not unjust. sent12: that the scene-stealer is not unjust but it is a cappuccino is incorrect if it is a LSD. sent13: if the papilla surmises papilla the Winesap does not surmises papilla and is a megalosaur.
void -> assump1: Let's assume that the scene-stealer does not haze painted.; sent4 & assump1 -> int1: the scene-stealer is not unjust but a cappuccino.; sent12 & sent2 -> int2: the fact that that the scene-stealer is a kind of equitable thing that is a kind of a cappuccino is not wrong is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scene-stealer hazes painted.; int4 & sent1 -> int5: the papilla does surmise papilla.; int5 & sent13 -> int6: the Winesap does not surmise papilla but it is a megalosaur.; int6 -> hypothesis;
the papilla is not a kind of a LSD and is alular.
sent6 -> int7: the fact that the papilla does not haze painted hold if the fact that it does not surmise papilla and is not a megalosaur is not true.; sent5 -> int8: if the papilla is eusporangiate that it does not surmise papilla and is not a megalosaur does not hold.;
$hypothesis$ = something does not surmise papilla and is a megalosaur. ; $context$ = sent1: if the scene-stealer hazes painted the papilla surmises papilla. sent2: the scene-stealer is a kind of a LSD. sent3: something is not a kind of a cappuccino. sent4: if the scene-stealer does not haze painted it is not unjust and it is a cappuccino. sent5: that something does not surmise papilla and is not a megalosaur is not right if it is not non-eusporangiate. sent6: if the fact that something does not surmise papilla and is not a megalosaur is wrong then it does not haze painted. sent7: the scene-stealer is a cappuccino. sent8: the Winesap is a kind of a megalosaur. sent9: the papilla is eusporangiate if that the scene-stealer is a kind of a icecap is correct. sent10: the Winesap is a kind of a LSD. sent11: the Winesap is not unjust. sent12: that the scene-stealer is not unjust but it is a cappuccino is incorrect if it is a LSD. sent13: if the papilla surmises papilla the Winesap does not surmises papilla and is a megalosaur. ; $proof$ = 
void -> assump1: Let's assume that the scene-stealer does not haze painted.; sent4 & assump1 -> int1: the scene-stealer is not unjust but a cappuccino.; sent12 & sent2 -> int2: the fact that that the scene-stealer is a kind of equitable thing that is a kind of a cappuccino is not wrong is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scene-stealer hazes painted.; int4 & sent1 -> int5: the papilla does surmise papilla.; int5 & sent13 -> int6: the Winesap does not surmise papilla but it is a megalosaur.; int6 -> hypothesis; __PROVED__