the forklift is a daydreamer but it does not wave Ramachandra.
sent1: the B-girl is womanly and does not troll Lazarus if it is a kind of a sowbelly. sent2: if something is a headspace it does troll Lazarus. sent3: if the B-girl trolls Lazarus the soundman is womanly. sent4: the tagger is not flexible. sent5: if the B-girl is a thyroxine then it is a headspace. sent6: if that the B-girl is not a headspace hold that the forklift is not a daydreamer and it is not womanly is incorrect. sent7: that the forklift is a daydreamer that does not wave Ramachandra is not true if the soundman is womanly. sent8: the fact that the tagger is not flexible and is not a thyroxine is not true if the B-girl is not a headspace. sent9: if the forklift is not a kind of a headspace then it is a daydreamer and does not wave Ramachandra. sent10: if the B-girl is not womanly then the fact that it is not a kind of a headspace and does not troll Lazarus does not hold. sent11: everything is a kind of non-flexible thing that is not a thyroxine.
void -> assump1: Let's assume that the B-girl is not a headspace.; sent8 & assump1 -> int1: the fact that the tagger is not flexible and is not a kind of a thyroxine is not right.; sent11 -> int2: the tagger is not flexible and it is not a kind of a thyroxine.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the B-girl is a headspace.; sent2 -> int5: the B-girl does troll Lazarus if it is a kind of a headspace.; int4 & int5 -> int6: the B-girl does troll Lazarus.; int6 & sent3 -> int7: that the soundman is womanly is right.; int7 & sent7 -> hypothesis;
the soundman does troll Lazarus.
$hypothesis$ = the forklift is a daydreamer but it does not wave Ramachandra. ; $context$ = sent1: the B-girl is womanly and does not troll Lazarus if it is a kind of a sowbelly. sent2: if something is a headspace it does troll Lazarus. sent3: if the B-girl trolls Lazarus the soundman is womanly. sent4: the tagger is not flexible. sent5: if the B-girl is a thyroxine then it is a headspace. sent6: if that the B-girl is not a headspace hold that the forklift is not a daydreamer and it is not womanly is incorrect. sent7: that the forklift is a daydreamer that does not wave Ramachandra is not true if the soundman is womanly. sent8: the fact that the tagger is not flexible and is not a thyroxine is not true if the B-girl is not a headspace. sent9: if the forklift is not a kind of a headspace then it is a daydreamer and does not wave Ramachandra. sent10: if the B-girl is not womanly then the fact that it is not a kind of a headspace and does not troll Lazarus does not hold. sent11: everything is a kind of non-flexible thing that is not a thyroxine. ; $proof$ = 
void -> assump1: Let's assume that the B-girl is not a headspace.; sent8 & assump1 -> int1: the fact that the tagger is not flexible and is not a kind of a thyroxine is not right.; sent11 -> int2: the tagger is not flexible and it is not a kind of a thyroxine.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the B-girl is a headspace.; sent2 -> int5: the B-girl does troll Lazarus if it is a kind of a headspace.; int4 & int5 -> int6: the B-girl does troll Lazarus.; int6 & sent3 -> int7: that the soundman is womanly is right.; int7 & sent7 -> hypothesis; __DISPROVED__