there exists something such that if it is not medicolegal then it is not a kind of a F.I.S.C..
sent1: something is a kind of non-impermeable thing that is not a kind of a stair-rod if it is non-medicolegal. sent2: if something that is not a kind of a masjid is not romaic it is not a kind of a F.I.S.C.. sent3: the Indian is a F.I.S.C. if it is not medicolegal. sent4: there is something such that if it is not medicolegal it is a kind of a F.I.S.C.. sent5: something is not a F.I.S.C. if it is not a masjid but romaic. sent6: something is not a masjid and it is not romaic if it is medicolegal. sent7: if that something is not ovular but it is not non-medicolegal is false it is not non-medicolegal. sent8: the Indian is both not a masjid and not romaic if it is medicolegal. sent9: there is something such that if it is medicolegal it is not a kind of a F.I.S.C.. sent10: something is not a masjid and not romaic if it is not medicolegal. sent11: if the Indian is medicolegal it is not a kind of a F.I.S.C.. sent12: if something that does not angle omnivore is not bronchiolar then it is non-perineal. sent13: if something that is a masjid is not romaic it is not a kind of a F.I.S.C.. sent14: the Indian is not a F.I.S.C. if it is not a masjid but romaic.
sent10 -> int1: the Indian is not a masjid and not romaic if it is not medicolegal.; void -> assump1: Let's assume that the Indian is not medicolegal.; int1 & assump1 -> int2: the Indian is both not a masjid and not romaic.; sent2 -> int3: the Indian is not a F.I.S.C. if it is not a kind of a masjid and it is non-romaic.; int2 & int3 -> int4: the Indian is not a F.I.S.C..; [assump1] & int4 -> int5: if the Indian is not medicolegal it is not a F.I.S.C..; int5 -> hypothesis;
the omnivore is not impermeable and it is not a stair-rod.
sent1 -> int6: the omnivore is a kind of non-impermeable thing that is not a stair-rod if it is not medicolegal.; sent7 -> int7: if that the omnivore is not ovular but it is medicolegal is wrong it is not medicolegal.;
$hypothesis$ = there exists something such that if it is not medicolegal then it is not a kind of a F.I.S.C.. ; $context$ = sent1: something is a kind of non-impermeable thing that is not a kind of a stair-rod if it is non-medicolegal. sent2: if something that is not a kind of a masjid is not romaic it is not a kind of a F.I.S.C.. sent3: the Indian is a F.I.S.C. if it is not medicolegal. sent4: there is something such that if it is not medicolegal it is a kind of a F.I.S.C.. sent5: something is not a F.I.S.C. if it is not a masjid but romaic. sent6: something is not a masjid and it is not romaic if it is medicolegal. sent7: if that something is not ovular but it is not non-medicolegal is false it is not non-medicolegal. sent8: the Indian is both not a masjid and not romaic if it is medicolegal. sent9: there is something such that if it is medicolegal it is not a kind of a F.I.S.C.. sent10: something is not a masjid and not romaic if it is not medicolegal. sent11: if the Indian is medicolegal it is not a kind of a F.I.S.C.. sent12: if something that does not angle omnivore is not bronchiolar then it is non-perineal. sent13: if something that is a masjid is not romaic it is not a kind of a F.I.S.C.. sent14: the Indian is not a F.I.S.C. if it is not a masjid but romaic. ; $proof$ = 
sent10 -> int1: the Indian is not a masjid and not romaic if it is not medicolegal.; void -> assump1: Let's assume that the Indian is not medicolegal.; int1 & assump1 -> int2: the Indian is both not a masjid and not romaic.; sent2 -> int3: the Indian is not a F.I.S.C. if it is not a kind of a masjid and it is non-romaic.; int2 & int3 -> int4: the Indian is not a F.I.S.C..; [assump1] & int4 -> int5: if the Indian is not medicolegal it is not a F.I.S.C..; int5 -> hypothesis; __PROVED__