if the canton is a kind of a puff the microfossil is not a Lamaism.
sent1: if the fact that the dissolving is not a Hexanchidae and is not unifilar is wrong the bradawl does puff. sent2: the fact that something is not a mussel and does not philander expansiveness is wrong if it does puff. sent3: the microfossil is a Lamaism. sent4: the fact that the canton is not a Hexanchidae does not hold if that it is not a kind of a mussel and it does not philander expansiveness does not hold. sent5: there exists something such that it does not prioritize. sent6: the dissolving is unifilar if the fact that the canton is a kind of a Hexanchidae is true. sent7: the fact that something is not a kind of a Lamaism and it is not a kind of a worse does not hold if it rolls. sent8: the gadgeteer is not a kind of a blockade if the microfossil either is not a worse or does not blockade or both. sent9: the microfossil is not a Lamaism if something that does roll is a kind of a blockade. sent10: the bradawl is a roll and is a mafioso if the gadgeteer does not blockade. sent11: the microfossil is not a blockade if the keyhole is a Lamaism and does not blockade. sent12: the gadgeteer does roll if that the dissolving is unifilar hold. sent13: the microfossil is a Hexanchidae.
sent2 -> int1: if the canton does puff that it is not a mussel and it does not philander expansiveness is not right.; void -> assump1: Let's assume that the canton does puff.; int1 & assump1 -> int2: that that the canton is not a kind of a mussel and does not philander expansiveness is wrong is correct.; int2 & sent4 -> int3: the canton is a Hexanchidae.; int3 & sent6 -> int4: the dissolving is unifilar.; int4 & sent12 -> int5: the gadgeteer does roll.;
the bradawl is a mafioso and it is a puff.
$hypothesis$ = if the canton is a kind of a puff the microfossil is not a Lamaism. ; $context$ = sent1: if the fact that the dissolving is not a Hexanchidae and is not unifilar is wrong the bradawl does puff. sent2: the fact that something is not a mussel and does not philander expansiveness is wrong if it does puff. sent3: the microfossil is a Lamaism. sent4: the fact that the canton is not a Hexanchidae does not hold if that it is not a kind of a mussel and it does not philander expansiveness does not hold. sent5: there exists something such that it does not prioritize. sent6: the dissolving is unifilar if the fact that the canton is a kind of a Hexanchidae is true. sent7: the fact that something is not a kind of a Lamaism and it is not a kind of a worse does not hold if it rolls. sent8: the gadgeteer is not a kind of a blockade if the microfossil either is not a worse or does not blockade or both. sent9: the microfossil is not a Lamaism if something that does roll is a kind of a blockade. sent10: the bradawl is a roll and is a mafioso if the gadgeteer does not blockade. sent11: the microfossil is not a blockade if the keyhole is a Lamaism and does not blockade. sent12: the gadgeteer does roll if that the dissolving is unifilar hold. sent13: the microfossil is a Hexanchidae. ; $proof$ = 
sent2 -> int1: if the canton does puff that it is not a mussel and it does not philander expansiveness is not right.; void -> assump1: Let's assume that the canton does puff.; int1 & assump1 -> int2: that that the canton is not a kind of a mussel and does not philander expansiveness is wrong is correct.; int2 & sent4 -> int3: the canton is a Hexanchidae.; int3 & sent6 -> int4: the dissolving is unifilar.; int4 & sent12 -> int5: the gadgeteer does roll.; __UNKNOWN__