the megaspore collogues megaspore.
sent1: something is a rosewood if it is a Agelaius. sent2: something does collogue megaspore if it is not a kind of a Corse and it does not collogue readership. sent3: if something is a Corse then it does collogue readership. sent4: that the megaspore is not a kind of a Corse and it is not Lincolnesque hold. sent5: there is something such that the fact that it minstrels countryside and it is not a squall does not hold. sent6: the coalpit is a Corse if there is something such that the fact that it does minstrel countryside and it is not a squall does not hold. sent7: if something that is a rosewood collogues readership then the megaspore does not collogue megaspore. sent8: the coalpit is a Agelaius and it is inspiratory.
sent5 & sent6 -> int1: the coalpit is a kind of a Corse.; sent3 -> int2: if the coalpit is a Corse then it does collogue readership.; int1 & int2 -> int3: the coalpit collogues readership.; sent1 -> int4: if the fact that the coalpit is a kind of a Agelaius hold then it is a rosewood.; sent8 -> int5: the coalpit is a Agelaius.; int4 & int5 -> int6: the coalpit is a rosewood.; int3 & int6 -> int7: the coalpit is a rosewood that collogues readership.; int7 -> int8: something is a rosewood and it collogues readership.; int8 & sent7 -> hypothesis;
the megaspore does collogue megaspore.
sent2 -> int9: if the fact that the megaspore is not a Corse and it does not collogue readership hold it collogues megaspore.; sent4 -> int10: the megaspore is not a Corse.;
$hypothesis$ = the megaspore collogues megaspore. ; $context$ = sent1: something is a rosewood if it is a Agelaius. sent2: something does collogue megaspore if it is not a kind of a Corse and it does not collogue readership. sent3: if something is a Corse then it does collogue readership. sent4: that the megaspore is not a kind of a Corse and it is not Lincolnesque hold. sent5: there is something such that the fact that it minstrels countryside and it is not a squall does not hold. sent6: the coalpit is a Corse if there is something such that the fact that it does minstrel countryside and it is not a squall does not hold. sent7: if something that is a rosewood collogues readership then the megaspore does not collogue megaspore. sent8: the coalpit is a Agelaius and it is inspiratory. ; $proof$ = 
sent5 & sent6 -> int1: the coalpit is a kind of a Corse.; sent3 -> int2: if the coalpit is a Corse then it does collogue readership.; int1 & int2 -> int3: the coalpit collogues readership.; sent1 -> int4: if the fact that the coalpit is a kind of a Agelaius hold then it is a rosewood.; sent8 -> int5: the coalpit is a Agelaius.; int4 & int5 -> int6: the coalpit is a rosewood.; int3 & int6 -> int7: the coalpit is a rosewood that collogues readership.; int7 -> int8: something is a rosewood and it collogues readership.; int8 & sent7 -> hypothesis; __DISPROVED__