the ayah is broadband but it is not a taster.
sent1: that the ayah is broadband but it is not a taster is not right if the car-ferry is not a taster. sent2: if that the fact that the ayah is a Dunker and a Daviesia is false is true the coprolite is not broadband. sent3: the fact that the ayah is broadband and it is a taster is wrong. sent4: the fact that that that the coprolite is a Dunker and is a Daviesia is not false is not correct is true. sent5: if the fact that the coprolite is a Dunker that is a Daviesia is wrong the car-ferry is not a taster.
sent5 & sent4 -> int1: the car-ferry is not a taster.; int1 & sent1 -> hypothesis;
$hypothesis$ = the ayah is broadband but it is not a taster. ; $context$ = sent1: that the ayah is broadband but it is not a taster is not right if the car-ferry is not a taster. sent2: if that the fact that the ayah is a Dunker and a Daviesia is false is true the coprolite is not broadband. sent3: the fact that the ayah is broadband and it is a taster is wrong. sent4: the fact that that that the coprolite is a Dunker and is a Daviesia is not false is not correct is true. sent5: if the fact that the coprolite is a Dunker that is a Daviesia is wrong the car-ferry is not a taster. ; $proof$ = 
sent5 & sent4 -> int1: the car-ferry is not a taster.; int1 & sent1 -> hypothesis; __DISPROVED__