the pavilion is colloidal if the clinker is not hypertonic.
sent1: if there is something such that it does not superscribe rappel and is hypertonic then the pavilion is colloidal. sent2: either the colleen does closet or it is colloidal or both. sent3: something is both not a closet and not hypertonic. sent4: the clinker is not a closet if the colleen is bibliotics and/or hypertonic. sent5: there is something such that it is not bibliotics. sent6: that the cobbler superscribes rappel is not false. sent7: the fact that the clinker does not superscribe rappel is not wrong if the colleen does closet and/or it is bibliotics. sent8: if the colleen is not non-bibliotics the clinker does not superscribe rappel. sent9: something superscribes rappel and is not hypertonic. sent10: the pavilion is not hypertonic if the clinker does superscribe rappel or is colloidal or both. sent11: if something that does not superscribe rappel is not hypertonic the pavilion is colloidal. sent12: the clinker is not non-hypertonic or not non-colloidal or both. sent13: the colleen is a closet.
sent13 -> int1: the colleen is a closet and/or is not non-bibliotics.; int1 & sent7 -> int2: the clinker does not superscribe rappel.; void -> assump1: Let's assume that the clinker is non-hypertonic.; int2 & assump1 -> int3: the clinker does not superscribe rappel and it is not hypertonic.; int3 -> int4: something does not superscribe rappel and is not hypertonic.; int4 & sent11 -> int5: the pavilion is colloidal.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the pavilion is colloidal if the clinker is not hypertonic. ; $context$ = sent1: if there is something such that it does not superscribe rappel and is hypertonic then the pavilion is colloidal. sent2: either the colleen does closet or it is colloidal or both. sent3: something is both not a closet and not hypertonic. sent4: the clinker is not a closet if the colleen is bibliotics and/or hypertonic. sent5: there is something such that it is not bibliotics. sent6: that the cobbler superscribes rappel is not false. sent7: the fact that the clinker does not superscribe rappel is not wrong if the colleen does closet and/or it is bibliotics. sent8: if the colleen is not non-bibliotics the clinker does not superscribe rappel. sent9: something superscribes rappel and is not hypertonic. sent10: the pavilion is not hypertonic if the clinker does superscribe rappel or is colloidal or both. sent11: if something that does not superscribe rappel is not hypertonic the pavilion is colloidal. sent12: the clinker is not non-hypertonic or not non-colloidal or both. sent13: the colleen is a closet. ; $proof$ = 
sent13 -> int1: the colleen is a closet and/or is not non-bibliotics.; int1 & sent7 -> int2: the clinker does not superscribe rappel.; void -> assump1: Let's assume that the clinker is non-hypertonic.; int2 & assump1 -> int3: the clinker does not superscribe rappel and it is not hypertonic.; int3 -> int4: something does not superscribe rappel and is not hypertonic.; int4 & sent11 -> int5: the pavilion is colloidal.; [assump1] & int5 -> hypothesis; __PROVED__