there is something such that the fact that the fact that it does not shaft Goliath and bogs flyweight hold does not hold.
sent1: the bowleg is not a Samaritan and perpetuates C-clamp. sent2: the Goliath is a kind of a Garbo if that something is not a Samaritan and perpetuates C-clamp is true. sent3: the fact that the bowleg perpetuates C-clamp hold. sent4: the fact that the Goliath is agrologic is correct. sent5: there exists something such that the fact that the fact that it shafts Goliath and it does bog flyweight hold is not right. sent6: there is something such that it is not a Samaritan. sent7: something is a Samaritan that perpetuates C-clamp. sent8: the fact that the Goliath does shaft Goliath and bogs flyweight is not right. sent9: if the fact that the Goliath is not a kind of a wobble is not wrong the fact that it does not shaft Goliath and it bogs flyweight is not correct.
sent1 -> int1: there is something such that it is not a Samaritan and it perpetuates C-clamp.; int1 & sent2 -> int2: the Goliath is a Garbo.; int2 & sent4 -> int3: the Goliath is a Garbo and it is agrologic.;
$hypothesis$ = there is something such that the fact that the fact that it does not shaft Goliath and bogs flyweight hold does not hold. ; $context$ = sent1: the bowleg is not a Samaritan and perpetuates C-clamp. sent2: the Goliath is a kind of a Garbo if that something is not a Samaritan and perpetuates C-clamp is true. sent3: the fact that the bowleg perpetuates C-clamp hold. sent4: the fact that the Goliath is agrologic is correct. sent5: there exists something such that the fact that the fact that it shafts Goliath and it does bog flyweight hold is not right. sent6: there is something such that it is not a Samaritan. sent7: something is a Samaritan that perpetuates C-clamp. sent8: the fact that the Goliath does shaft Goliath and bogs flyweight is not right. sent9: if the fact that the Goliath is not a kind of a wobble is not wrong the fact that it does not shaft Goliath and it bogs flyweight is not correct. ; $proof$ = 
sent1 -> int1: there is something such that it is not a Samaritan and it perpetuates C-clamp.; int1 & sent2 -> int2: the Goliath is a Garbo.; int2 & sent4 -> int3: the Goliath is a Garbo and it is agrologic.; __UNKNOWN__