the fact that the pangolin is not a kind of a relay but it is a material is false.
sent1: something is not a highflier if it overbears internationalism and it resents Moscow. sent2: the fact that the pangolin is material is not wrong. sent3: the mock-up does relay if the Nut does relay. sent4: the pangolin is material and not equal. sent5: The internationalism does overbear mock-up. sent6: the mock-up does overbear internationalism. sent7: that the pangolin does not parallel handiness hold if the mock-up is equal but it does not resent Moscow. sent8: if the mock-up relays but it does not overbear internationalism then the pedestrian does not relays. sent9: if something does overbear internationalism then the fact that it is not a relay and it is a kind of a material is false. sent10: the fact that the mock-up does equal is true. sent11: the mock-up is a highflier. sent12: if the mock-up is not equal it is not material and it parallels handiness. sent13: if something does not parallel handiness then it is both not a relay and a material.
void -> assump1: Let's assume that the mock-up resents Moscow.; sent6 & assump1 -> int1: the mock-up does overbear internationalism and it resents Moscow.; sent1 -> int2: if the mock-up overbears internationalism and does resent Moscow it is not a kind of a highflier.; int1 & int2 -> int3: the mock-up is not a highflier.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mock-up does not resent Moscow.; int5 & sent10 -> int6: the mock-up is equal but it does not resent Moscow.; int6 & sent7 -> int7: the pangolin does not parallel handiness.; sent13 -> int8: if the pangolin does not parallel handiness then it is both not a relay and material.; int7 & int8 -> hypothesis;
the pedestrian is not a relay.
$hypothesis$ = the fact that the pangolin is not a kind of a relay but it is a material is false. ; $context$ = sent1: something is not a highflier if it overbears internationalism and it resents Moscow. sent2: the fact that the pangolin is material is not wrong. sent3: the mock-up does relay if the Nut does relay. sent4: the pangolin is material and not equal. sent5: The internationalism does overbear mock-up. sent6: the mock-up does overbear internationalism. sent7: that the pangolin does not parallel handiness hold if the mock-up is equal but it does not resent Moscow. sent8: if the mock-up relays but it does not overbear internationalism then the pedestrian does not relays. sent9: if something does overbear internationalism then the fact that it is not a relay and it is a kind of a material is false. sent10: the fact that the mock-up does equal is true. sent11: the mock-up is a highflier. sent12: if the mock-up is not equal it is not material and it parallels handiness. sent13: if something does not parallel handiness then it is both not a relay and a material. ; $proof$ = 
void -> assump1: Let's assume that the mock-up resents Moscow.; sent6 & assump1 -> int1: the mock-up does overbear internationalism and it resents Moscow.; sent1 -> int2: if the mock-up overbears internationalism and does resent Moscow it is not a kind of a highflier.; int1 & int2 -> int3: the mock-up is not a highflier.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mock-up does not resent Moscow.; int5 & sent10 -> int6: the mock-up is equal but it does not resent Moscow.; int6 & sent7 -> int7: the pangolin does not parallel handiness.; sent13 -> int8: if the pangolin does not parallel handiness then it is both not a relay and material.; int7 & int8 -> hypothesis; __DISPROVED__