the regulation is not aquatics.
sent1: the fact that the Medusa does remove bravo is not false if that the fact that either the towel does remove steadiness or it does not cough or both is right is wrong. sent2: that the lobbyist does not brown is not false. sent3: if something does not dance Anarhichadidae then that it is not a Masorah and does dance scheme is not true. sent4: if the albite does remove steadiness the towel dances scheme. sent5: the fact that the G-man is a kind of a Masorah is not wrong if the albite does dance scheme. sent6: if the sapwood does spring-clean Barkley then the albite dances scheme. sent7: if that the sapwood spring-cleans Barkley is not false it is a Masorah. sent8: the towel does cough. sent9: if the Medusa is not belemnitic then it is a aquatics that does not dance Anarhichadidae. sent10: the Medusa does spring-clean Barkley. sent11: that the towel spring-cleans Barkley or it is not a cough or both is not true. sent12: if the Medusa does remove bravo then that the lobbyist does not sidle is not true. sent13: if the towel does remove bravo or it does not sidle or both then the fact that the decoration does cough is not incorrect. sent14: the Medusa removes bravo if that that the towel does remove steadiness and/or it is a cough is correct is incorrect. sent15: if there is something such that it does not spring-clean Barkley then the towel does remove bravo or it does not sidle or both. sent16: the Medusa is not belemnitic if there exists something such that it is not a brown. sent17: the Medusa is a kind of a aquatics. sent18: if the lobbyist sidles the sapwood spring-cleans Barkley. sent19: the Medusa is a kind of a Masorah. sent20: the lobbyist removes bravo if that the Medusa does sidle is true. sent21: if the G-man is a kind of a Masorah it dances Anarhichadidae. sent22: the towel dances Anarhichadidae. sent23: the fact that the towel does remove steadiness or it is not a cough or both does not hold. sent24: if the fact that the towel is a kind of a aquatics is correct the regulation is a kind of a aquatics. sent25: the regulation does not remove steadiness. sent26: if that the G-man dances Anarhichadidae hold the regulation is not a aquatics.
sent1 & sent23 -> int1: the Medusa does remove bravo.; int1 & sent12 -> int2: the lobbyist sidles.; int2 & sent18 -> int3: the sapwood spring-cleans Barkley.; int3 & sent6 -> int4: the albite dances scheme.; int4 & sent5 -> int5: the G-man is a kind of a Masorah.; int5 & sent21 -> int6: the G-man does dance Anarhichadidae.; int6 & sent26 -> hypothesis;
the decoration coughs.
sent3 -> int7: the fact that the fact that the Medusa is not a kind of a Masorah but it dances scheme is right is not correct if it does not dance Anarhichadidae.; sent2 -> int8: there is something such that it is not a brown.; int8 & sent16 -> int9: the Medusa is not belemnitic.; sent9 & int9 -> int10: the Medusa is aquatics thing that does not dance Anarhichadidae.; int10 -> int11: the Medusa does not dance Anarhichadidae.; int7 & int11 -> int12: the fact that the Medusa is not a kind of a Masorah but it dances scheme is wrong.;
$hypothesis$ = the regulation is not aquatics. ; $context$ = sent1: the fact that the Medusa does remove bravo is not false if that the fact that either the towel does remove steadiness or it does not cough or both is right is wrong. sent2: that the lobbyist does not brown is not false. sent3: if something does not dance Anarhichadidae then that it is not a Masorah and does dance scheme is not true. sent4: if the albite does remove steadiness the towel dances scheme. sent5: the fact that the G-man is a kind of a Masorah is not wrong if the albite does dance scheme. sent6: if the sapwood does spring-clean Barkley then the albite dances scheme. sent7: if that the sapwood spring-cleans Barkley is not false it is a Masorah. sent8: the towel does cough. sent9: if the Medusa is not belemnitic then it is a aquatics that does not dance Anarhichadidae. sent10: the Medusa does spring-clean Barkley. sent11: that the towel spring-cleans Barkley or it is not a cough or both is not true. sent12: if the Medusa does remove bravo then that the lobbyist does not sidle is not true. sent13: if the towel does remove bravo or it does not sidle or both then the fact that the decoration does cough is not incorrect. sent14: the Medusa removes bravo if that that the towel does remove steadiness and/or it is a cough is correct is incorrect. sent15: if there is something such that it does not spring-clean Barkley then the towel does remove bravo or it does not sidle or both. sent16: the Medusa is not belemnitic if there exists something such that it is not a brown. sent17: the Medusa is a kind of a aquatics. sent18: if the lobbyist sidles the sapwood spring-cleans Barkley. sent19: the Medusa is a kind of a Masorah. sent20: the lobbyist removes bravo if that the Medusa does sidle is true. sent21: if the G-man is a kind of a Masorah it dances Anarhichadidae. sent22: the towel dances Anarhichadidae. sent23: the fact that the towel does remove steadiness or it is not a cough or both does not hold. sent24: if the fact that the towel is a kind of a aquatics is correct the regulation is a kind of a aquatics. sent25: the regulation does not remove steadiness. sent26: if that the G-man dances Anarhichadidae hold the regulation is not a aquatics. ; $proof$ = 
sent1 & sent23 -> int1: the Medusa does remove bravo.; int1 & sent12 -> int2: the lobbyist sidles.; int2 & sent18 -> int3: the sapwood spring-cleans Barkley.; int3 & sent6 -> int4: the albite dances scheme.; int4 & sent5 -> int5: the G-man is a kind of a Masorah.; int5 & sent21 -> int6: the G-man does dance Anarhichadidae.; int6 & sent26 -> hypothesis; __PROVED__