the peroneus is actinomorphic.
sent1: there exists something such that it is not actinomorphic. sent2: the fact that the peroneus does not untune Tragopogon hold. sent3: there is something such that it is a kind of a dragonfly and it is a north. sent4: if the peroneus debars clinocephaly then it is actinomorphic. sent5: if something is actinomorphic it debars sconce and it is not a Naismith. sent6: if something that is a support does not untune Tragopogon then the peroneus is not actinomorphic. sent7: the wigmaker is a kind of a support but it does not untune Tragopogon.
sent7 -> int1: something is a kind of a support that does not untune Tragopogon.; int1 & sent6 -> hypothesis;
something does debar sconce but it is not a kind of a Naismith.
sent5 -> int2: the fact that the peroneus debars sconce but it is not a kind of a Naismith is not wrong if it is actinomorphic.;
$hypothesis$ = the peroneus is actinomorphic. ; $context$ = sent1: there exists something such that it is not actinomorphic. sent2: the fact that the peroneus does not untune Tragopogon hold. sent3: there is something such that it is a kind of a dragonfly and it is a north. sent4: if the peroneus debars clinocephaly then it is actinomorphic. sent5: if something is actinomorphic it debars sconce and it is not a Naismith. sent6: if something that is a support does not untune Tragopogon then the peroneus is not actinomorphic. sent7: the wigmaker is a kind of a support but it does not untune Tragopogon. ; $proof$ = 
sent7 -> int1: something is a kind of a support that does not untune Tragopogon.; int1 & sent6 -> hypothesis; __DISPROVED__