that the slating strafes and/or it is inboard is wrong.
sent1: the fact that the slating is a strafe is true if the detainee hurtles. sent2: something is not a peavey and does clank hogchoker if it is not bromic. sent3: if the starboard does travesty horse-trail then the fact that the lookout does swab is true. sent4: if something is a kind of a porkchop the fact that it does not swab and does not travesty horse-trail is wrong. sent5: the starboard does travesty horse-trail and is a kind of a porkchop. sent6: if the fact that the ailanthus erases but it is not imperialistic is wrong then it is not bromic. sent7: the zone does not hike. sent8: if something is a swab it does clank tutsan. sent9: the ghoul is zoonotic and it is a martensite if the zone is not a kind of a hike. sent10: if the lookout clanks tutsan the detainee does hurtle. sent11: the detainee clanks hogchoker if the ailanthus is not a peavey and does clanks hogchoker. sent12: that the lookout does not hurtle is correct if the detainee is a nostoc and clanks hogchoker. sent13: the lookout travesties horse-trail. sent14: the fact that the slating is a strafe and/or it is inboard is wrong if the starboard does not travesty horse-trail. sent15: the fact that the starboard is a porkchop is right. sent16: something is a porkchop and clanks tutsan if it does not hurtle. sent17: the fact that the fact that the detainee is a nostoc is correct if the ghoul is a particulate is not false. sent18: that the slating does clank tutsan is not false. sent19: if the fact that something is zoonotic hold then it is a particulate.
sent5 -> int1: the starboard does travesty horse-trail.; int1 & sent3 -> int2: that the lookout does swab is correct.; sent8 -> int3: if the lookout does swab then it clanks tutsan.; int2 & int3 -> int4: that the lookout clanks tutsan is not wrong.; int4 & sent10 -> int5: the detainee hurtles.; int5 & sent1 -> int6: the slating is a strafe.; int6 -> hypothesis;
the fact that the slating strafes or it is inboard or both does not hold.
sent4 -> int7: if the lookout is a porkchop the fact that it is not a swab and it does not travesty horse-trail is not true.; sent16 -> int8: the lookout is a kind of a porkchop and it does clank tutsan if it does not hurtle.; sent19 -> int9: the ghoul is a kind of a particulate if that it is zoonotic is not false.; sent9 & sent7 -> int10: the ghoul is zoonotic and it is a kind of a martensite.; int10 -> int11: the ghoul is zoonotic.; int9 & int11 -> int12: the ghoul is a particulate.; sent17 & int12 -> int13: the detainee is a kind of a nostoc.; sent2 -> int14: if that the ailanthus is not bromic hold it is not a peavey and it does clank hogchoker.;
$hypothesis$ = that the slating strafes and/or it is inboard is wrong. ; $context$ = sent1: the fact that the slating is a strafe is true if the detainee hurtles. sent2: something is not a peavey and does clank hogchoker if it is not bromic. sent3: if the starboard does travesty horse-trail then the fact that the lookout does swab is true. sent4: if something is a kind of a porkchop the fact that it does not swab and does not travesty horse-trail is wrong. sent5: the starboard does travesty horse-trail and is a kind of a porkchop. sent6: if the fact that the ailanthus erases but it is not imperialistic is wrong then it is not bromic. sent7: the zone does not hike. sent8: if something is a swab it does clank tutsan. sent9: the ghoul is zoonotic and it is a martensite if the zone is not a kind of a hike. sent10: if the lookout clanks tutsan the detainee does hurtle. sent11: the detainee clanks hogchoker if the ailanthus is not a peavey and does clanks hogchoker. sent12: that the lookout does not hurtle is correct if the detainee is a nostoc and clanks hogchoker. sent13: the lookout travesties horse-trail. sent14: the fact that the slating is a strafe and/or it is inboard is wrong if the starboard does not travesty horse-trail. sent15: the fact that the starboard is a porkchop is right. sent16: something is a porkchop and clanks tutsan if it does not hurtle. sent17: the fact that the fact that the detainee is a nostoc is correct if the ghoul is a particulate is not false. sent18: that the slating does clank tutsan is not false. sent19: if the fact that something is zoonotic hold then it is a particulate. ; $proof$ = 
sent5 -> int1: the starboard does travesty horse-trail.; int1 & sent3 -> int2: that the lookout does swab is correct.; sent8 -> int3: if the lookout does swab then it clanks tutsan.; int2 & int3 -> int4: that the lookout clanks tutsan is not wrong.; int4 & sent10 -> int5: the detainee hurtles.; int5 & sent1 -> int6: the slating is a strafe.; int6 -> hypothesis; __DISPROVED__