if the helicon is a kind of a pinhead then the verdin is not microeconomic and not unintelligent.
sent1: the fact that the helicon is dextral is right if there is something such that that it does not vouch and it does not offer agrobiology is wrong. sent2: if the helicon is a pinhead the verdin is microeconomic but it is not unintelligent. sent3: there exists something such that that it does not vouch and it does not offer agrobiology is incorrect. sent4: there exists something such that that it does not vouch and does offer agrobiology is incorrect. sent5: something is not a kind of a pinhead if it is dextral and microeconomic. sent6: if the helicon is a pinhead then the verdin is not unintelligent. sent7: that the verdin is not microeconomic and it is intelligent is not false if that the helicon is not microeconomic is not false.
sent3 & sent1 -> int1: the helicon is dextral.; void -> assump2: Let's assume that the helicon is microeconomic.; int1 & assump2 -> int2: the helicon is dextral and it is microeconomic.; sent5 -> int3: if the helicon is dextral and it is microeconomic then it is not a pinhead.; int2 & int3 -> int4: the helicon is not a pinhead.; void -> assump1: Let's assume that the helicon is a pinhead.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the helicon is not microeconomic.; int6 & sent7 -> int7: the fact that the verdin is non-microeconomic thing that is not unintelligent is right.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the helicon is a kind of a pinhead then the verdin is not microeconomic and not unintelligent. ; $context$ = sent1: the fact that the helicon is dextral is right if there is something such that that it does not vouch and it does not offer agrobiology is wrong. sent2: if the helicon is a pinhead the verdin is microeconomic but it is not unintelligent. sent3: there exists something such that that it does not vouch and it does not offer agrobiology is incorrect. sent4: there exists something such that that it does not vouch and does offer agrobiology is incorrect. sent5: something is not a kind of a pinhead if it is dextral and microeconomic. sent6: if the helicon is a pinhead then the verdin is not unintelligent. sent7: that the verdin is not microeconomic and it is intelligent is not false if that the helicon is not microeconomic is not false. ; $proof$ = 
sent3 & sent1 -> int1: the helicon is dextral.; void -> assump2: Let's assume that the helicon is microeconomic.; int1 & assump2 -> int2: the helicon is dextral and it is microeconomic.; sent5 -> int3: if the helicon is dextral and it is microeconomic then it is not a pinhead.; int2 & int3 -> int4: the helicon is not a pinhead.; void -> assump1: Let's assume that the helicon is a pinhead.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the helicon is not microeconomic.; int6 & sent7 -> int7: the fact that the verdin is non-microeconomic thing that is not unintelligent is right.; [assump1] & int7 -> hypothesis; __PROVED__