the savarin is a kind of a place.
sent1: the fact that something is brachial hold if the fact that it does not bog Acnidosporidia and it bogs fugacity is wrong. sent2: the savarin does bog fugacity. sent3: the bombardon is a T and/or it does not beckon. sent4: everything is a kind of a place that bogs fugacity. sent5: everything bogs fugacity. sent6: everything shops sauerkraut. sent7: if something is not a parted then the fact that it does not bog Acnidosporidia and it bogs fugacity is not right.
sent4 -> int1: the savarin is a kind of a place and it does bog fugacity.; int1 -> hypothesis;
everything is brachial and it is exilic.
sent1 -> int2: if the fact that the storksbill does not bog Acnidosporidia and does bog fugacity is not correct it is brachial.; sent7 -> int3: that the idolater does not bog Acnidosporidia but it bogs fugacity is not right if it is not a parted.;
$hypothesis$ = the savarin is a kind of a place. ; $context$ = sent1: the fact that something is brachial hold if the fact that it does not bog Acnidosporidia and it bogs fugacity is wrong. sent2: the savarin does bog fugacity. sent3: the bombardon is a T and/or it does not beckon. sent4: everything is a kind of a place that bogs fugacity. sent5: everything bogs fugacity. sent6: everything shops sauerkraut. sent7: if something is not a parted then the fact that it does not bog Acnidosporidia and it bogs fugacity is not right. ; $proof$ = 
sent4 -> int1: the savarin is a kind of a place and it does bog fugacity.; int1 -> hypothesis; __PROVED__