the fact that the profiterole does transfer Tillich is not false.
sent1: the fact that the profiterole is a rifled that does refer Giza is false. sent2: the profiterole is not a rifled if the fact that it is a rifled and refers Giza is incorrect. sent3: the profiterole is not a rifled and does not refer timber if it does not spirit. sent4: if something is not a rifled then it does not transfer Actinidiaceae. sent5: the profiterole does not repossess and it is not unassertive. sent6: if something does not transfer Tillich then it does not refer Giza. sent7: the electroplate is both not a rifled and not clinical. sent8: if something is not a kind of a chiaroscuro then it is not renewable. sent9: the profiterole does transfer Tillich if the gull does not refer Giza but it is a rifled. sent10: if something is a kind of a Oxonian it refers Giza and it is not mousy. sent11: the Circe is not a cosmetologist and not a fornication. sent12: something does not transfer Tillich and it does not transfer Actinidiaceae if it does not rifle. sent13: something does not refer Giza if the fact that it is not a kind of a rifled is correct.
sent12 -> int1: if the profiterole does not rifle it does not transfer Tillich and does not transfer Actinidiaceae.; sent2 & sent1 -> int2: the profiterole is not a rifled.; int1 & int2 -> int3: the profiterole does not transfer Tillich and does not transfer Actinidiaceae.; int3 -> hypothesis;
the bookcase is not time-release and it does not transfer Tillich.
sent10 -> int4: the gull does refer Giza and is not mousy if it is a kind of a Oxonian.;
$hypothesis$ = the fact that the profiterole does transfer Tillich is not false. ; $context$ = sent1: the fact that the profiterole is a rifled that does refer Giza is false. sent2: the profiterole is not a rifled if the fact that it is a rifled and refers Giza is incorrect. sent3: the profiterole is not a rifled and does not refer timber if it does not spirit. sent4: if something is not a rifled then it does not transfer Actinidiaceae. sent5: the profiterole does not repossess and it is not unassertive. sent6: if something does not transfer Tillich then it does not refer Giza. sent7: the electroplate is both not a rifled and not clinical. sent8: if something is not a kind of a chiaroscuro then it is not renewable. sent9: the profiterole does transfer Tillich if the gull does not refer Giza but it is a rifled. sent10: if something is a kind of a Oxonian it refers Giza and it is not mousy. sent11: the Circe is not a cosmetologist and not a fornication. sent12: something does not transfer Tillich and it does not transfer Actinidiaceae if it does not rifle. sent13: something does not refer Giza if the fact that it is not a kind of a rifled is correct. ; $proof$ = 
sent12 -> int1: if the profiterole does not rifle it does not transfer Tillich and does not transfer Actinidiaceae.; sent2 & sent1 -> int2: the profiterole is not a rifled.; int1 & int2 -> int3: the profiterole does not transfer Tillich and does not transfer Actinidiaceae.; int3 -> hypothesis; __DISPROVED__