the lasso is a philodendron and does not dissemble float.
sent1: if there exists something such that it is a kind of a sail that effects shovelhead then the float does not dissemble float. sent2: the Papuan effects shovelhead. sent3: the lasso is a philodendron but it does not dissemble float if the float does not dissemble float. sent4: the Papuan sails. sent5: The shovelhead effects Papuan.
sent4 & sent2 -> int1: the Papuan is a kind of a sail and it does effect shovelhead.; int1 -> int2: something is a kind of a sail that does effect shovelhead.; int2 & sent1 -> int3: the float does not dissemble float.; int3 & sent3 -> hypothesis;
$hypothesis$ = the lasso is a philodendron and does not dissemble float. ; $context$ = sent1: if there exists something such that it is a kind of a sail that effects shovelhead then the float does not dissemble float. sent2: the Papuan effects shovelhead. sent3: the lasso is a philodendron but it does not dissemble float if the float does not dissemble float. sent4: the Papuan sails. sent5: The shovelhead effects Papuan. ; $proof$ = 
sent4 & sent2 -> int1: the Papuan is a kind of a sail and it does effect shovelhead.; int1 -> int2: something is a kind of a sail that does effect shovelhead.; int2 & sent1 -> int3: the float does not dissemble float.; int3 & sent3 -> hypothesis; __PROVED__