if the fact that the ankylosaur is a Michaelmastide hold the nearside does foal ankylosaur.
sent1: the nearside is not crinoid if that it is a Michaelmastide and prolix is not incorrect. sent2: that the nearside is both prolix and not a crinoid is not correct if the ankylosaur is not a crinoid. sent3: the fact that the nearside is prolix thing that is not a crinoid is not true. sent4: if that something is not a kind of a crinoid and it does not foal ankylosaur is not correct then it is a kind of an openwork. sent5: something foals ankylosaur if the fact that it is not prolix and it is not a kind of a crinoid is wrong. sent6: the nearside is a kind of a IBRD and it is an openwork. sent7: if the nearside is a kind of a crinoid then the ankylosaur foals ankylosaur. sent8: something does foal ankylosaur if the fact that it is not prolix is wrong. sent9: that the nearside is not crinoid and not an openwork is not right. sent10: the ankylosaur is a kind of an openwork that is not non-Homeric. sent11: that if the nearside is a Michaelmastide then the ankylosaur foals ankylosaur is right. sent12: the fact that the ankylosaur is a kind of an openwork is not incorrect. sent13: the fact that the fact that the nearside is not prolix and it is not a crinoid is wrong if the ankylosaur is not a crinoid is not incorrect. sent14: the fact that if something is Homeric a Michaelmastide then it is not a crinoid hold. sent15: that the nearside is a Michaelmastide hold if the ankylosaur is prolix. sent16: the nearside does foal ankylosaur if it is prolix. sent17: the ankylosaur does foal ankylosaur if the nearside is a kind of an openwork. sent18: if the ankylosaur is not crinoid then the fact that the nearside is not a kind of a Michaelmastide and it is not a kind of a crinoid is not true.
sent10 -> int1: the ankylosaur is Homeric.; void -> assump1: Let's assume that the ankylosaur is a kind of a Michaelmastide.; int1 & assump1 -> int2: the ankylosaur is both Homeric and a Michaelmastide.; sent14 -> int3: if the ankylosaur is both Homeric and a Michaelmastide it is not a kind of a crinoid.; int2 & int3 -> int4: the ankylosaur is not a crinoid.; int4 & sent13 -> int5: the fact that that the nearside is not prolix and it is not a crinoid is not true hold.; sent5 -> int6: if the fact that the nearside is non-prolix thing that is not a kind of a crinoid is false then it does foal ankylosaur.; int5 & int6 -> int7: the nearside foals ankylosaur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the fact that the ankylosaur is a Michaelmastide hold the nearside does foal ankylosaur. ; $context$ = sent1: the nearside is not crinoid if that it is a Michaelmastide and prolix is not incorrect. sent2: that the nearside is both prolix and not a crinoid is not correct if the ankylosaur is not a crinoid. sent3: the fact that the nearside is prolix thing that is not a crinoid is not true. sent4: if that something is not a kind of a crinoid and it does not foal ankylosaur is not correct then it is a kind of an openwork. sent5: something foals ankylosaur if the fact that it is not prolix and it is not a kind of a crinoid is wrong. sent6: the nearside is a kind of a IBRD and it is an openwork. sent7: if the nearside is a kind of a crinoid then the ankylosaur foals ankylosaur. sent8: something does foal ankylosaur if the fact that it is not prolix is wrong. sent9: that the nearside is not crinoid and not an openwork is not right. sent10: the ankylosaur is a kind of an openwork that is not non-Homeric. sent11: that if the nearside is a Michaelmastide then the ankylosaur foals ankylosaur is right. sent12: the fact that the ankylosaur is a kind of an openwork is not incorrect. sent13: the fact that the fact that the nearside is not prolix and it is not a crinoid is wrong if the ankylosaur is not a crinoid is not incorrect. sent14: the fact that if something is Homeric a Michaelmastide then it is not a crinoid hold. sent15: that the nearside is a Michaelmastide hold if the ankylosaur is prolix. sent16: the nearside does foal ankylosaur if it is prolix. sent17: the ankylosaur does foal ankylosaur if the nearside is a kind of an openwork. sent18: if the ankylosaur is not crinoid then the fact that the nearside is not a kind of a Michaelmastide and it is not a kind of a crinoid is not true. ; $proof$ = 
sent10 -> int1: the ankylosaur is Homeric.; void -> assump1: Let's assume that the ankylosaur is a kind of a Michaelmastide.; int1 & assump1 -> int2: the ankylosaur is both Homeric and a Michaelmastide.; sent14 -> int3: if the ankylosaur is both Homeric and a Michaelmastide it is not a kind of a crinoid.; int2 & int3 -> int4: the ankylosaur is not a crinoid.; int4 & sent13 -> int5: the fact that that the nearside is not prolix and it is not a crinoid is not true hold.; sent5 -> int6: if the fact that the nearside is non-prolix thing that is not a kind of a crinoid is false then it does foal ankylosaur.; int5 & int6 -> int7: the nearside foals ankylosaur.; [assump1] & int7 -> hypothesis; __PROVED__