the falsie is fore.
sent1: the falsie is interdisciplinary. sent2: if the fact that the glycine is not geophysical but it is fore hold then the falsie is fore. sent3: the falsie is fore if the fact that it is a kind of non-chondritic thing that is not a stem does not hold. sent4: the glycine is fore. sent5: the fact that the glycine is chondritic is right. sent6: that the falsie is chondritic but it is not a stem is incorrect. sent7: the glycine is not a plantlet. sent8: the falsie is fore if it is chondritic. sent9: the fact that the widower is a kind of non-fore thing that is not a stoner is wrong. sent10: the glycine is a kind of a plantlet if that the falsie does criticize falsie is not false. sent11: something is fundamentalist thing that does criticize falsie if it is not geophysical. sent12: something that is not a stem is a plantlet. sent13: that the falsie is both not a plantlet and not chondritic is not true if it does criticize falsie.
sent11 -> int1: the falsie is fundamentalist and it criticizes falsie if it is not geophysical.; void -> assump1: Let's assume that the falsie is not geophysical.; int1 & assump1 -> int2: the falsie is a kind of a fundamentalist that does criticize falsie.; int2 -> int3: the falsie does criticize falsie.; int3 & sent10 -> int4: the glycine is a plantlet.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the falsie is geophysical.;
the falsie is not fore.
$hypothesis$ = the falsie is fore. ; $context$ = sent1: the falsie is interdisciplinary. sent2: if the fact that the glycine is not geophysical but it is fore hold then the falsie is fore. sent3: the falsie is fore if the fact that it is a kind of non-chondritic thing that is not a stem does not hold. sent4: the glycine is fore. sent5: the fact that the glycine is chondritic is right. sent6: that the falsie is chondritic but it is not a stem is incorrect. sent7: the glycine is not a plantlet. sent8: the falsie is fore if it is chondritic. sent9: the fact that the widower is a kind of non-fore thing that is not a stoner is wrong. sent10: the glycine is a kind of a plantlet if that the falsie does criticize falsie is not false. sent11: something is fundamentalist thing that does criticize falsie if it is not geophysical. sent12: something that is not a stem is a plantlet. sent13: that the falsie is both not a plantlet and not chondritic is not true if it does criticize falsie. ; $proof$ = 
sent11 -> int1: the falsie is fundamentalist and it criticizes falsie if it is not geophysical.; void -> assump1: Let's assume that the falsie is not geophysical.; int1 & assump1 -> int2: the falsie is a kind of a fundamentalist that does criticize falsie.; int2 -> int3: the falsie does criticize falsie.; int3 & sent10 -> int4: the glycine is a plantlet.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the falsie is geophysical.; __UNKNOWN__