the fact that if the subordinateness happens the eluting Fury does not occur is not true.
sent1: if the flocking occurs the fact that the heroics does not occur and the caning scullery does not occur is wrong. sent2: the eluting introspection prevents that the flock does not occur. sent3: if the fact that the heroics does not occur and the caning scullery does not occur is not true then the caning scullery happens. sent4: the eluting introspection occurs. sent5: the subject occurs if the subordinateness occurs. sent6: that the eluting Fury occurs and the subjecting occurs prevents the caning scullery.
void -> assump2: Let's assume that the subordinate happens.; sent5 & assump2 -> int1: the subjecting occurs.; void -> assump1: Let's assume that the eluting Fury occurs.; int1 & assump1 -> int2: both the eluting Fury and the subjecting happens.; int2 & sent6 -> int3: that the caning scullery does not occur is right.; sent2 & sent4 -> int4: the flock occurs.; sent1 & int4 -> int5: that the heroicsness does not occur and the caning scullery does not occur does not hold.; sent3 & int5 -> int6: the caning scullery occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the eluting Fury does not occur.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the fact that if the subordinateness happens the eluting Fury does not occur is not true. ; $context$ = sent1: if the flocking occurs the fact that the heroics does not occur and the caning scullery does not occur is wrong. sent2: the eluting introspection prevents that the flock does not occur. sent3: if the fact that the heroics does not occur and the caning scullery does not occur is not true then the caning scullery happens. sent4: the eluting introspection occurs. sent5: the subject occurs if the subordinateness occurs. sent6: that the eluting Fury occurs and the subjecting occurs prevents the caning scullery. ; $proof$ = 
void -> assump2: Let's assume that the subordinate happens.; sent5 & assump2 -> int1: the subjecting occurs.; void -> assump1: Let's assume that the eluting Fury occurs.; int1 & assump1 -> int2: both the eluting Fury and the subjecting happens.; int2 & sent6 -> int3: that the caning scullery does not occur is right.; sent2 & sent4 -> int4: the flock occurs.; sent1 & int4 -> int5: that the heroicsness does not occur and the caning scullery does not occur does not hold.; sent3 & int5 -> int6: the caning scullery occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the eluting Fury does not occur.; [assump2] & int8 -> hypothesis; __DISPROVED__