that the gulag is inoperable thing that is abstemious if the professional does not lob Soutine is incorrect.
sent1: if the fact that there exists something such that the fact that it is a kind of moonless thing that is a sputter is false is correct that the fraxinella is not abstemious is true. sent2: if something does not lob Soutine that it is moonless and is a sputter does not hold. sent3: if the fraxinella is not abstemious then the gulag is not operable but it is abstemious.
sent2 -> int1: the fact that if the professional does not lob Soutine then the fact that the fact that the professional is moonless and it is a sputter is not right is not false hold.; void -> assump1: Let's assume that the professional does not lob Soutine.; int1 & assump1 -> int2: that the professional is moonless thing that does sputter is false.; int2 -> int3: there exists something such that the fact that it is a kind of moonless thing that sputters is not right.; int3 & sent1 -> int4: the fraxinella is not abstemious.; int4 & sent3 -> int5: the gulag is not operable and is abstemious.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the gulag is inoperable thing that is abstemious if the professional does not lob Soutine is incorrect. ; $context$ = sent1: if the fact that there exists something such that the fact that it is a kind of moonless thing that is a sputter is false is correct that the fraxinella is not abstemious is true. sent2: if something does not lob Soutine that it is moonless and is a sputter does not hold. sent3: if the fraxinella is not abstemious then the gulag is not operable but it is abstemious. ; $proof$ = 
sent2 -> int1: the fact that if the professional does not lob Soutine then the fact that the fact that the professional is moonless and it is a sputter is not right is not false hold.; void -> assump1: Let's assume that the professional does not lob Soutine.; int1 & assump1 -> int2: that the professional is moonless thing that does sputter is false.; int2 -> int3: there exists something such that the fact that it is a kind of moonless thing that sputters is not right.; int3 & sent1 -> int4: the fraxinella is not abstemious.; int4 & sent3 -> int5: the gulag is not operable and is abstemious.; [assump1] & int5 -> hypothesis; __DISPROVED__