the fact that there exists something such that if it is non-Lilliputian and/or it does lob throwaway then it is a pentlandite does not hold.
sent1: the eider is a pentlandite if it is not a Lilliputian and/or does lob throwaway. sent2: if something is not a superstition and/or does criticize rampart it is a kind of an attendance. sent3: the eider is a pentlandite if it is not a Lilliputian.
sent1 -> hypothesis;
there exists something such that if it is not a superstition and/or it criticizes rampart the fact that it is an attendance is right.
sent2 -> int1: the chloroacetophenone is an attendance if either it is not a superstition or it does criticize rampart or both.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is non-Lilliputian and/or it does lob throwaway then it is a pentlandite does not hold. ; $context$ = sent1: the eider is a pentlandite if it is not a Lilliputian and/or does lob throwaway. sent2: if something is not a superstition and/or does criticize rampart it is a kind of an attendance. sent3: the eider is a pentlandite if it is not a Lilliputian. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__