the CRT is a scourge.
sent1: the signalman is not determinable. sent2: the cumulonimbus is both not an ocean and not a epicycloid if the signalman is a kind of an ocean. sent3: the CRT scourges if the cumulonimbus is not an ocean and it is not a kind of a epicycloid. sent4: if something is a kind of a archaism the fact that it is a kind of an ocean is not wrong. sent5: if something does not discipline then it is a archaism. sent6: the signalman does scourge. sent7: the signalman is not a kind of a disciplined and it is not determinable.
sent7 -> int1: the signalman does not discipline.; sent5 -> int2: the signalman is a archaism if it is not a kind of a disciplined.; int1 & int2 -> int3: the signalman is a archaism.; sent4 -> int4: that the signalman is an ocean is right if it is a archaism.; int3 & int4 -> int5: the signalman is an ocean.; int5 & sent2 -> int6: the cumulonimbus is not an ocean and it is not a epicycloid.; int6 & sent3 -> hypothesis;
$hypothesis$ = the CRT is a scourge. ; $context$ = sent1: the signalman is not determinable. sent2: the cumulonimbus is both not an ocean and not a epicycloid if the signalman is a kind of an ocean. sent3: the CRT scourges if the cumulonimbus is not an ocean and it is not a kind of a epicycloid. sent4: if something is a kind of a archaism the fact that it is a kind of an ocean is not wrong. sent5: if something does not discipline then it is a archaism. sent6: the signalman does scourge. sent7: the signalman is not a kind of a disciplined and it is not determinable. ; $proof$ = 
sent7 -> int1: the signalman does not discipline.; sent5 -> int2: the signalman is a archaism if it is not a kind of a disciplined.; int1 & int2 -> int3: the signalman is a archaism.; sent4 -> int4: that the signalman is an ocean is right if it is a archaism.; int3 & int4 -> int5: the signalman is an ocean.; int5 & sent2 -> int6: the cumulonimbus is not an ocean and it is not a epicycloid.; int6 & sent3 -> hypothesis; __PROVED__