the firelighter is a charterhouse.
sent1: the creepy-crawlies is scapulohumeral thing that does not investigate schmuck. sent2: the crosscut is a kind of a microbat if either the differentiation landscapes or it is non-exclusive or both. sent3: the crosscut is a gelechiid if the creepy-crawlies is scapulohumeral and does not investigate schmuck. sent4: something is a charterhouse if it is a landscaping. sent5: the differentiation is a kind of a Cottus and it landscapes. sent6: if something does abandon Aegean then it is not a charterhouse. sent7: the firelighter abandons Aegean if the creepy-crawlies abandons Aegean. sent8: if the fact that the differentiation does not abandon Aegean but it is a microbat does not hold the firelighter is a landscaping. sent9: if the crosscut is a gelechiid the fact that the differentiation does not abandon Aegean but it is a microbat is wrong. sent10: if the fact that the firelighter is not scapulohumeral and abandons Aegean is incorrect then the creepy-crawlies is a kind of a landscaping.
sent3 & sent1 -> int1: the crosscut is a kind of a gelechiid.; int1 & sent9 -> int2: that the differentiation does not abandon Aegean and is a microbat does not hold.; int2 & sent8 -> int3: that the firelighter is a kind of a landscaping hold.; sent4 -> int4: the firelighter is a charterhouse if it is a landscaping.; int3 & int4 -> hypothesis;
the firelighter is not a charterhouse.
sent6 -> int5: the firelighter is not a charterhouse if it abandons Aegean.; sent5 -> int6: the differentiation landscapes.; int6 -> int7: the differentiation is a landscaping or it is non-exclusive or both.; sent2 & int7 -> int8: the crosscut is a microbat.; int8 -> int9: something is a kind of a microbat.;
$hypothesis$ = the firelighter is a charterhouse. ; $context$ = sent1: the creepy-crawlies is scapulohumeral thing that does not investigate schmuck. sent2: the crosscut is a kind of a microbat if either the differentiation landscapes or it is non-exclusive or both. sent3: the crosscut is a gelechiid if the creepy-crawlies is scapulohumeral and does not investigate schmuck. sent4: something is a charterhouse if it is a landscaping. sent5: the differentiation is a kind of a Cottus and it landscapes. sent6: if something does abandon Aegean then it is not a charterhouse. sent7: the firelighter abandons Aegean if the creepy-crawlies abandons Aegean. sent8: if the fact that the differentiation does not abandon Aegean but it is a microbat does not hold the firelighter is a landscaping. sent9: if the crosscut is a gelechiid the fact that the differentiation does not abandon Aegean but it is a microbat is wrong. sent10: if the fact that the firelighter is not scapulohumeral and abandons Aegean is incorrect then the creepy-crawlies is a kind of a landscaping. ; $proof$ = 
sent3 & sent1 -> int1: the crosscut is a kind of a gelechiid.; int1 & sent9 -> int2: that the differentiation does not abandon Aegean and is a microbat does not hold.; int2 & sent8 -> int3: that the firelighter is a kind of a landscaping hold.; sent4 -> int4: the firelighter is a charterhouse if it is a landscaping.; int3 & int4 -> hypothesis; __PROVED__