that the triphosphopyridine is not Lilliputian is true.
sent1: if something bans but it is not a Bombycidae then that it is a kind of a Anglicism hold. sent2: if the fact that something is not receptive and does vault gripsack does not hold then it is not a Anglicism. sent3: if something that is not receptive does vault gripsack it is not a Bombycidae. sent4: the Pollock does not regret or does not ban or both. sent5: the triphosphopyridine is a Lilliputian if the Pollock is a Anglicism. sent6: if there is something such that it either does not regret or is not a kind of a ban or both the triphosphopyridine is a Bombycidae. sent7: the fact that the Arcadian is not a Anglicism is true if that the Pollock is both not a Lilliputian and not a ban does not hold.
sent3 -> int1: that the triphosphopyridine is not a Bombycidae is not wrong if it is not receptive and it does vault gripsack.; void -> assump1: Let's assume that that the triphosphopyridine is not receptive and does vault gripsack is true.; int1 & assump1 -> int2: the triphosphopyridine is not a Bombycidae.; sent4 -> int3: there exists something such that either it does not regret or it is not a ban or both.; int3 & sent6 -> int4: the triphosphopyridine is a kind of a Bombycidae.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the triphosphopyridine is not receptive but it vaults gripsack is wrong.; sent2 -> int7: if the fact that the triphosphopyridine is unreceptive thing that vaults gripsack does not hold it is not a Anglicism.; int6 & int7 -> int8: that the triphosphopyridine is not a Anglicism is not false.;
the triphosphopyridine is a kind of a Lilliputian.
sent1 -> int9: the Pollock is a Anglicism if it is both a ban and not a Bombycidae.;
$hypothesis$ = that the triphosphopyridine is not Lilliputian is true. ; $context$ = sent1: if something bans but it is not a Bombycidae then that it is a kind of a Anglicism hold. sent2: if the fact that something is not receptive and does vault gripsack does not hold then it is not a Anglicism. sent3: if something that is not receptive does vault gripsack it is not a Bombycidae. sent4: the Pollock does not regret or does not ban or both. sent5: the triphosphopyridine is a Lilliputian if the Pollock is a Anglicism. sent6: if there is something such that it either does not regret or is not a kind of a ban or both the triphosphopyridine is a Bombycidae. sent7: the fact that the Arcadian is not a Anglicism is true if that the Pollock is both not a Lilliputian and not a ban does not hold. ; $proof$ = 
sent3 -> int1: that the triphosphopyridine is not a Bombycidae is not wrong if it is not receptive and it does vault gripsack.; void -> assump1: Let's assume that that the triphosphopyridine is not receptive and does vault gripsack is true.; int1 & assump1 -> int2: the triphosphopyridine is not a Bombycidae.; sent4 -> int3: there exists something such that either it does not regret or it is not a ban or both.; int3 & sent6 -> int4: the triphosphopyridine is a kind of a Bombycidae.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the triphosphopyridine is not receptive but it vaults gripsack is wrong.; sent2 -> int7: if the fact that the triphosphopyridine is unreceptive thing that vaults gripsack does not hold it is not a Anglicism.; int6 & int7 -> int8: that the triphosphopyridine is not a Anglicism is not false.; __UNKNOWN__