the Wiccan impels Freya.
sent1: the fact that the Wiccan is aware and it is crosswise does not hold. sent2: the Wiccan does not impel Freya if it is not non-crosswise. sent3: if the grouseberry does not shun fear then the Wiccan does impel Freya and it is Beethovenian. sent4: the grouseberry shuns fear. sent5: something does not impel Freya if the fact that it is both aware and not crosswise is incorrect. sent6: if something is crosswise then that it does not impel Freya is true. sent7: the grouseberry does shun fear if there exists something such that it is not Beethovenian. sent8: there exists something such that it is Beethovenian. sent9: there exists something such that it is not Beethovenian. sent10: the fact that the Wiccan is aware but it is not crosswise is not true if the grouseberry tames. sent11: if something does shun fear but it is not determinate it is not non-tame. sent12: the grouseberry is Beethovenian but it does not overreach criminal. sent13: if the fact that something is unrighteous but it is not a nester does not hold then it does not impel barong. sent14: that the grouseberry is tame but it is not crosswise is not right. sent15: if that the grouseberry is tame is not incorrect then the fact that the Wiccan is both aware and crosswise is false. sent16: if something is not Beethovenian the grouseberry does shun fear but it is not determinate. sent17: the orchid is a kind of aware thing that is not Hebridean. sent18: the group is not determinate.
sent9 & sent16 -> int1: the grouseberry shuns fear but it is not determinate.; sent11 -> int2: if the grouseberry does shun fear and is not determinate it tames.; int1 & int2 -> int3: the grouseberry tames.; int3 & sent10 -> int4: that the Wiccan is aware but it is not crosswise is not true.; sent5 -> int5: the Wiccan does not impel Freya if that it is aware and it is not crosswise is not correct.; int4 & int5 -> hypothesis;
the Wiccan does impel Freya.
$hypothesis$ = the Wiccan impels Freya. ; $context$ = sent1: the fact that the Wiccan is aware and it is crosswise does not hold. sent2: the Wiccan does not impel Freya if it is not non-crosswise. sent3: if the grouseberry does not shun fear then the Wiccan does impel Freya and it is Beethovenian. sent4: the grouseberry shuns fear. sent5: something does not impel Freya if the fact that it is both aware and not crosswise is incorrect. sent6: if something is crosswise then that it does not impel Freya is true. sent7: the grouseberry does shun fear if there exists something such that it is not Beethovenian. sent8: there exists something such that it is Beethovenian. sent9: there exists something such that it is not Beethovenian. sent10: the fact that the Wiccan is aware but it is not crosswise is not true if the grouseberry tames. sent11: if something does shun fear but it is not determinate it is not non-tame. sent12: the grouseberry is Beethovenian but it does not overreach criminal. sent13: if the fact that something is unrighteous but it is not a nester does not hold then it does not impel barong. sent14: that the grouseberry is tame but it is not crosswise is not right. sent15: if that the grouseberry is tame is not incorrect then the fact that the Wiccan is both aware and crosswise is false. sent16: if something is not Beethovenian the grouseberry does shun fear but it is not determinate. sent17: the orchid is a kind of aware thing that is not Hebridean. sent18: the group is not determinate. ; $proof$ = 
sent9 & sent16 -> int1: the grouseberry shuns fear but it is not determinate.; sent11 -> int2: if the grouseberry does shun fear and is not determinate it tames.; int1 & int2 -> int3: the grouseberry tames.; int3 & sent10 -> int4: that the Wiccan is aware but it is not crosswise is not true.; sent5 -> int5: the Wiccan does not impel Freya if that it is aware and it is not crosswise is not correct.; int4 & int5 -> hypothesis; __DISPROVED__