the nerd is not unscholarly.
sent1: the monster is not a limonite if it lobs Switzerland and it is not unscholarly. sent2: if something is not axillary then either the monster is not axillary or it is not unlike or both. sent3: the coriander does lob Switzerland. sent4: if something that is a limonite does not lob Switzerland it is not a platyrrhine. sent5: either the anglophobe is a limonite or it is not a isogamy or both if the monster is not a limonite. sent6: there is something such that it is not axillary. sent7: something is a limonite and it lobs Switzerland if the fact that it is not a isogamy hold. sent8: the monster is axillary and/or it is like if there is something such that that it is axillary is not false. sent9: the monster does not lob Switzerland if there is something such that it does bead and it is not a kind of a humor. sent10: either the swot is not aquatic or it is not a platyrrhine or both if the monster lobs Switzerland. sent11: there exists something such that it beads and it is not a kind of a humor. sent12: something is a kind of phosphorous thing that does not heap foppishness. sent13: if something is not axillary it is a platyrrhine and it is a isogamy. sent14: if something is not axillary or not unlike or both the fact that it is a platyrrhine is not false. sent15: the fact that the monster is not axillary but it is a isogamy is incorrect if it is unscholarly. sent16: if the anglophobe is a kind of a limonite and/or is not a isogamy then that the nerd is not unscholarly is not false. sent17: if something is not a limonite or it does not lob Switzerland or both then it is unscholarly.
sent11 & sent9 -> int1: the monster does not lob Switzerland.; void -> assump1: Let's assume that the monster is a limonite.; int1 & assump1 -> int2: the monster is a limonite but it does not lob Switzerland.; sent4 -> int3: if the fact that the monster is a limonite that does not lob Switzerland hold it is not a platyrrhine.; int2 & int3 -> int4: the monster is not a platyrrhine.; sent14 -> int5: the monster is a platyrrhine if it is not axillary and/or is not unlike.; sent6 & sent2 -> int6: the monster is not axillary or not unlike or both.; int5 & int6 -> int7: the fact that the monster is a kind of a platyrrhine is true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the monster is not a kind of a limonite.; int9 & sent5 -> int10: the anglophobe is a limonite and/or it is not a isogamy.; int10 & sent16 -> hypothesis;
the nerd is not scholarly.
sent13 -> int11: if the loofa is not axillary then it is platyrrhine thing that is a isogamy.;
$hypothesis$ = the nerd is not unscholarly. ; $context$ = sent1: the monster is not a limonite if it lobs Switzerland and it is not unscholarly. sent2: if something is not axillary then either the monster is not axillary or it is not unlike or both. sent3: the coriander does lob Switzerland. sent4: if something that is a limonite does not lob Switzerland it is not a platyrrhine. sent5: either the anglophobe is a limonite or it is not a isogamy or both if the monster is not a limonite. sent6: there is something such that it is not axillary. sent7: something is a limonite and it lobs Switzerland if the fact that it is not a isogamy hold. sent8: the monster is axillary and/or it is like if there is something such that that it is axillary is not false. sent9: the monster does not lob Switzerland if there is something such that it does bead and it is not a kind of a humor. sent10: either the swot is not aquatic or it is not a platyrrhine or both if the monster lobs Switzerland. sent11: there exists something such that it beads and it is not a kind of a humor. sent12: something is a kind of phosphorous thing that does not heap foppishness. sent13: if something is not axillary it is a platyrrhine and it is a isogamy. sent14: if something is not axillary or not unlike or both the fact that it is a platyrrhine is not false. sent15: the fact that the monster is not axillary but it is a isogamy is incorrect if it is unscholarly. sent16: if the anglophobe is a kind of a limonite and/or is not a isogamy then that the nerd is not unscholarly is not false. sent17: if something is not a limonite or it does not lob Switzerland or both then it is unscholarly. ; $proof$ = 
sent11 & sent9 -> int1: the monster does not lob Switzerland.; void -> assump1: Let's assume that the monster is a limonite.; int1 & assump1 -> int2: the monster is a limonite but it does not lob Switzerland.; sent4 -> int3: if the fact that the monster is a limonite that does not lob Switzerland hold it is not a platyrrhine.; int2 & int3 -> int4: the monster is not a platyrrhine.; sent14 -> int5: the monster is a platyrrhine if it is not axillary and/or is not unlike.; sent6 & sent2 -> int6: the monster is not axillary or not unlike or both.; int5 & int6 -> int7: the fact that the monster is a kind of a platyrrhine is true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the monster is not a kind of a limonite.; int9 & sent5 -> int10: the anglophobe is a limonite and/or it is not a isogamy.; int10 & sent16 -> hypothesis; __PROVED__