the alternator is not gingival.
sent1: the alternator is a Cephalanthera if there exists something such that that it is both a hippodrome and not aperiodic is false. sent2: the counterpart is a Lagostomus. sent3: the alternator is a Cephalanthera if there exists something such that it is not a hippodrome. sent4: if there is something such that it is not a kind of a lcm the iteration does not gong anteroom. sent5: there exists something such that that it is a hippodrome that is not aperiodic is false. sent6: if something is a lcm the fact that it is a Lagostomus and it is not a secessionist is false. sent7: the counterpart is a lcm if the jumper is not alkalotic and it is not a Clydesdale. sent8: if there exists something such that it does not declare then the orrery is not a kind of a Clydesdale. sent9: if something that is a Cephalanthera is gingival the orrery does not declare. sent10: the counterpart is a kind of a Lagostomus and is not a secessionist if there exists something such that it does not declare. sent11: that the breadroot is hydrous and does not declare is not true. sent12: if the jumper does specialize then it is not alkalotic and is not a Clydesdale. sent13: something does gong dolichocephalic and is not compatible.
sent5 & sent1 -> int1: the alternator is a kind of a Cephalanthera.; void -> assump1: Let's assume that the alternator is gingival.; int1 & assump1 -> int2: the alternator is a Cephalanthera and is gingival.; int2 -> int3: there exists something such that it is a kind of a Cephalanthera and is gingival.; int3 & sent9 -> int4: the fact that the orrery does not declare is right.; int4 -> int5: there exists something such that it does not declare.; int5 & sent10 -> int6: the counterpart is a kind of a Lagostomus but it is not a secessionist.; sent6 -> int7: if the counterpart is a lcm then the fact that it is a Lagostomus and it is not a secessionist is not true.;
$hypothesis$ = the alternator is not gingival. ; $context$ = sent1: the alternator is a Cephalanthera if there exists something such that that it is both a hippodrome and not aperiodic is false. sent2: the counterpart is a Lagostomus. sent3: the alternator is a Cephalanthera if there exists something such that it is not a hippodrome. sent4: if there is something such that it is not a kind of a lcm the iteration does not gong anteroom. sent5: there exists something such that that it is a hippodrome that is not aperiodic is false. sent6: if something is a lcm the fact that it is a Lagostomus and it is not a secessionist is false. sent7: the counterpart is a lcm if the jumper is not alkalotic and it is not a Clydesdale. sent8: if there exists something such that it does not declare then the orrery is not a kind of a Clydesdale. sent9: if something that is a Cephalanthera is gingival the orrery does not declare. sent10: the counterpart is a kind of a Lagostomus and is not a secessionist if there exists something such that it does not declare. sent11: that the breadroot is hydrous and does not declare is not true. sent12: if the jumper does specialize then it is not alkalotic and is not a Clydesdale. sent13: something does gong dolichocephalic and is not compatible. ; $proof$ = 
sent5 & sent1 -> int1: the alternator is a kind of a Cephalanthera.; void -> assump1: Let's assume that the alternator is gingival.; int1 & assump1 -> int2: the alternator is a Cephalanthera and is gingival.; int2 -> int3: there exists something such that it is a kind of a Cephalanthera and is gingival.; int3 & sent9 -> int4: the fact that the orrery does not declare is right.; int4 -> int5: there exists something such that it does not declare.; int5 & sent10 -> int6: the counterpart is a kind of a Lagostomus but it is not a secessionist.; sent6 -> int7: if the counterpart is a lcm then the fact that it is a Lagostomus and it is not a secessionist is not true.; __UNKNOWN__