the Algerian is a Lytton and does look foreshank.
sent1: the fact that the Algerian is a rainmaker is right. sent2: the Algerian does not look octane. sent3: if the loess is not theoretical then the fact that the Algerian is a kind of a Lytton that looks foreshank is not true. sent4: if something that is a kind of a depredation is a rainmaker then it is non-phenotypical. sent5: if the Algerian does not look octane it is a Lytton and interpolates gamebag. sent6: the armoire is not a depredation. sent7: the Algerian is a kind of a depredation if it permits ILO. sent8: the Algerian does permit ILO if that the loess is not theoretical and not a eclogue is not right. sent9: The octane does not look Algerian. sent10: the loess is a kind of a eclogue. sent11: if the fact that something does not permit ILO and is theoretical is not true then it is not theoretical.
void -> assump1: Let's assume that the loess is non-theoretical and is not a kind of a eclogue.; assump1 -> int1: the loess is not a eclogue.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the loess is a kind of non-theoretical thing that is not a kind of a eclogue is not correct.; int3 & sent8 -> int4: the Algerian does permit ILO.; int4 & sent7 -> int5: the Algerian is a depredation.; int5 & sent1 -> int6: the Algerian is a depredation and it is a kind of a rainmaker.; sent4 -> int7: if the Algerian is a kind of a depredation and it is a kind of a rainmaker it is not phenotypical.; int6 & int7 -> int8: the Algerian is not phenotypical.; sent5 & sent2 -> int9: the Algerian is a kind of a Lytton and interpolates gamebag.; int9 -> int10: the Algerian is a Lytton.;
that the Algerian is a Lytton and looks foreshank is false.
sent11 -> int11: if that the loess does not permit ILO but it is theoretical is wrong then it is not theoretical.; sent6 -> int12: there is something such that it is not a depredation.;
$hypothesis$ = the Algerian is a Lytton and does look foreshank. ; $context$ = sent1: the fact that the Algerian is a rainmaker is right. sent2: the Algerian does not look octane. sent3: if the loess is not theoretical then the fact that the Algerian is a kind of a Lytton that looks foreshank is not true. sent4: if something that is a kind of a depredation is a rainmaker then it is non-phenotypical. sent5: if the Algerian does not look octane it is a Lytton and interpolates gamebag. sent6: the armoire is not a depredation. sent7: the Algerian is a kind of a depredation if it permits ILO. sent8: the Algerian does permit ILO if that the loess is not theoretical and not a eclogue is not right. sent9: The octane does not look Algerian. sent10: the loess is a kind of a eclogue. sent11: if the fact that something does not permit ILO and is theoretical is not true then it is not theoretical. ; $proof$ = 
void -> assump1: Let's assume that the loess is non-theoretical and is not a kind of a eclogue.; assump1 -> int1: the loess is not a eclogue.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the loess is a kind of non-theoretical thing that is not a kind of a eclogue is not correct.; int3 & sent8 -> int4: the Algerian does permit ILO.; int4 & sent7 -> int5: the Algerian is a depredation.; int5 & sent1 -> int6: the Algerian is a depredation and it is a kind of a rainmaker.; sent4 -> int7: if the Algerian is a kind of a depredation and it is a kind of a rainmaker it is not phenotypical.; int6 & int7 -> int8: the Algerian is not phenotypical.; sent5 & sent2 -> int9: the Algerian is a kind of a Lytton and interpolates gamebag.; int9 -> int10: the Algerian is a Lytton.; __UNKNOWN__