the fact that the abator is unattractive if the peregrine is a tolu is incorrect.
sent1: something is not a tolu if it is not a chlorobenzylidenemalononitrile and is a kind of a sulk. sent2: the peregrine is not a kind of a chlorobenzylidenemalononitrile. sent3: a chlorobenzylidenemalononitrile that sulks is not a tolu. sent4: the abator is unattractive if the peregrine is a chlorobenzylidenemalononitrile. sent5: the abator is unattractive if that the peregrine is both not a chlorobenzylidenemalononitrile and a sulk is false. sent6: if the peregrine is both a chlorobenzylidenemalononitrile and a sulk then it is not a tolu. sent7: if the peregrine is not a chlorobenzylidenemalononitrile but a tolu that it is unattractive is not incorrect. sent8: something that is not unattractive but a sulk is a tolu.
void -> assump1: Let's assume that the fact that the peregrine is a kind of a tolu hold.; sent1 -> int1: the peregrine is not a kind of a tolu if it is not a chlorobenzylidenemalononitrile and it is a sulk.; void -> assump2: Let's assume that the peregrine is not a chlorobenzylidenemalononitrile but a sulk.; int1 & assump2 -> int2: the peregrine is not a tolu.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the fact that the peregrine is not a chlorobenzylidenemalononitrile but it is a sulk is not true hold.; sent5 & int4 -> int5: the abator is unattractive.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the abator is unattractive if the peregrine is a tolu is incorrect. ; $context$ = sent1: something is not a tolu if it is not a chlorobenzylidenemalononitrile and is a kind of a sulk. sent2: the peregrine is not a kind of a chlorobenzylidenemalononitrile. sent3: a chlorobenzylidenemalononitrile that sulks is not a tolu. sent4: the abator is unattractive if the peregrine is a chlorobenzylidenemalononitrile. sent5: the abator is unattractive if that the peregrine is both not a chlorobenzylidenemalononitrile and a sulk is false. sent6: if the peregrine is both a chlorobenzylidenemalononitrile and a sulk then it is not a tolu. sent7: if the peregrine is not a chlorobenzylidenemalononitrile but a tolu that it is unattractive is not incorrect. sent8: something that is not unattractive but a sulk is a tolu. ; $proof$ = 
void -> assump1: Let's assume that the fact that the peregrine is a kind of a tolu hold.; sent1 -> int1: the peregrine is not a kind of a tolu if it is not a chlorobenzylidenemalononitrile and it is a sulk.; void -> assump2: Let's assume that the peregrine is not a chlorobenzylidenemalononitrile but a sulk.; int1 & assump2 -> int2: the peregrine is not a tolu.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the fact that the peregrine is not a chlorobenzylidenemalononitrile but it is a sulk is not true hold.; sent5 & int4 -> int5: the abator is unattractive.; [assump1] & int5 -> hypothesis; __DISPROVED__