the Jihadist tastes protectionist.
sent1: the Jihadist is bacteriophagic. sent2: if the Attilio is not a kind of a two-timer but it tastes lambskin the Jihadist is a kind of a mashie. sent3: if something is a mashie that is bacteriophagic then it does not taste protectionist. sent4: everything is not a kind of a two-timer and does taste lambskin. sent5: the Attilio is not a two-timer. sent6: that everything is not a kind of a two-timer is correct.
sent4 -> int1: the Attilio is not a kind of a two-timer but it tastes lambskin.; int1 & sent2 -> int2: the Jihadist is a kind of a mashie.; int2 & sent1 -> int3: the Jihadist is a mashie and it is bacteriophagic.; sent3 -> int4: the Jihadist does not taste protectionist if it is both a mashie and bacteriophagic.; int3 & int4 -> hypothesis;
$hypothesis$ = the Jihadist tastes protectionist. ; $context$ = sent1: the Jihadist is bacteriophagic. sent2: if the Attilio is not a kind of a two-timer but it tastes lambskin the Jihadist is a kind of a mashie. sent3: if something is a mashie that is bacteriophagic then it does not taste protectionist. sent4: everything is not a kind of a two-timer and does taste lambskin. sent5: the Attilio is not a two-timer. sent6: that everything is not a kind of a two-timer is correct. ; $proof$ = 
sent4 -> int1: the Attilio is not a kind of a two-timer but it tastes lambskin.; int1 & sent2 -> int2: the Jihadist is a kind of a mashie.; int2 & sent1 -> int3: the Jihadist is a mashie and it is bacteriophagic.; sent3 -> int4: the Jihadist does not taste protectionist if it is both a mashie and bacteriophagic.; int3 & int4 -> hypothesis; __DISPROVED__