the seltzer is a guidebook and is streptococcal.
sent1: if the pachycephalosaur is not imprecise it is a uncus that is not a Hieracium. sent2: if the mastiff is noncompetitive the seltzer is immoral. sent3: something does heat azide and is a guidebook if it is not streptococcal. sent4: if the mastiff is not moral then the seltzer is moral. sent5: something that is a longness is immoral. sent6: if the fact that the mastiff does not heat azide and is Gallican is not true then the pachycephalosaur is not Gallican. sent7: something is a guidebook if it does heat azide. sent8: if the eluate is immoral the fact that the fact that that the mastiff does not heat azide but it is Gallican is correct is false is true. sent9: if the seltzer is both immoral and not a longness the spectrograph is not streptococcal. sent10: the rubberneck is Gallican. sent11: if the pachycephalosaur is a uncus but it is not a Hieracium then the seltzer is non-some. sent12: if something is non-some it is not a longness. sent13: the hemimorphite is not a uncus. sent14: the eluate is some and is a longness if the chutzpanik is not a Hieracium. sent15: if the fact that the seltzer is Gallican is not wrong then it heats azide. sent16: the seltzer is streptococcal. sent17: the mastiff is noncompetitive and/or immoral. sent18: something is Gallican if it heats azide.
sent7 -> int1: the seltzer is a guidebook if it does heat azide.;
the spectrograph is Gallican.
sent18 -> int2: if the spectrograph heats azide then that it is Gallican is right.; sent3 -> int3: the spectrograph heats azide and it is a guidebook if it is not streptococcal.; sent17 & sent2 & sent4 -> int4: the seltzer is immoral.; sent12 -> int5: if the seltzer is not some that it is not a longness is correct.;
$hypothesis$ = the seltzer is a guidebook and is streptococcal. ; $context$ = sent1: if the pachycephalosaur is not imprecise it is a uncus that is not a Hieracium. sent2: if the mastiff is noncompetitive the seltzer is immoral. sent3: something does heat azide and is a guidebook if it is not streptococcal. sent4: if the mastiff is not moral then the seltzer is moral. sent5: something that is a longness is immoral. sent6: if the fact that the mastiff does not heat azide and is Gallican is not true then the pachycephalosaur is not Gallican. sent7: something is a guidebook if it does heat azide. sent8: if the eluate is immoral the fact that the fact that that the mastiff does not heat azide but it is Gallican is correct is false is true. sent9: if the seltzer is both immoral and not a longness the spectrograph is not streptococcal. sent10: the rubberneck is Gallican. sent11: if the pachycephalosaur is a uncus but it is not a Hieracium then the seltzer is non-some. sent12: if something is non-some it is not a longness. sent13: the hemimorphite is not a uncus. sent14: the eluate is some and is a longness if the chutzpanik is not a Hieracium. sent15: if the fact that the seltzer is Gallican is not wrong then it heats azide. sent16: the seltzer is streptococcal. sent17: the mastiff is noncompetitive and/or immoral. sent18: something is Gallican if it heats azide. ; $proof$ = 
sent7 -> int1: the seltzer is a guidebook if it does heat azide.; __UNKNOWN__