the architrave is not tabular.
sent1: if something does discard carom then it is a pusher. sent2: the liza is a myocardium. sent3: the speculum is not a foster-parent. sent4: if something is a hurl then the fact that it is a Pleuronectidae is true. sent5: if something is not a ride then it is not a Pleuronectidae and it is not a lough. sent6: if something is not expiatory but it is a pusher then it is not a kind of a lough. sent7: if the speculum is not a hurl it is not a Pleuronectidae and it is expiatory. sent8: the architrave is tabular if the speculum is not tabular and not a lough. sent9: something is a Pleuronectidae if it is audio-lingual. sent10: if the analeptic discards carom and does ride then the ramjet is not a kind of a ride. sent11: the speculum is audio-lingual if the bluefin is not a lough. sent12: if the speculum is a Pleuronectidae the liza does ride. sent13: if the fact that the bluefin is not a kind of a hurl is not false it is not expiatory and it is a kind of a pusher. sent14: if the ramjet is not a kind of a Pleuronectidae and it is not a lough then the fact that the liza is a kind of a lough hold. sent15: if the liza is a foster-parent then it does discard carom. sent16: something is a kind of a foster-parent if it is a kind of a myocardium. sent17: if the speculum is a kind of a lough the fact that it is not tabular and not audio-lingual is not true. sent18: the speculum is a lough if the liza is a lough. sent19: if the analeptic is not a foster-parent it does discard carom and does hurl. sent20: the architrave is not tabular if the liza is a ride and does discard carom.
sent6 -> int1: the bluefin is not a lough if it is not expiatory and it is a pusher.; sent9 -> int2: if the speculum is audio-lingual it is a Pleuronectidae.; sent16 -> int3: if the liza is a myocardium it is a foster-parent.; int3 & sent2 -> int4: the liza is a foster-parent.; sent15 & int4 -> int5: the fact that the liza does discard carom is right.;
the architrave is tabular.
$hypothesis$ = the architrave is not tabular. ; $context$ = sent1: if something does discard carom then it is a pusher. sent2: the liza is a myocardium. sent3: the speculum is not a foster-parent. sent4: if something is a hurl then the fact that it is a Pleuronectidae is true. sent5: if something is not a ride then it is not a Pleuronectidae and it is not a lough. sent6: if something is not expiatory but it is a pusher then it is not a kind of a lough. sent7: if the speculum is not a hurl it is not a Pleuronectidae and it is expiatory. sent8: the architrave is tabular if the speculum is not tabular and not a lough. sent9: something is a Pleuronectidae if it is audio-lingual. sent10: if the analeptic discards carom and does ride then the ramjet is not a kind of a ride. sent11: the speculum is audio-lingual if the bluefin is not a lough. sent12: if the speculum is a Pleuronectidae the liza does ride. sent13: if the fact that the bluefin is not a kind of a hurl is not false it is not expiatory and it is a kind of a pusher. sent14: if the ramjet is not a kind of a Pleuronectidae and it is not a lough then the fact that the liza is a kind of a lough hold. sent15: if the liza is a foster-parent then it does discard carom. sent16: something is a kind of a foster-parent if it is a kind of a myocardium. sent17: if the speculum is a kind of a lough the fact that it is not tabular and not audio-lingual is not true. sent18: the speculum is a lough if the liza is a lough. sent19: if the analeptic is not a foster-parent it does discard carom and does hurl. sent20: the architrave is not tabular if the liza is a ride and does discard carom. ; $proof$ = 
sent6 -> int1: the bluefin is not a lough if it is not expiatory and it is a pusher.; sent9 -> int2: if the speculum is audio-lingual it is a Pleuronectidae.; sent16 -> int3: if the liza is a myocardium it is a foster-parent.; int3 & sent2 -> int4: the liza is a foster-parent.; sent15 & int4 -> int5: the fact that the liza does discard carom is right.; __UNKNOWN__