the spray is a bloodbath.
sent1: The rarebit does confine spray. sent2: that the rarebit is anabatic but not a tramway is wrong. sent3: if the spray is a bloodbath that is a hip-hop it does not confine rarebit. sent4: if there exists something such that the fact that it is anabatic thing that is not a kind of a tramway does not hold then that the spray is a hip-hop is not wrong. sent5: the spray does confine rarebit.
sent2 -> int1: there exists something such that the fact that it is anabatic and is not a tramway is incorrect.; int1 & sent4 -> int2: the spray is a hip-hop.; void -> assump1: Let's assume that the spray is a bloodbath.; int2 & assump1 -> int3: the spray is a bloodbath and it is a hip-hop.; int3 & sent3 -> int4: the spray does not confine rarebit.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the spray is a bloodbath. ; $context$ = sent1: The rarebit does confine spray. sent2: that the rarebit is anabatic but not a tramway is wrong. sent3: if the spray is a bloodbath that is a hip-hop it does not confine rarebit. sent4: if there exists something such that the fact that it is anabatic thing that is not a kind of a tramway does not hold then that the spray is a hip-hop is not wrong. sent5: the spray does confine rarebit. ; $proof$ = 
sent2 -> int1: there exists something such that the fact that it is anabatic and is not a tramway is incorrect.; int1 & sent4 -> int2: the spray is a hip-hop.; void -> assump1: Let's assume that the spray is a bloodbath.; int2 & assump1 -> int3: the spray is a bloodbath and it is a hip-hop.; int3 & sent3 -> int4: the spray does not confine rarebit.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__