the fact that the TC is a corkage and it is photic is not right.
sent1: the capture resects champagne. sent2: the TC does untune locule if that the tetraskelion is both not non-Marian and non-euphonious is not correct. sent3: if the TC is not postmeridian then it is photic and it is a slipknot. sent4: if the fact that that the capture is not a slipknot but a corkage is not right is not wrong the fact that the tetraskelion is not a corkage is correct. sent5: if something does untune locule then the fact that it is both not a slipknot and a corkage is not correct. sent6: if something that does resect champagne does untune PCP it is not unconditional. sent7: if the TC is Marian that the tetraskelion is a kind of a slipknot is correct. sent8: that the tetraskelion is Marian and is not euphonious is false. sent9: if something does untune locule it is a corkage. sent10: something untunes locule and it is postmeridian if that it is not unconditional is true. sent11: the TC is not postmeridian. sent12: the capture does untune PCP.
sent2 & sent8 -> int1: the TC untunes locule.; sent9 -> int2: that the TC is a corkage hold if the fact that it untunes locule is right.; int1 & int2 -> int3: the TC is a corkage.; sent3 & sent11 -> int4: the TC is photic and a slipknot.; int4 -> int5: the fact that the TC is photic is correct.; int3 & int5 -> hypothesis;
that the TC is a corkage and is photic is false.
sent5 -> int6: the fact that the capture is not a slipknot but it is a corkage is false if it does untune locule.; sent10 -> int7: the capture untunes locule and it is postmeridian if it is not unconditional.; sent6 -> int8: if the capture resects champagne and it untunes PCP then it is not unconditional.; sent1 & sent12 -> int9: the capture resects champagne and does untune PCP.; int8 & int9 -> int10: the capture is not unconditional.; int7 & int10 -> int11: the capture does untune locule and is postmeridian.; int11 -> int12: the capture untunes locule.; int6 & int12 -> int13: the fact that the capture is not a slipknot but it is a corkage is not right.; sent4 & int13 -> int14: the tetraskelion is not a corkage.; int14 -> int15: there is something such that it is not a corkage.;
$hypothesis$ = the fact that the TC is a corkage and it is photic is not right. ; $context$ = sent1: the capture resects champagne. sent2: the TC does untune locule if that the tetraskelion is both not non-Marian and non-euphonious is not correct. sent3: if the TC is not postmeridian then it is photic and it is a slipknot. sent4: if the fact that that the capture is not a slipknot but a corkage is not right is not wrong the fact that the tetraskelion is not a corkage is correct. sent5: if something does untune locule then the fact that it is both not a slipknot and a corkage is not correct. sent6: if something that does resect champagne does untune PCP it is not unconditional. sent7: if the TC is Marian that the tetraskelion is a kind of a slipknot is correct. sent8: that the tetraskelion is Marian and is not euphonious is false. sent9: if something does untune locule it is a corkage. sent10: something untunes locule and it is postmeridian if that it is not unconditional is true. sent11: the TC is not postmeridian. sent12: the capture does untune PCP. ; $proof$ = 
sent2 & sent8 -> int1: the TC untunes locule.; sent9 -> int2: that the TC is a corkage hold if the fact that it untunes locule is right.; int1 & int2 -> int3: the TC is a corkage.; sent3 & sent11 -> int4: the TC is photic and a slipknot.; int4 -> int5: the fact that the TC is photic is correct.; int3 & int5 -> hypothesis; __DISPROVED__